Program Verification Using Automatic Generation of Invariants.
Enric Rodríguez-CarbonellDeepak KapurPublished in: ICTAC (2004)
Keyphrases
- automatically generate
- moment invariants
- affine invariant
- geometric invariants
- image processing
- invariant features
- medical images
- quasi invariant
- affine moment invariants
- automatically generating
- bayesian networks
- databases
- search algorithm
- wide range
- e learning
- computer vision
- artificial intelligence
- neural network