5638 search results - page 234 / 1128 » On presence |
150
click to vote
ESA
2004
Springer
16 years 6 hour ago
2004
Springer
This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Th...
135
click to vote
ESAW
2004
Springer
16 years 6 hour ago
2004
Springer
This contribution defines a metrics and proposes a solution for the problem of agents inaccessibility in multi-agent systems. We define the stand-in pattern for knowledge mainten...
144
click to vote
ESOP
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
156
click to vote
ESORICS
2004
Springer
16 years 6 hour ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...
176
click to vote
ISER
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a new teleoperation scheme for mobile manipulation systems. A virtual spring connects a master and slave system where local force feedback on the slave system c...