Login / Signup

On the Verification of Hypthesized Matches in Model-Based Recognition.

W. Eric L. GrimsonDaniel P. Huttenlocher
Published in: ECCV (1990)
Keyphrases
  • model based recognition
  • motion tracking
  • model checking
  • formal verification
  • data sets
  • verification method
  • computer vision
  • formal analysis