Sciweavers

3694 search results - page 243 / 739
» Understanding experience in interactive systems
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
SAC
2009
ACM
16 years 1 months ago
Development of a biosignals framework for usability analysis
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
Inês Oliveira, Rui Lopes, Nuno Guimarã...
IEEEVAST
2010
15 years 1 months ago
A continuous analysis process between desktop and collaborative visual analytics environments
Since its inception, the field of visual analytics has undergone tremendous growth in understanding how to create interactive visual tools to solve analytical problems. However, w...
Dong Hyun Jeong, Evan A. Suma, Thomas Butkiewicz, ...
ACII
2007
Springer
16 years 21 days ago
Does Body Movement Engage You More in Digital Game Play? and Why?
In past years, computer game designers have tried to increase player engagement by improving the believability of characters and environment. Today, the focus is shifting toward im...
Nadia Bianchi-Berthouze, Whan Woong Kim, Darshak P...
SEKE
2001
Springer
15 years 11 months ago
Adapting Game Technology to Support Individual and Organizational Learning
It is well known that traditional educational techniques can be complemented by simulation to achieve a more effective learning experience. One would expect the same phenomenon to...
Emily Oh Navarro, André van der Hoek