4421 search results - page 99 / 885 » Libraries |
102
click to vote
ERCIMDL
2009
Springer
15 years 6 months ago
2009
Springer
While many digital libraries focus on supporting defined tasks that require targeted searching, there is potential for enabling serendipitous discovery that can serve multiple purp...
109
click to vote
PCM
2001
Springer
15 years 6 months ago
2001
Springer
Developing effective and efficient retrieval techniques for multimedia data is a challenging issue in building a digital library. Unlike most previously proposed retrieval approac...
92
Voted
MSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Over the last decade, processors have made enormous gains in speed. But increase in the speed of the secondary and tertiary storage devices could not cope with these gains. The re...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper shows how parallelism has been integrated into SCOOP, a C++ class library for solving optimisation problems. After a description of the modeling and the optimisation par...
110
click to vote
TYPES
1999
Springer
15 years 5 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...