1672 search results - page 38 / 335 » Interactive Mathematical Documents |
108
click to vote
ERCIMDL
2008
Springer
15 years 3 months ago
2008
Springer
Placeholders in physical documents provide critical support for the human reader in relocating material and their place in the text. However, the equivalent tools in digital docume...
112
click to vote
HCI
2009
14 years 11 months ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
ISICT
2003
15 years 3 months ago
2003
Project MEMORIAL [3] is aimed at developing a new technology for creating Web based information systems using interactive electronic documents extracted from their paper originals...
115
click to vote
ISMAR
2002
IEEE
15 years 6 months ago
2002
IEEE
In this work we compare an in-house designed Tangible User Interface (TUI) with three alternative single-user tools through an empirical investigation. These three alternative too...
100
click to vote
JAR
2007
15 years 1 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...