805 search results - page 83 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
156
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
134
Voted
CHI
2008
ACM
16 years 3 months ago
2008
ACM
The Sound of Touch is a new tool for real-time capture and sensitive physical stimulation of sound samples using digital convolution. Our hand-held wand can be used to (1) record ...
168
click to vote
STORYTELLING
2005
Springer
15 years 8 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
141
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
The Web is a dynamic, ever-changing collection of information accessed in a dynamic way. This paper explores the relationship between Web page content change (obtained from an hou...
137
click to vote
HRI
2007
ACM
15 years 7 months ago
2007
ACM
Good situation awareness (SA) is especially necessary when robots and their operators are not collocated, such as in urban search and rescue (USAR). This paper compares how SA is ...