1925 search results - page 257 / 385 » Incremental test collections |
323
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
171
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Pseudo-relevance feedback (PRF) via query-expansion has been proven to be effective in many information retrieval (IR) tasks. In most existing work, the top-ranked documents from...
152
click to vote
CIKM
2007
Springer
16 years 21 days ago
2007
Springer
The problem of results merging in distributed information retrieval environments has been approached by two different directions in research. Estimation approaches attempt to cal...
165
click to vote
CBMS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this research, an imaging system was built to work with a newly developed electronic device to help people produce sounds correctly. The system consists of two parts, the inter...
168
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...