Mechanical inference of invariants for FOR-loops.

Stefan Kauer Jürgen F. H. Winkler

Published in: J. Symb. Comput. (2010)

Keyphrases

probabilistic inference
inference process
bayesian inference
bayesian networks
invariant features
mechanical design
pairwise
belief networks
affine invariant
probabilistic reasoning
moment invariants
efficient learning
inference mechanism
projective invariants