Characterising Testing Preorders for Finite Probabilistic Processes.
Yuxin DengRob J. van GlabbeekMatthew HennessyCarroll MorganPublished in: Log. Methods Comput. Sci. (2008)
Keyphrases
- probabilistic model
- bayesian networks
- generative model
- probabilistic approaches
- probabilistic reasoning
- belief networks
- uncertain data
- context sensitive
- information theoretic
- process model
- information retrieval
- data driven
- evolutionary algorithm
- data structure
- database systems
- decision trees
- website
- statistical tests
- finite number
- probabilistic databases
- real time