3573 search results - page 263 / 715 » Reasoning about Codata |
168
click to vote
ASIAN
2003
Springer
15 years 9 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
138
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
127
click to vote
CONTEXT
2003
Springer
15 years 9 months ago
2003
Springer
Although it seems obvious that decision making is a contextual task, papers dealing with decision making tackle rarely the problem of contextual information management. After a bri...
132
click to vote
DIS
2003
Springer
15 years 9 months ago
2003
Springer
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
134
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
We introduce a set of transformations on the set of all probability distributions over a finite state space, and show that these transformations are the only ones that preserve c...