1524 search results - page 222 / 305 » Game Relations and Metrics |
153
click to vote
ICRA
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— The problem of an effective coordination of multiple autonomous robots is one of the most important tasks of the modern robotics. In turn, it is well known that the lea...
156
Voted
COCO
2007
Springer
16 years 18 days ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
185
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
152
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...
173
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...