Liveness by Invisible Invariants.

Yi Fang Kenneth L. McMillan Amir Pnueli Lenore D. Zuck

Published in: FORTE (2006)

Keyphrases

moment invariants
imperative programs
geometric invariants
quasi invariant
wide range
affine transformation
feature space
affine moment invariants
special case
expert systems
database
data structure
multiscale
feature extraction
computer vision
genetic algorithm
data sets