1236 search results - page 124 / 248 » Patron-augmented digital libraries |
166
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose a novel system, Video Booklet, which enables efficient and nature video browsing and searching. In the system, a set of selected thumbnails excerpted fro...
156
click to vote
IADIS
2004
15 years 6 months ago
2004
JSTOR is a not-for-profit online library containing a full back-run of digitized versions of a large number of academic journals. In order to help defray costs for maintaining the...
155
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
Field-programmable gate arrays (FPGAs) are a promising technology that can be used in database systems. In this demonstration we show Glacier, a library and a compiler that can be...
152
click to vote
KDD
1998
ACM
15 years 9 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 ...
138
click to vote
JAR
2007
15 years 5 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...