Update of Probabilistic Beliefs: Implementation and Parametric Verification.
Katarzyna BudzynskaMagdalena KacprzakPawel RembelskiPublished in: Fundam. Informaticae (2010)
Keyphrases
- belief update
- implementation details
- bayesian networks
- efficient implementation
- formal methods
- parametric models
- hardware implementation
- data driven
- generative model
- verification method
- database
- face verification
- belief revision
- model checking
- distributed systems
- probabilistic model
- web services
- knowledge base
- real world
- neural network
- real time