5243 search results - page 762 / 1049 » Reasoning About Strategies |
173
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This paper describes the results of a study conducted to answer two questions: (1) Do children generalize their understanding of distinctions between conventional and moral violat...
197
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Many Eyes is a web site that provides collaborative visualization services, allowing users to upload data sets, visualize them, and comment on each other's visualizations. Th...
146
Voted
CHI
2007
ACM
16 years 7 months ago
2007
ACM
A longitudinal design was employed to collect three waves of survey data over a 14 month period from 2790 online gamers. Respondents were asked questions about their gaming activi...
157
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
288
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...