Synthesizing Probabilistic Invariants via Doob's Decomposition.

Gilles Barthe Thomas Espitau Luis María Ferrer Fioriti Justin Hsu

Published in: CoRR (2016)

Keyphrases

probabilistic model
bayesian networks
multiscale
probability distribution
data driven
generative model
context sensitive
affine invariant
decomposition method
hierarchical decomposition
probabilistic approaches
database
image processing
case study
multi view