1573 search results - page 289 / 315 » A Data Structure for Sponsored Search |
121
click to vote
CADE
2009
Springer
16 years 10 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
WSDM
2009
ACM
15 years 6 months ago
2009
ACM
The Web is a dynamic, ever changing collection of information. This paper explores changes in Web content by analyzing a crawl of 55,000 Web pages, selected to represent different...
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
106
click to vote
ICDM
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an extension to the Lasso [9] for binary classification problems with ordered attributes. Inspired by the Fused Lasso [8] and the Group Lasso [10, 4] models, we aim to...
143
click to vote
SIGCOMM
2005
ACM
15 years 5 months ago
2005
ACM
Hash table is used as one of the fundamental modules in several network processing algorithms and applications such as route lookup, packet classification, per-flow state manage...