6662 search results - page 1269 / 1333 » Mobile and Ubiquitous Computing |
SIGDIAL
2010
13 years 5 months ago
2010
In spoken communications, correction utterances, which are utterances correcting other participants utterances and behaviors, play crucial roles, and detecting them is one of the ...
28
Voted
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
We describe an architecture-centric design and implementation approach for building self-adapting and selfmanaging robotics systems. The basis of our approach is the concept of me...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper, we address the problem of temporal synchronization of a team of mobile agents on a set of rendezvous points defined by the nodes of a bipartite network. In particula...