A 3-D vision system incorporating solid modeler and geometric reasoning | IEEE Conference Publication | IEEE Xplore