1547 search results - page 143 / 310 » The Isabelle Collections Framework |
151
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
As Data Grids become more commonplace, large data sets are being replicated and distributed to multiple sites, leading to the problem of determining which replica can be accessed ...
147
click to vote
TES
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The connectivity generated by the Internet is opening unprecedented opportunities of automating business-to-business collaborations. As a result, organisations of all siz...
145
click to vote
GIS
1999
ACM
15 years 8 months ago
1999
ACM
The GeoWorlds system integrates geographic information systems, spatial digital libraries and other information analysis, retrieval and collaboration tools. It supports multiple a...
142
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
How to improve search accuracy for difficult topics is an underaddressed, yet important research question. In this paper, we consider a scenario when the search results are so poo...
123
click to vote
MMM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Cooking is a human activity with sophisticated process. Underlying the multitude of culinary recipes, there exist a set of fundamental and general cooking techniques, suc...