2647 search results - page 35 / 530 » Solving Term Inequalities |
158
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
A Genetic Algorithm, embedded in a simulation-based method, is applied to the identification of Asynchronous Finite State Machines. Two different coding schemes and their associat...
139
click to vote
IJBC
2006
15 years 6 months ago
2006
In this paper, a class of impulsive BAM fuzzy cellular neural networks with distributed delays and reaction-diffusion terms is formulated and investigated. By employing the delay d...
142
click to vote
AAAI
2007
15 years 8 months ago
2007
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...
140
click to vote
COR
2008
15 years 6 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
222
click to vote
TSMC
2008
15 years 6 months ago
2008
This paper proposes a new perspective for solving systems of complex nonlinear equations by simply viewing them as a multiobjective optimization problem. Every equation in the syst...