IIV: An Invisible Invariant Verifier.

Ittai Balaban Yi Fang Amir Pnueli Lenore D. Zuck

Published in: CAV (2005)

Keyphrases

affine transformation
affine invariant
real time
wide range
invariant features
relational databases
special case
invariant properties
neural network
search engine
image processing
feature extraction
artificial neural networks
moment invariants
noise resistant
quasi invariant