Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.
Tomás BrázdilAntonín KuceraOldrich StrazovskýPublished in: CONCUR (2004)
Keyphrases
- bayesian networks
- probabilistic model
- data mining
- probabilistic reasoning
- uncertain data
- generative model
- management system
- decision trees
- database
- metadata
- expert systems
- information systems
- artificial intelligence
- software engineering
- graphical models
- distributed systems
- data driven
- learning algorithm
- building blocks
- information theoretic
- machine learning
- computing systems
- probabilistic interpretation