Computing exact aspect graphs of curved objects: Algebraic surfaces

This article presents an algorithm for computing the exact aspect graph of an opaque solid bounded by a smooth algebraic surface. Orthographic projection is assumed. The algorithm is based on a catalog of visual events available from singularity theory. It uses curve tracing, cell decomposition, homotopy continuation, and ray tracing to construct the regions of the view sphere delineated by visual-event curves. The algorithm has been fully implemented, and examples are presented.

[1]  M. Docarmo.  Differential geometry of curves and surfaces , 1976 .

[2]  Joachim H. Rieger,et al.  Global bifurcation sets and stable projections of nonsingular algebraic surfaces , 1992, International Journal of Computer Vision.

[3]  David J. Kriegman,et al.  Geometric modeling for computer vision , 1992, Other Conferences.

[4]  Jitendra Malik,et al.  Computing the Aspect Graph for Line Drawings of Polyhedral Objects , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[5]  Jitendra Malik,et al.  Computing the aspect graph for line drawings of polyhedral objects , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[6]  George E. Collins,et al.  Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis , 1976, SIGS.

[7]  H. Freeman,et al.  On the characteristic views of quadric-surfaced solids , 1991, [1991 Proceedings] Workshop on Directions in Automated CAD-Based Vision.

[8]  Dinesh Manocha,et al.  Algorithm for implicitizing rational parametric surfaces , 1992, Comput. Aided Geom. Des..

[9]  J J Koenderink,et al.  What Does the Occluding Contour Tell Us about Solid Shape? , 1984, Perception.

[10]  Herbert Freeman,et al.  Characteristic Views As A Basis For Three-Dimensional Object Recognition , 1982, Other Conferences.

[11]  Yannick L. Kergosien.  Generic sign systems in medical imaging , 1991, IEEE Computer Graphics and Applications.

[12]  D. Eggert,et al.  Computing the orthographic projection aspect graph of solids of revolution , 1989, [1989] Proceedings. Workshop on Interpretation of 3D Scenes.

[13]  V. Arnold.  SINGULARITIES OF SMOOTH MAPPINGS , 1968 .

[14]  W. B. Seales,et al.  Constrained viewpoint from occluding contour , 1991, [1991 Proceedings] Workshop on Directions in Automated CAD-Based Vision.

[15]  Jan J. Koenderink,et al.  An internal representation for solid shape based on the topological properties of the apparent contour , 1987 .

[16]  David Eggert.  Aspects graphs of solids of revolution , 1992 .

[17]  Charles R. Dyer,et al.  Visibility, occlusion, and the aspect graph , 1990, International Journal of Computer Vision.

[18]  J. Mather,et al.  Stability of C{su∞} mappings, III: Finitely determined map-germsmappings, III: Finitely determined map-germs , 1968 .

[19]  Raimund Seidel,et al.  Efficiently Computing and Representing Aspect Graphs of Polyhedral Objects , 1991, IEEE Trans. Pattern Anal. Mach. Intell..

[20]  Takeo Kanade,et al.  Automatic generation of object recognition programs , 1988, Proc. IEEE.

[21]  David J. Kriegman,et al.  Constraints for Recognizing and Locating Curved 3D Objects from Monocular Image Features , 1992, ECCV.

[22]  A. Morgan.  Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems , 1987 .

[23]  O. Platonova.  Singularities of projections of smooth surfaces , 1984 .

[24]  David J. Kriegman,et al.  Computing exact aspect graphs of curved objects: Solids of revolution , 2004, International Journal of Computer Vision.

[25]  O. Platonova.  COMMUNICATIONS OF THE MOSCOW MATHEMATICAL SOCIETY: Singularities of the mutual disposition of a surface and a line , 1981 .

[26]  Kevin W. Bowyer,et al.  Creating The Perspective Projection Aspect Graph Of Polyhedral Objects , 1988, [1988 Proceedings] Second International Conference on Computer Vision.

[27]  V. Arnold.  Singularities of systems of rays , 1983 .

[28]  S. Shafer.  Shadows and Silhouettes in Computer Vision , 1985 .

[29]  M. Demazure.  Catastrophes et bifurcations , 1989 .

[30]  George E. Collins,et al.  Cylindrical Algebraic Decomposition I: The Basic Algorithm , 1984, SIAM J. Comput..

[31]  C. Wall.  Geometric properties of generic differentiable manifolds , 1977 .

[32]  M. Hebert,et al.  The Representation, Recognition, and Locating of 3-D Objects , 1986 .

[33]  Joachim H. Rieger,et al.  On the classification of views of piecewise smooth objects , 1987, Image Vis. Comput..

[34]  Jan J. Koenderink,et al.  Solid shape , 1990 .

[35]  H. Piaggio.  Differential Geometry of Curves and Surfaces , 1952, Nature.

[36]  David J. Kriegman,et al.  Computing Exact Aspect Graphs of Curved Objects: Parametric Surfaces , 1990, AAAI.

[37]  D. Eggert,et al.  Perspective projection aspect graphs of solids of revolution: an implementation , 1991, [1991 Proceedings] Workshop on Directions in Automated CAD-Based Vision.

[38]  David J. Kriegman,et al.  Computing Exact Aspect Graphs of Curved Objects: Algebraic Surfaces , 1990, ECCV.

[39]  Chandrajit L. Bajaj,et al.  Tracing surface intersections , 1988, Comput. Aided Geom. Des..

[40]  H. Whitney.  On Singularities of Mappings of Euclidean Spaces. I. Mappings of the Plane Into the Plane , 1955 .

[41]  Rida T. Farouki,et al.  The characterization of parametric surface sections , 1986, Comput. Vis. Graph. Image Process..

[42]  J. Koenderink,et al.  The internal representation of solid shape with respect to vision , 1979, Biological Cybernetics.

[43]  Dennis S. Arnon,et al.  Topologically reliable display of algebraic curves , 1983, SIGGRAPH.

[44]  R. Thom.  Les singularites des applications differentiables , 1956 .

[45]  Jitendra Malik,et al.  Interpreting line drawings of curved objects , 1986, International Journal of Computer Vision.

[46]  Turner Whitted,et al.  An improved illumination model for shaded display , 1979, CACM.

[47]  D. Kriegman,et al.  On recognizing and positioning curved 3D objects from image contours , 1989, [1989] Proceedings. Workshop on Interpretation of 3D Scenes.

[48]  H. Freeman,et al.  Object recognition based on characteristic view classes , 1990, [1990] Proceedings. 10th International Conference on Pattern Recognition.

[49]  W. Eric L. Grimson,et al.  Localizing Overlapping Parts by Searching the Interpretation Tree , 1987, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[50]  Ron Goldman,et al.  Implicit representation of parametric curves and surfaces , 1984, Comput. Vis. Graph. Image Process..

[51]  J. Mather,et al.  Stability of C∞ mappings, I, the division theorem , 1968 .

[52]  David J. Kriegman,et al.  On Recognizing and Positioning Curved 3-D Objects from Image Contours , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[53]  David J. Kriegman,et al.  A New Curve Tracing Algorithm and Some Applications , 1991, Curves and Surfaces.

[54]  Glen M. Castore,et al.  Solid Modeling, Aspect Graphs, and Robot Vision , 1984 .

[55]  I. Chakravarty.  The use of characteristic views as a basis for recognition of three-dimensional objects , 1982 .

[56]  Joachim H. Rieger,et al.  The Geometry of View Space of Opaque Objects Bounded by Smooth Surfaces , 1990, Artif. Intell..

[57]  Nancy A. Watts.  Calculating the principal views of a polyhedron , 1988, [1988 Proceedings] 9th International Conference on Pattern Recognition.

[58]  Dmitry B. Goldgof,et al.  The scale space aspect graph , 1992, CVPR.

[59]  R. Jain,et al.  Generating aspect graphs for curved objects , 1989, [1989] Proceedings. Workshop on Interpretation of 3D Scenes.

[60]  James T. Kajiya,et al.  Ray tracing parametric patches , 1982, SIGGRAPH.

[61]  S S Blancett.  Creating a perspective. , 1988, The Journal of nursing administration.