7064 search results - page 1275 / 1413 » From States to Histories |
192
click to vote
JAIR
2010
15 years 5 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
172
click to vote
MICS
2010
15 years 4 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
156
click to vote
MMS
2010
15 years 4 months ago
2010
-- In this paper, we present a theoretical framing of the functions of a mirror by breaking the synchrony between the state of a reference object and its reflection. This framing p...
197
click to vote
PVLDB
2010
15 years 4 months ago
2010
Detecting outliers in data is an important problem with interesting applications in a myriad of domains ranging from data cleaning to financial fraud detection and from network i...
196
click to vote
PVLDB
2010
15 years 4 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...