Sciweavers

2152 search results - page 281 / 431
» The user interface as an agent environment
Sort
View
VR
2010
IEEE
108views Virtual Reality» more  VR 2010»
15 years 4 months ago
Twinkle: Interacting with physical surfaces using handheld projector
We propose a novel interface called Twinkle for interacting with an arbitrary physical surface using a handheld projector and a camera. When a user flashes a projection light on ...
Takumi Yoshida, Yuki Hirobe, Hideaki Nii, Naoki Ka...
TEI
2009
ACM
166views Hardware» more  TEI 2009»
15 years 11 months ago
Pendaphonics: a tangible pendulum-based sonic interaction experience
Pendaphonics is a tangible physical-digital-sonic environment and interactive system that engages users in individual, collaborative, group, and distributed interactive experience...
Anne-Marie Skriver Hansen, Dan Overholt, Winslow B...
VLDB
2004
ACM
112views Database» more  VLDB 2004»
15 years 12 months ago
AIDA: an Adaptive Immersive Data Analyzer
In this demonstration, we show various querying capabilities of an application called AIDA. AIDA is developed to help the study of attention disorder in kids. In a different stud...
Mehdi Sharifzadeh, Cyrus Shahabi, Bahareh Navai, F...
JSS
2006
99views more  JSS 2006»
15 years 6 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
ATAL
2008
Springer
15 years 8 months ago
An approach to online optimization of heuristic coordination algorithms
Due to computational intractability, large scale coordination algorithms are necessarily heuristic and hence require tuning for particular environments. In domains where character...
Jumpol Polvichai, Paul Scerri, Michael Lewis