2058 search results - page 379 / 412 » Virtualizing Real-World Objects |
CC
2001
Springer
14 years 1 months ago
2001
Springer
Root scanning is the task of identifying references to heap objects that are stored outside of the heap itself, in global and local variables and on the execution stack. Root scann...
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
Simulating fluids based on vortex filaments is highly attractive for the creation of special effects because it gives artists full control over the simulation using familiar too...
ISRR
2001
Springer
14 years 1 months ago
2001
Springer
This paper introduces an open architecture humanoid robotics platform (OpenHRP for short) on which various building blocks of humanoid robotics can be investigated. OpenHRP is a v...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
A human-robot interface system is under development that takes into account the
exibility of the DigitalDesk approach. The prototype consists of a projector subsystem for informa...