Sciweavers

814 search results - page 141 / 163
» Classification of Physical Interactions between Two Subjects
Sort
View
POPL
2007
ACM
16 years 2 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
AOSD
2009
ACM
15 years 8 months ago
Can we refactor conditional compilation into aspects?
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
Bram Adams, Wolfgang De Meuter, Herman Tromp, Ahme...
HAPTICS
2007
IEEE
15 years 8 months ago
A Behavioral Adaptation Approach to Identifying Visual Dependence of Haptic Perception
Both haptic and visual senses play a role in how we explore our environment. Previous studies have shown that vision plays a very strong role in perception of object stiffness, ye...
James S. Sulzer, Arsalan Salamat, Vikram S. Chib, ...
ICMI
2007
Springer
262views Biometrics» more  ICMI 2007»
15 years 8 months ago
Automated generation of non-verbal behavior for virtual embodied characters
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...
Werner Breitfuss, Helmut Prendinger, Mitsuru Ishiz...
HAPTICS
2006
IEEE
15 years 8 months ago
Determining the Feasibility of Forearm Mounted Vibrotactile Displays
At first glance, multi-element forearm mounted vibrotactile displays would appear to have considerable potential as an output device for mobile computing. The devices are small, r...
Ian Oakley, Yeongmi Kim, Junhun Lee, Jeha Ryu