Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.
Ezio BartocciLaura KovácsMiroslav StankovicPublished in: ATVA (2019)
Keyphrases
- moment invariants
- special case
- image normalization
- pattern recognition
- automatically generate
- np complete
- affine transformation
- feature vectors
- zernike moments
- np hard
- shape features
- invariance properties
- affine invariant
- affine moment invariants
- image registration
- imperative programs
- computational complexity
- automatically generating
- fourier descriptors
- invariant features
- parametric models
- similarity measure
- geometric invariants
- rotation invariant
- quasi invariant
- shape descriptors