157 search results - page 16 / 32 » Interactive Paper as a Reading Medium in Digital Libraries |
JCDL
2005
ACM
14 years 29 days ago
2005
ACM
In this paper, we discuss the findings of an in-depth observational study of reading and within-document navigation and add to these findings the results of a second analysis of h...
DL
1997
Springer
13 years 11 months ago
1997
Springer
In a digital library, there are many di erent interaction models between customers and information providers or merchants. Subscriptions, sessions, pay-per-view, shareware, and pr...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
This paper takes up the problem of understanding why we preserve some things passionately and discard others without thought. We briefly report on the theoretical literature relat...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Electronic documents such as PDFs are becoming increasingly popular as we move further towards the notion of the paperless office. The harsh truth however is that e-documents diff...
JAR
2007
13 years 7 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...