Model-Based Three-Dimensional Interpretations of Two-Dimensional Images

IEEE Transactions on Pattern Analysis and Machine Intelligence

Volumn PAMI-5, Issue 2, 1983, Pages 140-150

  Brooks, Rodney A ^a,b  

^a STANFORD UNIVERSITY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Algebraic vision; computer vision; constraint systems; geometric models; model based vision; spatial reasoning

Indexed keywords

ACRONYM SYSTEM; COMPUTER MODELLING; COMPUTER VISION;

COMPUTERS;

EID: 0020721842     PISSN: 01628828     EISSN: None     Source Type: Journal    
DOI: 10.1109/TPAMI.1983.4767366     Document Type: Article

References (11)

1. H. H. Baker and T. O. Binford, “Edge based stereo correlation,” in Proc. 7th Joint Int. Conf. Artificial Intell., Vancouver, Canada, Aug. 1981, pp. 631-636.
2. T. O. Binford, “Visual perception by computer,” presented at the IEEE Syst., Sci., Cybern. Conf., Miami, FL, invited paper, Dec. 1971.
3. T. O. Binford, “Computer integrated assembly systems,” in Proc. NSF Grantees Conf. Industrial Automation, Cornell Univ., Sept. 1979.
4. W. W. Bledsoe, “The sup-inf method in Presburger arithmetic,” Dep. Math. and Comput. Sci., Univ. Texas, Austin, Memo. ATP-18, Dec. 1974.
5. D. G. Bobrow and T. Winograd, “An overview of KRL: A knowledge representation language,” Cognitive Sci., vol. 1, pp. 3-46, 1977.
6. R. A. Brooks, “Goal-directed edge linking and ribbon finding,” in Proc. ARPA Image Understanding Workshop, Menlo Park, Apr. 1979, pp. 72-76.
7. R. A. Brooks, “Symbolic reasoning among 3-D models and 2-D images,” Artificial Intell. J., vol. 17, pp. 285-348, 1981; a longer version is available as Stanford AIM-343, Dep. Comput. Sci., Stanford, CA.
8. R. A. Brooks, R. Greiner, and T. O. Binford, “The ACRONYM model-based vision system,” in Proc. IJCAI-6, Tokyo, Japan, Aug. 1979, pp. 105-113.
9. R. Nevatia and K. R. Babu, “Linear feature extraction and description,” Comput. Graphics and Image Processing, vol. 13, pp. 257-269, 1980.
10. R. E. Shostak, “On the sup-inf method for proving Presburger formulas,” J. Ass. Comput. Mach., vol. 24, pp. 529-543, 1977.
11. B. I. Soroka, “Debugging manipulator programs with a simulator,” presented at the Autofact West Conf., Soc. Manuf. Eng., Anaheim, CA, Nov. 1980.