1368 search results - page 97 / 274 » Personality-Based Practical Reasoning |
137
click to vote
TARK
2009
Springer
15 years 9 months ago
2009
Springer
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...
111
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
125
click to vote
IH
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper draws together two methodologies for the detection of bit replacement steganography: the principle of maximum likelihood, which is statistically well-founded b...
125
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
109
click to vote
WOWMOM
2005
ACM
15 years 8 months ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...