1672 search results - page 46 / 335 » Interactive Mathematical Documents |
EDUTAINMENT
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We describe in this paper an experimental setting for browsing and reading simultaneously multiple digital documents. An hemispherical visualization device is used to imm...
DOCENG
2009
ACM
15 years 8 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
114
click to vote
IUI
2009
ACM
15 years 11 months ago
2009
ACM
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...
122
click to vote
ERLANG
2007
ACM
15 years 5 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
103
click to vote
UIST
2005
ACM
15 years 7 months ago
2005
ACM
Knowledge workers use paper extensively for document reviewing and note-taking due to its versatility and simplicity of use. As users annotate printed documents and gather notes, ...