A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
Christel BaierBenjamin EngelSascha KlüppelholzSteffen MärckerHendrik TewsMarcus VölpPublished in: NASA Formal Methods (2013)
Keyphrases
- quantitative analysis
- qualitative analysis
- probabilistic model
- data driven
- generative model
- qualitative and quantitative analysis
- probabilistic approaches
- selection algorithm
- conditional probabilities
- video sequences
- bayesian networks
- artificial intelligence
- databases
- image quality
- database
- context sensitive
- case study
- probabilistic reasoning
- information systems
- probabilistic logic