Sciweavers

2059 search results - page 319 / 412
» Interactive Sensor Planning
Sort
View
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 3 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
PERCOM
2007
ACM
16 years 2 months ago
A Simple Model and Infrastructure for Context-Aware Browsing of the World
The imminent mass deployment of pervasive computing technologies such as sensor networks and RFID tags, together with the increasing participation of the Web community in feeding ...
Gabriella Castelli, Alberto Rosi, Marco Mamei, Fra...
TEI
2010
ACM
151views Hardware» more  TEI 2010»
15 years 9 months ago
ChameleonBall
We propose a novel ball-type input/output (I/O) device—the ChameleonBall—that allows users to interact with colors in the real world. The ChameleonBall mainly consists of mult...
Koji Tsukada, Maho Oki
HAPTICS
2009
IEEE
15 years 9 months ago
Haptic augmented reality: Modulation of real object stiffness
Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a ...
Seokhee Jeon, Seungmoon Choi
UM
2009
Springer
15 years 9 months ago
Modeling User Affect from Causes and Effects
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
Cristina Conati, Heather Maclaren