Sciweavers

10891 search results - page 1865 / 2179
» Combining Model Reductions
Sort
View
PLDI
2005
ACM
15 years 8 months ago
Path slicing
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
Ranjit Jhala, Rupak Majumdar
PODC
2005
ACM
15 years 8 months ago
Toward a theory of transactional contention managers
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
SIGIR
2005
ACM
15 years 8 months ago
Relevance weighting for query independent evidence
A query independent feature, relating perhaps to document content, linkage or usage, can be transformed into a static, per-document relevance weight for use in ranking. The challe...
Nick Craswell, Stephen E. Robertson, Hugo Zaragoza...
WIDM
2005
ACM
15 years 8 months ago
DirectoryRank: ordering pages in web directories
Web Directories are repositories of Web pages organized in a hierarchy of topics and sub-topics. In this paper, we present DirectoryRank, a ranking framework that orders the pages...
Vlassis Krikos, Sofia Stamou, Pavlos Kokosis, Alex...
133
Voted
WWW
2005
ACM
15 years 8 months ago
A semantic-link-based infrastructure for web service discovery in P2P networks
An important issue arising from P2P applications is how to accurately and efficiently retrieve the required Web services from large-scale repositories. This paper resolves this is...
Jie Liu, Hai Zhuge
« Prev « First page 1865 / 2179 Last » Next »