Sciweavers

5215 search results - page 354 / 1043
» Modeling User Interfaces to Workflow Information Systems
Sort
View
ETRA
2004
ACM
124views Biometrics» more  ETRA 2004»
16 years 7 days ago
Mental imagery in problem solving: an eye tracking study
Cognitive models and empirical studies of problem solving in visuo-spatial and causal domains suggest that problem solving tasks in such domains invoke cognitive processes involvi...
Daesub Yoon, N. Hari Narayanan
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 9 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
AINA
2007
IEEE
16 years 1 months ago
VOICE: A Framework for Speech-Based Mobile Systems
The advent of mobile phones and the Internet opened the doors for an emerging class of applications that connect mobile users to online resources and information services availabl...
Adam Sharp, Stan Kurkovsky
CHI
2003
ACM
16 years 7 months ago
Hands on cooking: towards an attentive kitchen
To make human computer interaction more transparent, different modes of communication need to be explored. We present eyeCOOK, a multimodal attentive cookbook to help a non-expert...
Jeremy S. Bradbury, Jeffrey S. Shell, Craig B. Kno...
ISIM
2007
15 years 8 months ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý