1140 search results - page 214 / 228 » Progress on Certifying Algorithms |
112
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
114
Voted
SIGCOMM
2006
ACM
15 years 6 months ago
2006
ACM
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
118
click to vote
VEE
2006
ACM
15 years 6 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
115
Voted
SIGCOMM
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes ExOR, an integrated routing and MAC protocol that increases the throughput of large unicast transfers in multi-hop wireless networks. ExOR chooses each hop of...
154
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, al...