Symbolic Bisimulations for Probabilistic Systems.
Peng WuCatuscia PalamidessiHuimin LinPublished in: QEST (2007)
Keyphrases
- management system
- expert systems
- posterior probability
- knowledge based systems
- distributed systems
- connectionist systems
- database
- symbolic representation
- computing systems
- belief networks
- intelligent systems
- data driven
- probabilistic model
- hidden markov models
- evolutionary algorithm
- relational databases
- multiscale
- case study
- real time