Property-directed incremental invariant generation.

Aaron R. Bradley Zohar Manna

Published in: Formal Aspects Comput. (2008)

Keyphrases

affine transformation
generation process
incremental learning
data driven
affine invariant
generation algorithm
databases
artificial intelligence
image sequences
artificial neural networks
invariant features
global consistency
invariant representation