Hypothesis Generation In A Theorem Proving Based Recognition System

Mitchell Nathan

doi:10.1117/12.950798

11 December 1985 Hypothesis Generation In A Theorem Proving Based Recognition System

Mitchell Nathan

Proceedings Volume 0579, Intelligent Robots and Computer Vision IV; (1985) https://doi.org/10.1117/12.950798
Event: 1985 Cambridge Symposium, 1985, Cambridge, United States

Abstract

Two mechanisms are presented which select viable candidates for a pattern matching process. This selection process is termed hypothesis generation. One mechanism is data-driven, using viewpoint dependent features to eliminate obviously poor choices and inhibit unlikely choices. The second mechanism is context-driven, using previously recognized objects as cues for generating future match candidates. These mechanisms have been incorporated into a theorem proving based pattern matching system and serve to constrain the space of possible matches. This isolates the system performance from the effects of the large search space that is necessary for a general-purpose vision system operating in an unconstrained environment.

Citation Download Citation

Mitchell Nathan "Hypothesis Generation In A Theorem Proving Based Recognition System", Proc. SPIE 0579, Intelligent Robots and Computer Vision IV, (11 December 1985); https://doi.org/10.1117/12.950798

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available