Prinsys - On a Quest for Probabilistic Loop Invariants.
Friedrich GretzJoost-Pieter KatoenAnnabelle McIverPublished in: QEST (2013)
Keyphrases
- generative model
- bayesian networks
- probabilistic model
- case study
- databases
- real time
- data mining
- probabilistic relational
- moment invariants
- uncertain data
- posterior probability
- feature points
- probability distribution
- pattern recognition
- data structure
- multiscale
- database systems
- decision trees
- machine learning
- real world