14161 search results - page 432 / 2833 » On generalized middle-level problem |
162
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
The result of the program encoded into a Genetic Programming (GP) tree is usually returned by the root of that tree. However, this is not a general strategy. In this paper we pres...
173
click to vote
SAT
2004
Springer
16 years 5 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
166
click to vote
EWCBR
1993
Springer
15 years 11 months ago
1993
Springer
Problem solving in weak theory domains should compensate for the lack of strong theories by combining the various other knowledge types involved. Such methods should be able to eff...
184
click to vote
JMLR
2008
15 years 6 months ago
2008
We introduce a computationally feasible, "constructive" active learning method for binary classification. The learning algorithm is initially formulated for separable cl...
178
click to vote
MOC
2002
15 years 6 months ago
2002
Dimensionally unbounded problems are frequently encountered in practice, such as in simulations of stochastic processes, in particle and light transport problems and in the problem...