Automatic Generation of Invariants and Assertions.
Nikolaj BjørnerAnca BrowneZohar MannaPublished in: CP (1995)
Keyphrases
- automatically generate
- knowledge base
- affine invariant
- moment invariants
- invariant features
- databases
- quasi invariant
- automatically generated
- imperative programs
- real time
- affine moment invariants
- generation method
- affine transformation
- special case
- user interface
- computer vision
- artificial intelligence
- learning algorithm
- information retrieval