805 search results - page 51 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
101
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Massively multiplayer online games (MMOGs) currently represent the most widely used type of social 3D virtual worlds with millions of users worldwide. Although MMOGs take face-to-...
114
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
114
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
144
click to vote
CHI
1993
ACM
15 years 7 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
118
click to vote
CHI
1997
ACM
15 years 7 months ago
1997
ACM
Trajectory-based interactions, such as navigating through nested-menus, drawing curves, and moving in 3D worlds, are becoming common tasks in modern computer interfaces. Users’ ...