1689 search results - page 305 / 338 » Modelling Devices for Natural Interaction |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
CSL
2009
Springer
14 years 2 months 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...
ICIDS
2009
Springer
14 years 2 months 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...
ICMI
2009
Springer
14 years 2 months 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...
WIKIS
2009
ACM
14 years 2 months ago
2009
ACM
Prior research on Wikipedia has characterized the growth in content and editors as being fundamentally exponential in nature, extrapolating current trends into the future. We show...