APEX: An Analyzer for Open Probabilistic Programs.
Stefan KieferAndrzej S. MurawskiJoël OuaknineBjörn WachterJames WorrellPublished in: CAV (2012)
Keyphrases
- uncertain data
- bayesian networks
- data processing
- data driven
- probabilistic model
- computer programs
- probability theory
- data acquisition
- database
- open systems
- information retrieval
- probabilistic approaches
- probabilistic logic programs
- automatic programming
- probabilistic logic
- probabilistic interpretation
- information theoretic
- posterior probability
- generative model
- relational databases
- multi agent
- computer vision
- neural network
- real time