2618 search results - page 277 / 524 » Natural Human-Robot Interaction |
188
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
175
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper considers the problem of how to allocate power among competing users sharing a frequency-selective interference channel. We model the interaction between these selfish ...
235
click to vote
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today, digital libraries more and more have to rely on semantic techniques during the workflows of metadata generation, search and navigational access. But, due to the st...
196
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Allowing robots to communicate naturally with humans is a major goal for social robotics. Most approaches have focused on building high-level probabilistic cognitive models. Ho...
254
click to vote
IV
2010
IEEE
15 years 5 months ago
2010
IEEE
—Molecular visualization is one of the cornerstones in structural bioinformatics and related fields. Today, rasterization is typically used for the interactive display of molecu...