148 search results - page 24 / 30 » On the extender algebra being complete |
103
click to vote
IJRR
2010
15 years 9 days 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...
118
Voted
COLT
2003
Springer
15 years 7 months 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...
127
Voted
GG
2010
Springer
15 years 2 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...
113
click to vote
DEXA
1999
Springer
15 years 6 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...
143
Voted
AGENTS
1997
Springer
15 years 6 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...