Sciweavers

304 search results - page 5 / 61
» A Multi-Context System Computing Modalities
Sort
View
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
14 years 7 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...
CONCUR
2010
Springer
14 years 11 months ago
Modal Logic over Higher Dimensional Automata
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
Cristian Prisacariu
DSVIS
2008
Springer
14 years 11 months ago
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
Ann Blandford, Paul Curzon, Joanne Hyde, George Pa...
CHI
2007
ACM
15 years 10 months ago
Minimizing modality bias when exploring input preferences for multimodal systems in new domains: the archivus case study
In this paper we discuss the problems faced when trying to design an evaluation protocol for a multimodal system using novel input modalities and in a new domain. In particular, w...
Agnes Lisowska, Martin Rajman, Mireille Bét...
CONCUR
2004
Springer
15 years 1 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen