967 search results - page 70 / 194 » Probabilistic Predicative Programming |
119
Voted
SBACPAD
2004
IEEE
15 years 3 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...
116
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
143
click to vote
IDT
2010
15 years 1 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...
119
click to vote
LPAR
2005
Springer
15 years 8 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 ...
125
Voted
DSL
2009
15 years 10 days 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...