16091 search results - page 294 / 3219 » Solving |
171
click to vote
JUCS
2007
15 years 6 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
192
click to vote
ASC
2004
15 years 6 months ago
2004
A novel approach for solving fuzzy model-based stability problems via evolutionary computation (EC) is presented. Gain scheduling problem of a multi-model fuzzy system that satisf...
175
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...
141
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
162
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...