Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.
Ezio BartocciLaura KovácsMiroslav StankovicPublished in: CoRR (2019)
Keyphrases
- moment invariants
- image normalization
- special case
- affine transformation
- zernike moments
- automatically generate
- pattern recognition
- invariance properties
- fourier descriptors
- computational complexity
- np complete
- np hard
- affine moment invariants
- feature vectors
- imperative programs
- invariant features
- shape features
- quasi invariant
- affine invariant
- automatically generating
- feature extraction
- geometric invariants
- orthogonal polynomials
- genetic algorithm
- data sets