4946 search results - page 698 / 990 » Interacting with Large Displays |
179
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
In a ten-session experiment, six participants practiced typing with an expanding rehearsal method on an optimized virtual keyboard. Based on a large amount of in-situ performance ...
156
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...
199
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
156
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Large scale penetration of digital technologies led them to join roads, electricity, and water distribution, as essential infrastructures of modernity. “Digital convergence” r...
170
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Understanding perception is critical to effective visualization design. With its low cost and scalability, crowdsourcing presents an attractive option for evaluating the large des...