-- 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...
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...
—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...
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 ...
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...