3025 search results - page 309 / 605 » Interaction in the large |
131
Voted
CHI
2002
ACM
16 years 7 months ago
2002
ACM
In this paper we describe an evaluation of behavioral descriptors generated from an analysis of a large collection of Usenet newsgroup messages. The metrics describe aspects of ne...
177
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 ...
155
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...
150
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
The physical nature of the classroom means that children are continually divided into small groups. The present study examined collaboration on a story creation task using technol...
197
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...