4041 search results - page 318 / 809 » time 2009 |
159
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
172
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
185
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we study instances of complex neural networks, i.e. neural networks with complex topologies. We use Self-Organizing Map neural networks whose neighborhood relations...
163
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The generation of profitable trading rules for Foreign Exchange (FX) investments is a difficult but popular problem. The use of Machine Learning in this problem allows us to obtai...
160
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present neuro-evolution of neural network controllers for mobile agents in a simulated environment. The controller is obtained through evolution of hypercube encod...