1106 search results - page 184 / 222 » Toward interactive statistical modeling |
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
VR
2009
IEEE
14 years 5 months ago
2009
IEEE
Computer-generated facial avatars have been increasingly used in a variety of virtual reality applications. Emulating the real-world face sculpting process, we present an interact...
ICRA
2009
IEEE
14 years 5 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 ...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...
CSL
2009
Springer
14 years 5 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...