On the Mechanical Derivation of Loop Invariants.

Ritu Chadha David A. Plaisted

Published in: J. Symb. Comput. (1993)

Keyphrases

moment invariants
mechanical design
affine invariant
databases
object recognition
zernike moments
mechanical properties
geometric invariants
quasi invariant
imperative programs
multi view
finite element model
feedback loop
projective invariants