Sciweavers

4242 search results - page 115 / 849
» An Event Spacing Experiment
Sort
View
APN
2003
Springer
14 years 2 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä
INFOVIS
2005
IEEE
14 years 2 months ago
An Evaluation of Content Browsing Techniques for Hierarchical Space-Filling Visualizations
Space-filling visualizations, such as the TreeMap, are well-suited for displaying the properties of nodes in hierarchies. To browse the contents of the hierarchy, the primary mode...
Kang Shi, Pourang Irani, Ben Li
ICAD
2004
13 years 10 months ago
Space, the Final Frontearcon: The Identification of Concurrently Presented Earcons in a Synthetic Spatialised Auditory Environme
Two experiments which investigate the impact of spatialised presentation on the identification of concurrently presented earcons are described. The first experiment compared the i...
David K. McGookin, Stephen A. Brewster
HCI
2009
13 years 6 months ago
Emotion Detection: Application of the Valence Arousal Space for Rapid Biological Usability Testing to Enhance Universal Access
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
Christian Stickel, Martin Ebner, Silke Steinbach-N...
ICML
1989
IEEE
14 years 1 months ago
Uncertainty Based Selection of Learning Experiences
The training experiences needed by a learning system may be selected by either an external agent or the system itself. We show that knowledge of the current state of the learner&#...
Paul D. Scott, Shaul Markovitch