C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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