2618 search results - page 190 / 524 » Natural Human-Robot Interaction |
155
click to vote
MHCI
2004
Springer
15 years 12 months ago
2004
Springer
Many mobile applications rely on the Global Positioning System (GPS) to provide position and location information. However, there are many problems with using GPS in urban environm...
173
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
165
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
190
click to vote
CSWWS
2006
15 years 10 months ago
2006
Bioinformaticians are accustomed to going through analysis steps, in which they employ several data sources, like protein sequence and protein interaction databases, to carry out t...
182
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...