3155 search results - page 206 / 631 » Maintenance: Less Is Not More |
128
click to vote
SPIRE
2005
Springer
15 years 10 months 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...
158
click to vote
TACAS
2005
Springer
15 years 10 months 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...
124
Voted
ATAL
2005
Springer
15 years 10 months 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...
150
click to vote
SIGIR
2004
ACM
15 years 10 months 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...
127
Voted
SIGIR
2004
ACM
15 years 10 months 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 ...