494 search results - page 23 / 99 » Probabilistic Programming in Anglican |
SBACPAD
2004
IEEE
14 years 11 months ago
2004
IEEE
Large scale cluster, Peer-to-Peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem o...
IDT
2010
14 years 8 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
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 ...
DSL
2009
14 years 7 months ago
2009
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
ILP
2000
Springer
15 years 1 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...