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.
No takes yet. Share an insight, caveat, or question.
Kapur et al. (2005) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: