1573 search results - page 289 / 315 » A Data Structure for Sponsored Search |
191
click to vote
CADE
2009
Springer
16 years 6 months 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, ...
178
click to vote
WSDM
2009
ACM
16 years 28 days 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...
154
click to vote
ICDCS
2007
IEEE
16 years 14 days 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...
173
click to vote
ICDM
2007
IEEE
16 years 14 days 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...
216
click to vote
SIGCOMM
2005
ACM
15 years 11 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...