465 search results - page 19 / 93 » Shedding Light on the Weather |
133
click to vote
ASP
2005
Springer
15 years 6 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
124
Voted
DCOSS
2005
Springer
15 years 6 months ago
2005
Springer
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...
102
click to vote
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
104
click to vote
MKM
2005
Springer
15 years 6 months ago
2005
Springer
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, ...
80
Voted
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents an algorithm for learning the meaning of messages communicated between agents that interact while acting optimally towards a cooperative goal. Our reinforcemen...