3970 search results - page 612 / 794 » A Logic For Causal Reasoning |
152
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
171
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
266
click to vote
FIDJI
2004
Springer
15 years 12 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
173
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
175
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...