4617 search results - page 845 / 924 » Automation of Diagrammatic Reasoning |
164
click to vote
TARK
2005
Springer
16 years 7 days ago
2005
Springer
Abstract This paper studies the interaction of error and information both in a single-person setting and in an interactive setting. In contrast to Blackwell’s Theorem, which says...
148
click to vote
NSPW
2004
ACM
16 years 6 days ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
176
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
165
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
153
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...