9245 search results - page 200 / 1849 » Virtualization |
168
click to vote
SSS
2007
Springer
16 years 18 days ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
163
click to vote
IAT
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract During the last decade research groups as well as a number of commercial software developers have started to deploy embodied conversational characters in the user interfac...
159
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— This paper describes a virtual reality based Programming by Demonstration system for grasp recognition in manipulation tasks and robot pregrasp planning. The system cla...
161
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
For transactional memory (TM) to achieve widespread acceptance, transactions should not be limited to the physical resources of any specific hardware implementation. TM systems s...
171
click to vote
VRST
2006
ACM
16 years 13 days ago
2006
ACM
This paper presents an approach to help speed up and unify the exploration and analysis of time-dependent, volumetric data sets by easily incorporating new qualitative and quantit...