16188 search results - page 2945 / 3238 » The Optimal PAC Algorithm |
168
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
176
click to vote
SENSYS
2003
ACM
15 years 12 months ago
2003
ACM
For many sensor network applications such as military surveillance, it is necessary to provide full sensing coverage to a security-sensitive area while at the same time minimizing...
182
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
203
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Term-based representations of documents have found widespread use in information retrieval. However, one of the main shortcomings of such methods is that they largely disregard le...
165
click to vote
SLIP
2003
ACM
15 years 12 months ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...