Symbolic Reasoning Among 3-D Models and 2-D Images

[1]  W. Eric L. Grimson,et al.  A Computational Theory of Stereo Vision , 1981 .

[2]  Prasanna G. Mulgaonkar,et al.  Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene Analysis , 1980, AAAI.

[3]  Drew McDermott.  A Theory of Metric Spatial Inference , 1980, AAAI.

[4]  David Marr,et al.  Visual Information Processing: The Structure and Creation of Visual Representations , 1980 .

[5]  Gerald Jay Sussman,et al.  Propagation of constraints applied to circuit synthesis , 1980 .

[6]  D Marr,et al.  Theory of edge detection , 1979, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[7]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[8]  K. Ramesh Babu,et al.  Linear Feature Extraction and Description , 1979, IJCAI.

[9]  Robert J. Woodham,et al.  Relating Properties of Surface Curvature to Image Intensity , 1979, IJCAI.

[10]  Rodney A. Brooks,et al.  The ACRONYM Model-Based Vision System , 1979, IJCAI.

[11]  Takeo Kanade,et al.  A Production System for Region Analysis , 1979, IJCAI.

[12]  Kokichi Sugihara,et al.  Automatic Construction of Junction Dictionaries and Their Exploitation for the Analysis of Range Data , 1979, IJCAI.

[13]  Alan Borning,et al.  ThingLab: a constraint-oriented simulation laboratory , 1979 .

[14]  B. Soroka.  Understanding objects from slices: extracting generalised cylinder descriptions from serial sections. , 1979 .

[15]  L. Lieberman.  Model-Driven Vision for Industrial Automation , 1979 .

[16]  D. Marr,et al.  Representation and recognition of the spatial organization of three-dimensional shapes , 1978, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[17]  H. Barrow,et al.  RECOVERING INTRINSIC SCENE CHARACTERISTICS FROM IMAGES , 1978 .

[18]  Robert E. Shostak,et al.  On the SUP-INF Method for Proving Presburger Formulas , 1977, JACM.

[19]  R. Goldman.  Recent Work with the AL System , 1977, IJCAI.

[20]  Ramakant Nevatia,et al.  Description and Recognition of Curved Objects , 1977, Artif. Intell..

[21]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[22]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[23]  Tomas Lozano-Perez,et al.  The Design of a Mechanical Assembly System , 1976 .

[24]  David D. Grossman.  Monte Carlo simulation of tolerancing in discrete parts manufacturing and assembly , 1976 .

[25]  Russell H. Taylor,et al.  The synthesis of manipulator control programs from task-level specifications , 1976 .

[26]  Berthold K. P. Horn.  Obtaining shape from shading information , 1989 .

[27]  J M Tenenbaum,et al.  MSYS: A System for Reasoning About Scenes. , 1975 .

[28]  John M. Hollerbach,et al.  Hierarchical Shape Description of Objects by Selection and Modification of Prototypes , 1975 .

[29]  W. Bledsoe.  A new method for proving certain Presburger formulas , 1975, IJCAI 1975.

[30]  Ann Patricia Fothergill,et al.  Inferring the Positions of Bodies from Specified Spatial Relationships , 1974, Artif. Intell..

[31]  T. Garvey.  Perceptual strategies for purposive vision , 1975 .

[32]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[33]  Zohar Manna,et al.  Knowledge and Reasoning in Program Synthesis , 1974, IJCAI.

[34]  Bruce G. Baumgart,et al.  Geometric modeling for computer vision. , 1974 .

[35]  I. C. Braid,et al.  Designing with volumes , 1973 .

[36]  Gerald J. Agin.  Representation and description of curved objects , 1972 .

[37]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[38]  Richard Fikes,et al.  REF-ARF: A System for Solving Problems Stated as Procedures , 1970, Artif. Intell..

[39]  Daniel G. Bobrow,et al.  Natural Language Input for a Computer Problem Solving System , 1964 .