1672 search results - page 56 / 335 » Interactive Mathematical Documents |
134
Voted
TABLETOP
2006
IEEE
15 years 9 months ago
2006
IEEE
Although electronic media has changed how people interact with documents, today’s electronic documents and the environments in which they are used are still impoverished relativ...
75
Voted
CHI
2005
ACM
16 years 4 months ago
2005
ACM
We examined the benefits of animated scrolling using four speeds and three different document types in terms of task speed, accuracy and user preference. We considered reading tas...
133
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
Collaborative filtering is based on the premise that people looking for information should be able to make use of what others have already found and evaluated. Current collaborati...
130
click to vote
CHI
1993
ACM
15 years 7 months ago
1993
ACM
The object-oriented history mechanism of the GINA application framework and its relevance for multi-user applications are demonstrated. The interaction history of a document is re...
131
click to vote
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...