3333 search results - page 151 / 667 » Abstract Proof Search |
143
Voted
ICADL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, an adaptive tool for providing suggestions during the information search process is presented. The tool uses case-based reasoning techniques to find the m...
105
Voted
SLS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a software tool, called EasySyn++, for the automatic synthesis of the source code for a set of stochastic local search (SLS) algorithms. EasySyn++ uses C++ as ...
110
click to vote
KES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We aim to develop a technique to detect search engine optimization (SEO) spam websites. Specifically, we propose four methods for extracting the SEO spam entries from a ...
130
Voted
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a SVM-based local search (SVM-LS) approach to the problem of gene selection and classification of microarray data. The proposed approach is highlighte...
140
click to vote
AAAI
2004
15 years 5 months ago
2004
We consider how to use external memory, such as disk storage, to improve the scalability of heuristic search in statespace graphs. To limit the number of slow disk I/O operations,...