SMT-Based Array Invariant Generation.

Daniel Larraz Enric Rodríguez-Carbonell Albert Rubio

Published in: VMCAI (2013)

Keyphrases

affine transformation
genetic algorithm
learning algorithm
affine invariant
data sets
information retrieval
social networks
case study
face recognition
image registration
invariant features