12774 search results - page 2362 / 2555 » A Framework for Proof Systems |
164
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Static index pruning techniques aim at removing from the posting lists of an inverted file the references to documents which are likely to be not relevant for answering user querie...
172
click to vote
ADBIS
2009
Springer
15 years 4 months ago
2009
Springer
We consider the problem of selecting views and indexes that minimize the evaluation costs of the important queries under an upper bound on the disk space available for storing the ...
194
click to vote
APNOMS
2009
Springer
15 years 4 months ago
2009
Springer
The inherent and increasing complexity, heterogeneity and unpredictability of computer networks make the task of managing these systems highly complex. The autonomic computing para...
185
click to vote
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
231
click to vote
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
This paper describe the last round of the medical image annotation task in ImageCLEF 2009. After four years, we defined the task as a survey of all the past experience. Seven grou...