83 search results - page 6 / 17 » Towards Knowledge-Based Digital Libraries |
HT
2003
ACM
14 years 21 days ago
2003
ACM
Through scenarios in the popular press and technical papers in the research literature, the promise of the Semantic Web has raised a number of different expectations. These expect...
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
Should digital libraries be based on image or text display? Which will serve users better? Experience and experiments show that users can employ either, and that there are technic...
ERCIMDL
2007
Springer
13 years 11 months ago
2007
Springer
As information becomes available in increasing amounts, and to growing numbers of users, the shift towards a more user-centered, or personalized access to information becomes cruci...
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...
HIJ
2006
13 years 7 months ago
2006
A digital archive, together with its users and its contents, does not exist in isolation - there is a cycle of activities which provides the context for the archive's existen...