Sciweavers

5277 search results - page 829 / 1056
» Virtual Audio Systems
Sort
View
POPL
2012
ACM
14 years 2 months ago
A mechanized semantics for C++ object construction and destruction, with applications to resource management
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
Tahina Ramananandro, Gabriel Dos Reis, Xavier Lero...
CHI
2009
ACM
16 years 7 months ago
Automatic storytelling in comics: a case study on World of Warcraft
Chia-Jung Chan This paper presents a development of our comic generation system that automatically summarizes players' actions and interactions in the virtual world. The featu...
Chia-Jung Chan, Ruck Thawonmas, Kuan-Ta Chen
EUROSYS
2006
ACM
16 years 3 months ago
Practical taint-based protection using demand emulation
Many software attacks are based on injecting malicious code into a target host. This paper demonstrates the use of a wellknown technique, data tainting, to track data received fro...
Alex Ho, Michael A. Fetterman, Christopher Clark, ...
NPAR
2009
ACM
16 years 1 months ago
Airbrush simulation for artwork and computer modeling
A computerized airbrush system with a full three dimensional airbrush interface is presented. The position and orientation of an electronic airbrush tool is tracked in space, and,...
Jonathan Konieczny, Gary W. Meyer
HAPTICS
2009
IEEE
16 years 1 months ago
A low cost vibrotactile array to manage respiratory motion
We present a tactile Respiratory Management System (tRMS) to manage and control breathing patterns of cancer patients undergoing radiation therapy. The system comprises of an arra...
Ali Israr, Dillon P. Eng, Sastry S. Vedam, Marcia ...