Login / Signup

Function memoization and unique object representation for ACL2 functions.

Robert S. BoyerWarren A. Hunt Jr.
Published in: ACL2 (2006)
Keyphrases
  • object representation
  • object recognition
  • object models
  • d objects
  • representation scheme
  • learning algorithm
  • image retrieval
  • object tracking
  • shape descriptors
  • graph matching