11160 search results - page 1797 / 2232 » Incompleteness in a General Setting |
231
click to vote
WWW
2002
ACM
16 years 8 months ago
2002
ACM
In the original PageRank algorithm for improving the ranking of search-query results, a single PageRank vector is computed, using the link structure of the Web, to capture the rel...
258
click to vote
WWW
2002
ACM
16 years 8 months ago
2002
ACM
An important trend in Web information processing is the support of multimedia retrieval. However, the most prevailing paradigm for multimedia retrieval, content-based retrieval (C...
357
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
335
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
326
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...