113 search results - page 20 / 23 » Correcting errors without leaking partial information |
PLDI
2003
ACM
14 years 26 days ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
SIGMETRICS
2010
ACM
14 years 12 days ago
2010
ACM
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
This paper addresses the issue of query refinement, which involves reformulating ill-formed search queries in order to enhance relevance of search results. Query refinement typica...
BMCBI
2004
13 years 7 months ago
2004
Background: With ever increasing numbers of closely related virus genomes being sequenced, it has become desirable to be able to compare two genomes at a level more detailed than ...
LOCA
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents the design, implementation, and evaluation of a footprintbased indoor location system on traditional Japanese GETA sandals. Our footprint location system can s...