1236 search results - page 125 / 248 » Digital Library |
118
click to vote
ELPUB
2004
ACM
15 years 8 months ago
2004
ACM
tions, allowing interlinking of abstracting and indexing databases with full-text sources, and providing the ability to search across multiple databases simultaneously. Publishers ...
125
click to vote
KDD
1998
ACM
15 years 6 months ago
1998
ACM
The value of extracting knowledge from semi-structured data is readily apparent with the explosion of the WWW and the advent of digital libraries. This paper proposes a versatile ...
105
Voted
JAR
2007
15 years 2 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...
117
click to vote
ELPUB
2007
ACM
15 years 6 months ago
2007
ACM
In Greece, there seems to be a growing level of awareness regarding open access among scholars, faculty staff and information professionals. Indeed, consensus regarding the necess...
102
click to vote
JCDL
2006
ACM
15 years 8 months ago
2006
ACM
The NDIIPP ECHO DEPository project [1] digital repository evaluation will use an augmented version of the draft Audit Checklist for Certification of Trusted Digital Repositories (...