By Topic

A theorem proving based pattern recognition system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Magee, M. ; University of Wyoming, Laramie, Wyoming ; Nathan, M.

An object recognition system has been developed which incorporates topological as well as geometric information to match viewpoint dependent object descriptors. Theorem proving techniques are used to produce symbolic pattern matches. The recognition process uses a three phase approach. First, hypotheses are generated which correspond to model descriptors that are likely to match the data. Evidence is applied to viable hypotheses to produce a partial match. The partial match is then used to constrain the full recognition process which leads to object identification. This strategy has been found to strongly constrain the search space of possible matches and leads to large reductions in recognition times. The major contributions of the system are the representation scheme and the use of theorem proving techniques to verify object identities. This approach permits describing objects at a variety of levels and facilitates recognition despite missing information or the inclusion of artifactual data. Results of the recognition process on synthetic and actual laser range data are presented for curved and planar objects. The system is shown to operate with robustness and alacrity.

Published in:

Robotics and Automation. Proceedings. 1986 IEEE International Conference on  (Volume:3 )

Date of Conference:

Apr 1986