2618 search results - page 396 / 524 » Natural Human-Robot Interaction |
168
click to vote
CSL
2009
Springer
16 years 29 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
164
click to vote
ICIDS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
152
click to vote
ICMI
2009
Springer
16 years 29 days ago
2009
Springer
In this paper, we investigate the multimodal nature of cell phone data in terms of discovering recurrent and rich patterns in people’s lives. We present a method that can discov...
154
click to vote
ICWE
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
155
click to vote
ISAAC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...