Automatic Generation of Invariants for Circular Derivations in SUP(LA).

Arnaud Fietzke Evgeny Kruglov Christoph Weidenbach

Published in: LPAR (2012)

Keyphrases

automatically generate
moment invariants
affine invariant
harmonic functions
hough transform
invariant features
inference rules
real time
image processing
pattern recognition
neural network
computer vision
zernike moments
projective invariants
geometric invariants