4460 search results - page 627 / 892 » Formal methods for interactive systems |
157
click to vote
PRESENCE
2000
15 years 6 months ago
2000
We describe methods for displaying complex, texturemapped environments with four or more spatial dimensions that allow for real-time interaction. At any one moment in time, a thre...
140
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Lighting assumes many aesthetic and communicative functions in game environments that affect attention, immersion, visibility, and emotions. Game environments are dynamic and high...
160
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
119
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
One hundred thirty-eight subjects participated in a study on mobile appointment scheduling. Subjects completed a questionnaire on their primary method of managing appointments whe...
146
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Evaluators who examine the same system using the same usability evaluation method tend to report substantially different sets of problems. This so-called evaluator effect means th...