1547 search results - page 27 / 310 » The Isabelle Collections Framework |
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Current web search engines focus on searching only the most recent snapshot of the web. In some cases, however, it would be desirable to search over collections that include many ...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
Versioned document collections are collections that contain multiple versions of each document. Important examples are Web archives, Wikipedia and other wikis, or source code and ...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Most of the online multimedia collections, such as picture galleries or video archives, are categorized in a fully manual process, which is very expensive and may soon be infeasib...
ICDE
2004
IEEE
14 years 9 months ago
2004
IEEE
We study the problem of maintaining large replicated collections of files or documents in a distributed environment with limited bandwidth. This problem arises in a number of impo...
GIS
2002
ACM
13 years 7 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...