C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Characterising Testing Preorders for Finite Probabilistic Processes.
Yuxin Deng
Rob J. van Glabbeek
Matthew Hennessy
Carroll Morgan
Chenyi Zhang
Published in:
LICS (2007)
Keyphrases
</>
probabilistic model
uncertain data
computer vision
generative model
probabilistic interpretation
databases
machine learning
genetic algorithm
bayesian networks
hidden markov models
semi supervised
test set
test cases
finite number
probabilistic databases
probabilistic approaches