An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory.
Michael ZimmerGabor RebnerWalter KrämerPublished in: Soft Comput. (2013)
Keyphrases
- image registration
- dempster shafer theory
- probabilistic model
- interval arithmetic
- belief functions
- constraint propagation
- graphical models
- combination rule
- fusion algorithm
- decision making
- dempster shafer
- floating point
- real numbers
- provably correct
- real time
- computational intelligence
- control system
- bayesian networks
- data mining