Sciweavers

5277 search results - page 668 / 1056
» Virtual Audio Systems
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
AUIC
2006
IEEE
16 years 27 days ago
Augmented interiors with digital camera images
In this paper, we present a system for Augmented Reality interior design based on digital images. The system can be used with an ordinary PC and a digital camera: no special equip...
Sanni Siltanen, Charles Woodward
DATE
2006
IEEE
173views Hardware» more  DATE 2006»
16 years 26 days ago
3dID: a low-power, low-cost hand motion capture device
This paper presents a novel input device design for capturing gestures. The system is based on commodity components and combines accelerometers, gyroscopes and bend sensors. It is...
Michele Sama, Vincenzo Pacella, Elisabetta Farella...
HPDC
2005
IEEE
16 years 13 days ago
The resource oriented authorization manager (ROAM)
The Resource Oriented Authorization Manager (ROAM) was created to provide a simple but flexible authorization system for the National Fusion Grid (FusionGrid). This system builds ...
Justin Burruss
WOWMOM
2005
ACM
98views Multimedia» more  WOWMOM 2005»
16 years 11 days ago
Intuitive Human Governance of Autonomic Pervasive Computing Environments
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...
Tony O'Donnell, David Lewis, Vincent Wade