3690 search results - page 510 / 738 » Computation with classical sequents |
193
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
184
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We introduce the information flaneur as a new human-centred view on information seeking that is grounded in interdisciplinary research. We use the metaphor of the urban flaneur ...
154
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Game designers frequently invest in aesthetic improvements such as music, sound effects, and animations. However, their exact value for attracting and retaining players remains un...
169
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Un...
189
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
While usability methods such as user studies and inspections can reveal a wide range of problems, they do so for only a subset of an application’s features and states. We presen...