4208 search results - page 215 / 842 » Better Selection of the Best |
173
click to vote
JAIR
2008
15 years 6 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
156
click to vote
EXPERT
1998
15 years 6 months ago
1998
Constructive induction divides the problem of learning an inductive hypothesis into two intertwined searches: one—for the “best” representation space, and two—for the “be...
163
click to vote
TIT
2002
15 years 6 months ago
2002
Let ( ) denote the maximum possible number of codewords in a binary code of length and minimum Hamming distance . For large values of , the best known upper bound, for fixed , is t...
172
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we analyze the performance of a self optimizing algorithm for handover parameter control which adjusts the settings depending on the oscillations experienced betw...
173
click to vote
PAKDD
2009
ACM
16 years 1 months ago
2009
ACM
The usual data mining setting uses the full amount of data to derive patterns for different purposes. Taking cues from machine learning techniques, we explore ways to divide the d...