198 search results - page 15 / 40 » Domain equations for probabilistic processes |
ICALP
2011
Springer
13 years 6 days ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
IJAR
2002
13 years 8 months ago
2002
The usual methods of applying Bayesian networks to the modeling of temporal processes, such as Dean and Kanazawa's dynamic Bayesian networks (DBNs), consist in discretizing t...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
CHI
2008
ACM
13 years 10 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
SIGIR
2004
ACM
14 years 2 months ago
2004
ACM
Contextual retrieval is a critical technique for facilitating many important applications such as mobile search, personalized search, PC troubleshooting, etc. Despite of its impor...