220 search results - page 13 / 44 » Using Difference Reduction for Generic Proof Search |
FLAIRS
2004
13 years 9 months ago
2004
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper presents a simple and generic indicator-based multi-objective local search. This algorithm is a direct extension of the IBEA algorithm, an indicatorbased evolutionar...
CLA
2004
13 years 9 months ago
2004
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
CIARP
2003
Springer
14 years 1 months ago
2003
Springer
The Continuous Distance Transformation (CDT) used in conjunction with a k-NN classifier has been shown to provide good results in the task of handwriting recognition [1]. Unfortun...
ICDE
2002
IEEE
14 years 26 days ago
2002
IEEE
We consider the use of wavelet transformations as a dimensionality reduction technique to permit efficient similarity search over high-dimensional time-series data. While numerou...