Sciweavers

805 search results - page 100 / 161
» Formal Analysis of Human-computer Interaction using Model-ch...
Sort
View
JCS
2010
124views more  JCS 2010»
15 years 1 months ago
Verifying resource access control on mobile interactive devices
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
Frédéric Besson, Guillaume Dufay, Th...
CHI
2005
ACM
16 years 3 months ago
What is connected by mutual gaze?: user's behavior in video-mediated communication
Video-mediated communication systems such as teleconferencing and videophone have become popular. As with face-to-face communication, non-verbal cues such as gaze, facial expressi...
Naoki Mukawa, Tsugumi Oka, Kumiko Arai, Masahide Y...
CHI
2004
ACM
16 years 3 months ago
A study of digital ink in lecture presentation
Digital inking systems are becoming increasingly popular across a variety of domains. In particular, many systems now allow instructors to write on digital surfaces in the classro...
Richard J. Anderson, Crystal Hoyer, Steven A. Wolf...
HAPTICS
2005
IEEE
15 years 8 months ago
Fundamental Limits in the Rendering of Virtual Haptic Textures
We discuss the properties of force-feedback haptic simulation systems that fundamentally limit the re-creation of periodic gratings, and hence, of any texture. These include sampl...
Gianni Campion, Vincent Hayward
ISWC
2003
IEEE
15 years 8 months ago
Continuous Sensing of Gesture for Control of Audio-Visual Media
This note describes how continuous sensing of gesture enabling expressive control of real-time audio/visual media is achieved using Berkeley motes. We have contributed a relativel...
Sha Xin Wei, Giovanni Iachello, Steven Dow, Yoichi...