Synthesizing Probabilistic Invariants via Doob's Decomposition.
Gilles BartheThomas EspitauLuis María Ferrer FioritiJustin HsuPublished in: CAV (1) (2016)
Keyphrases
- probabilistic model
- bayesian networks
- generative model
- uncertain data
- posterior probability
- image decomposition
- moment invariants
- real world
- context sensitive
- data driven
- quasi invariant
- decomposition methods
- probabilistic networks
- graphical models
- feature extraction
- database systems
- website
- information retrieval
- data mining