148 search results - page 24 / 30 » On the extender algebra being complete |
IJRR
2010
13 years 6 months ago
2010
Autonomous helicopter flight is widely regarded to be a highly challenging control problem. Despite this fact, human experts can reliably fly helicopters through a wide range of m...
COLT
2003
Springer
14 years 23 days ago
2003
Springer
We propose a new formulation of the clustering problem that differs from previous work in several aspects. First, the goal is to explicitly output a collection of simple and meani...
GG
2010
Springer
13 years 8 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
DEXA
1999
Springer
13 years 11 months ago
1999
Springer
When spatial objects are replicated at several sites in the network, the updates of a long transaction in a specific site should be propagated to the other sites for maintaining th...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...