4270 search results - page 817 / 854 » Implementation of interactive poster |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
109
click to vote
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
DCOSS
2006
Springer
15 years 3 months ago
2006
Springer
In a sensor network information from multiple nodes must usually be aggregated in order to accomplish a certain task. A natural way to view this information gathering is in terms o...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Public electronic displays can be used as an advertising medium when space is a scarce resource, and it is desirable to expose many adverts to as wide an audience as possible. Alth...