Sciweavers

5550 search results - page 730 / 1110
» Different Approaches to Proof Systems
Sort
View
CHI
2007
ACM
16 years 7 months ago
BodySpace: inferring body pose for natural control of a music player
We describe the BodySpace system, which uses inertial sensing and pattern recognition to allow the gestural control of a music player by placing the device at different parts of t...
Steven Strachan, Roderick Murray-Smith, M. Sile O'...
CHI
2007
ACM
16 years 7 months ago
The mixed reality book: a new multimedia reading experience
We are introducing a new type of digitally enhanced book which symbiotically merges different type of media in a seamless approach. By keeping the traditional book (and its afford...
Andreas Dünser, Hartmut Seichter, Mark Billin...
CHI
2002
ACM
16 years 7 months ago
User activity histories
Current software interfaces fail to incorporate historical data from user interaction into their design. While some systems exhibit a minimalist use of history in the form of undo...
Etienne Pelaprat, R. Benjamin Shapiro
ESORICS
2002
Springer
16 years 6 months ago
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
Joachim Biskup, Piero A. Bonatti
ICMLA
2009
16 years 4 months ago
Statistical Decision Making for Authentication and Intrusion Detection
User authentication and intrusion detection differ from standard classification problems in that while we have data generated from legitimate users, impostor or intrusion data is s...
Christos Dimitrakakis, Aikaterini Mitrokotsa