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
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;
Conference_Titel :
Robotics and Automation. Proceedings. 1985 IEEE International Conference on
DOI :
10.1109/ROBOT.1985.1087257
