3573 search results - page 175 / 715 » Reasoning about Codata |
100
Voted
IJCAI
2001
15 years 5 months ago
2001
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...
141
Voted
UAI
2001
15 years 5 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
102
Voted
IJCAI
1997
15 years 4 months ago
1997
Motivated by the need to reason about utilities, and inspired by the success of bayesian networks in representing and reasoning about probabilities, we introduce the notion of uti...
150
Voted
ENTCS
2006
15 years 3 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
141
Voted
CL
2004
Springer
15 years 3 months ago
2004
Springer
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...