1421 search results - page 266 / 285 » Satisfying KBO Constraints |
105
click to vote
WWW
2009
ACM
16 years 14 days ago
2009
ACM
Document summarization plays an increasingly important role with the exponential growth of documents on the Web. Many supervised and unsupervised approaches have been proposed to ...
115
click to vote
WWW
2009
ACM
16 years 14 days ago
2009
ACM
The majority of people in rural developing regions do not have access to the World Wide Web. Traditional network connectivity technologies have proven to be prohibitively expensiv...
120
click to vote
WWW
2001
ACM
16 years 14 days ago
2001
ACM
The term "application profile" has recently become highly topical. Heery and Patel [1] define application profiles as metadata schemas which consist of metadata elements...
107
click to vote
STOC
2009
ACM
16 years 12 days ago
2009
ACM
We prove strong lower bounds on integrality gaps of Sherali?Adams relaxations for MAX CUT, Vertex Cover, Sparsest Cut and other problems. Our constructions show gaps for Sherali?A...
CAV
2009
Springer
16 years 10 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...