805 search results - page 40 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
117
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
To design information visualization tools for collaborative use, we need to understand how teams engage with visualizations during their information analysis process. We report on...
119
click to vote
HAPTICS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. We analyze the stability of previously proposed mobile robot teleoperation system [7]. Unlike to other approaches human-operator dynamics is included for the stability an...
110
click to vote
HCI
2009
15 years 23 days ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
136
click to vote
CISC
2009
Springer
15 years 24 days ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
CHI
2009
ACM
16 years 3 months ago
2009
ACM
We describe the use of a statistical technique called Tpattern analysis to derive and characterize the routineness of tasks. T-patterns provide significant advantages over traditi...