Automatic Generation of Invariants.

Saddek Bensalem Yassine Lakhnech

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

automatically generate
affine invariant
invariant features
moment invariants
relational databases
automatically generating
geometric invariants
similarity measure
user interface
special case
feature points
object geometry
affine moment invariants
quasi invariant