3155 search results - page 206 / 631 » Maintenance: Less Is Not More |
152
click to vote
SPIRE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...
184
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
147
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...
182
click to vote
SIGIR
2004
ACM
16 years 17 hour ago
2004
ACM
Pseudo feedback is a commonly used technique to improve information retrieval performance. It assumes a few top-ranked documents to be relevant, and learns from them to improve th...
153
click to vote
SIGIR
2004
ACM
16 years 17 hour ago
2004
ACM
An evaluation methodology that targets ineffective topics is needed to support research on obtaining more consistent retrieval across topics. Using average values of traditional ...