Maximal and Compositional Pattern-Based Loop Invariants.

Maria-Virginia Aponte Pierre Courtieu Yannick Moy Marc Sango

Published in: FM (2012)

Keyphrases

affine invariant
moment invariants
data sets
invariant representation
mining maximal
e learning
image segmentation
three dimensional
relational databases
hidden markov models
geometric invariants
quasi invariant