2058 search results - page 341 / 412 » Virtualizing Real-World Objects |
ICETET
2009
IEEE
13 years 6 months ago
2009
IEEE
-- A methodology for studying the effect of vibrations generated by a haptic interface on upper limb is introduced. In the proposed methodology, a subject presses on a horizontally...
JLP
2010
13 years 3 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
ICASSP
2011
IEEE
13 years 19 days ago
2011
IEEE
—Panoramic images are a new type of visual data that provide many new possibilities as compared to the classic planar images. Tele-presence and virtual navigation are examples of...
ACII
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...