5599 search results - page 1057 / 1120 » Abstract State Services |
ISAAC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The rendezvous problem in graphs has been extensively studied in the literature, mainly using a randomized approach. Two mobile agents have to meet at some node of a conn...
ISER
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Imitation learning is a powerful approach to humanoid behavior generation, however, the most existing methods assume the availability of the information on the internal s...
130
click to vote
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
100
click to vote
PPSN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We review and investigate the current status of intransitivity as a potential obstacle in coevolution. Pareto-Coevolution avoids intransitivity by translating any standar...
103
click to vote
WADT
2004
Springer
15 years 5 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...