Abstract
An approach which combines symbolic and numerical methods for the solution of systems of geometric constraints is described. Such constraints arise from the description of parameterized object models as well as the geometric relationships between objects, cameras and light sources. Typical applications are environmental modeling for photointerpretation and autonomous navigation. The representation of object models in terms of algebraic constraint equations is described. A symbolic triangulation method for reducing systems of polynomial constraint equations is presented. The use of such triangular systems in the solution of constraint equations is discussed in the context of nonlinear programming.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
D. Lowe, Perceptual Organization and Visual Recognition, Kluwer Academic Publishers, Boston, MA, (1985)
D.P. Huttenlocher and S. Ullman, Object Recognition Using Alignment, Proc. 1st Int. Conf. on Computer Vision, p. 102 (1987)
Y. Lamdan, J.T. Schwartz, H.J. Wolfson, Object Recognition by Affine Invariant Matching, Proc. CVPR, p. 335 (1988)
W.E.L. Grimson and T. Lozano-Perez, Search and Sensing Strategies for Recognition and Localization of Two and Three Dimensional Objects, Proc. 3rd International Symposium on Robotics Research, (1985)
D.W. Thompson and J.L. Mundy, Three Dimensional Model Matching From an Unconstrained Viewpoint, Proc. IEEE Conference on Robotics and Automation, p. 280 (1987)
R. Brooks, Symbolic Reasoning Among 3-D Models and 2-D Images, in Computer Vision, J.M. Brady Ed. North Holland (1981)
A. Pentland, Perceptual Oganization and the Representation of Natural Form, Artificial Intelligence Journal, Vol. 28, No. 2, p.1 (1986)
N.R. Corby, J.L. Mundy, P.A. Vrobel, A.J. Hanson, L.H. Quam, G.B. Smith and T.M. Strat, PACE an Environment for Intelligence Analysis, Proc. DARPA IU Workshop, p. 342, (1988)
A.J. Hanson and L.H. Quam, Overview of the SRI Cartographic Modeling Environment, Proc. DARPA IU Workshop, p. 576 (1988)
V.C. Lin, D.C. Gossard and R.A. Light, Symbolic Dimensioning in Computer Aided Design, Proc. SIGGRAPH (1981)
K.S. Roberts, A New Reprsentation For A Line, Proc. CVPR, p.635 (1988)
D.G. Luenberger, Linear and Non-Linear Programming, 2nd Edition, Addison-Wesley (1984)
P.E. Gill, W. Murray and M.H. Wright, Practical Optimization (1981)
R.Y. Tsai, An Efficient and Accurate Camera Calibration Technique for 3D Machine Vision, Proc. CVPR, p.364 (1986)
C. Connolly, D. Kapur, J. Mundy, R. Weiss, GeoMeter: A System for Modeling and Algebraic Manipulation, Proc. DARPA Image Understanding Workshop, Morgan Kaufmann, San Mateo, CA, (1989)
D. Cyrluk and D. Kapur, Solving Nonlinear Inequality Constraints: A Muli-level Approach, in these proceedings
D.S. Arnon, G.E. Collins and S. McCallum, Cylindrical Algebraic Decomposition I, II, SIAM J. of Computing, Vol. 13, p.865 (1984)
K. Sugihara, Machine Perception of Line Drawings, MIT Press (1986)
D. Kapur and J.L. Mundy Special Issue on Geometric Reasoning of Artificial Intelligence, Vol. 37, p. 21 (1988)
W.H. Press, B.P. Flannery, S.A. Teukolsky and W.T. Vettering, Numerical Recipes in C, Cambridge University Press, (1988).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mundy, J.L. (1992). Symbolic Representation of Object Models. In: Sood, A.K., Wechsler, H. (eds) Active Perception and Robot Vision. NATO ASI Series, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77225-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-77225-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-77227-6
Online ISBN: 978-3-642-77225-2
eBook Packages: Springer Book Archive