Accelerating Invariant Generation.

Kumar Madhukar Björn Wachter Daniel Kroening Matt Lewis Mandayam K. Srivas

Published in: FMCAD (2015)

Keyphrases

information systems
evolutionary algorithm
affine transformation
generation process
generation algorithm
invariant features
database
data mining
machine learning
multiscale
wide range
multiresolution
probabilistic model
generation method
invariant representations