From Uncertainty to Belief: Inferring the Specification Within.
Ted KremenekPaul TwoheyGodmar BackAndrew Y. NgDawson R. EnglerPublished in: OSDI (2006)
Keyphrases
- belief functions
- dempster shafer
- expected utility
- probability theory
- probability measures
- uncertain data
- databases
- inherent uncertainty
- data mining
- handling uncertainty
- formal specification
- incomplete information
- belief revision
- high level
- decision theoretic
- decision makers
- expert systems
- possibility theory
- data streams
- reactive systems
- possibility distributions
- provably correct
- decision making
- machine learning
- imprecise probabilities