1855 search results - page 16 / 371 » Probabilistic Frame-Based Systems |
UAI
2007
14 years 10 months ago
2007
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
MLG
2007
Springer
15 years 3 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
RP
2009
Springer
15 years 4 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
LPAR
2005
Springer
15 years 3 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 ...
89
Voted
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
