default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 37
Volume 37, Numbers 1-3, December 1988
- Deepak Kapur, Joseph L. Mundy:
Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume. 1-11
- Deepak Kapur, Joseph L. Mundy:
Wu's Method and its Application to Perspective Viewing. 15-36 - Dennis S. Arnon:
Geometric Reasoning with Logic and Algebra. 37-60 - Deepak Kapur:
A Refutational Approach to Geometry Theorem Proving. 61-93 - Hai-Ping Ko:
Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. 95-122 - Joseph A. Goguen:
Modular Algebraic Specification of Some Basic Geometrical Constructions. 123-153
- Jacob T. Schwartz, Micha Sharir:
A Survey of Motion Planning and Related Geometric Algorithms. 157-169 - Joseph S. B. Mitchell:
An Algorithmic Approach to Some Problems in Terrain Navigation. 171-201 - John F. Canny:
Constructing Roadmaps of Semi-Algebraic Sets I: Completeness. 203-222 - Bruce Randall Donald:
A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty. 223-271
- Ellen Lowenfeld Walker, Martin Herman:
Geometric Reasoning for Constructing 3D Scene Descriptions from Images. 275-290 - Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van-Duc Nguyen:
A Multi-Level Geometric Reasoning System for Vision. 291-332 - Radu Horaud, Michael Brady:
On the Geometric Interpretation of Contours. 333-353
- Christoph M. Hoffmann, John E. Hopcroft:
The Geometry of Projective Blending Surfaces. 357-376 - Victor Milenkovic:
Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic. 377-401 - Alan Fleming:
Geometric Relationships Between Toleranced Features. 403-412
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-18 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
