Statistical Runtime Checking of Probabilistic Properties.
Usa SammapunInsup LeeOleg SokolskyJohn RegehrPublished in: RV (2007)
Keyphrases
- information theoretic
- data driven
- probabilistic model
- bayesian networks
- search engine
- statistical distribution
- probabilistic reasoning
- desirable properties
- mutual information
- artificial neural networks
- data model
- multi agent
- statistical analysis
- statistical models
- case study
- information theory
- information systems
- computer vision
- real world
- probability measures
- natural image statistics