1547 search results - page 7 / 310 » The Isabelle Collections Framework |
ECTEL
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a simple and extendible framework to collect attention metadata and store them for further analysis. Currently, several metadata collectors have been implement...
EDBTW
2004
Springer
14 years 27 days ago
2004
Springer
While there are many proposals for path indexes on XML documents, none of them is perfectly suited for indexing large-scale collections of interlinked XML documents. Existing strat...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces a new framework for building digital library collections and contrasts it with existing systems. It describes a radical new step in the development of a widel...
PDCN
2004
13 years 8 months ago
2004
In this paper we investigate a tunable MPI collective communications library on a cluster of SMPs. Most tunable collective communications libraries select optimal algorithms for i...
PERVASIVE
2010
Springer
14 years 2 months ago
2010
Springer
Mobile phones have evolved from devices that are just used for voice and text communication to platforms that are able to capture and transmit a range of data types (image, audio, ...