Artificial 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
  

Last update Thu May 23 18:13:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page