2372 search results - page 36 / 475 » Probabilistic calling context |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
KIVS
2009
Springer
14 years 3 months ago
2009
Springer
In the context of large decentralized many-to-many communication systems it is impractical to provide realistic and hard bounds for certain QoS metrics including latency bounds. Ne...
ENTCS
2006
13 years 9 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
AUSDM
2007
Springer
14 years 3 months ago
2007
Springer
Recommender systems are important to help users select relevant and personalised information over massive amounts of data available. We propose an unified framework called Prefer...