C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Probabilistic bisimulation for realistic schedulers.
Lijun Zhang
Pengfei Yang
Lei Song
Holger Hermanns
Christian Eisentraut
David N. Jansen
Jens Chr. Godskesen
Published in:
Acta Informatica (2018)
Keyphrases
</>
probabilistic model
real world
bayesian networks
generative model
data sets
real life
data mining
expert systems
data driven
maximum entropy
uncertain data
grid computing
probabilistic interpretation