Sign in

Interleaved Invariant Checking with Dynamic Abstraction.

Liang ZhangMukul R. PrasadMichael S. Hsiao
Published in: CHARME (2005)
Keyphrases
  • high level
  • dynamic environments
  • invariant features
  • real world
  • search engine
  • face recognition
  • similarity measure
  • data structure
  • affine transformation