805 search results - page 70 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
114
click to vote
HCI
2009
15 years 28 days ago
2009
Might EEG measured while one imagines words or sentences provide enough information for one to identify what is being thought? Analysis of EEG data from an experiment in which two ...
104
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
In this paper, we describe an evaluation of the Palette, a presentation tool that was reported at CHI '99. The Palette allows presenters to quickly access digital presentatio...
112
click to vote
CHI
2000
ACM
15 years 7 months ago
2000
ACM
Despite the increasing number of new devices entering the market allowing the capture or recording of information (whether it be marks on paper, scene, sound or moving images), th...
HCI
2009
15 years 28 days ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
136
click to vote
FMCO
2009
Springer
15 years 29 days ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...