DocumentCode
2529202
Title
Reasoning about three dimensional space
Author
Kapur, D. ; Mundy, J. ; Musser, D. ; Narendran, P.
Author_Institution
General Electric Research and Development, Schenectady, New York, USA
Volume
2
fYear
1985
fDate
31107
Firstpage
405
Lastpage
410
Abstract
The use of formal geometric reasoning is proposed to analyze algorithms for machine vision and robotics. This paper develops the basis for this approach and illustrates the method with several examples taken from perspective scene analysis. The application of recent developments in algebraic deduction methods is described.
Keywords
Algorithm design and analysis; Geometry; Layout; Machine vision; Navigation; Power system modeling; Research and development; Robot vision systems; Robustness; Solid modeling;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation. Proceedings. 1985 IEEE International Conference on
Type
conf
DOI
10.1109/ROBOT.1985.1087257
Filename
1087257
Link To Document