An Automated Approach for Proving PCL Invariants.

John C. Mitchell Arnab Roy Mukund Sundararajan

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

moment invariants
affine invariant
real time
quasi invariant
data sets
databases
image processing
artificial neural networks
k means
invariant features
projective invariants
geometric invariants
principle of maximum entropy