HRI
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents results, outcomes and conclusions from a series of Human Robot Interaction (HRI) trials which investigated how a robot should approach a human in a fetch and c...
145
Voted
FMN
2009
Springer
15 years 8 months ago
2009
Springer
OASIS Archive project aimed at developing a system for the universal presentation of Media Art works independent of location. The goal was to establish a user-friendly search syste...
118
Voted
HRI
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes a group attention control (GAC) system that enables a communication robot to simultaneously interact with many people. GAC is based on controlling social situ...
HRI
2007
ACM
15 years 8 months ago
2007
ACM
162
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...