1251 search results - page 127 / 251 » Digital trail libraries |
154
click to vote
ICMCS
2005
IEEE
15 years 10 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...
143
click to vote
IADIS
2004
15 years 5 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...
139
click to vote
SIGMOD
2010
ACM
15 years 9 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...
143
click to vote
KDD
1998
ACM
15 years 8 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 ...
124
click to vote
JAR
2007
15 years 4 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...