2266 search results - page 237 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
136
click to vote
FSKD
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In the artificial neural networks (ANNs), feature selection is a wellresearched problem, which can improve the network performance and speed up the training of the networ...
106
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
For noisy optimization problems, there is generally a trade-off between the effort spent to reduce the noise (in order to allow the optimization algorithm to run properly), and t...
148
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
A fundamental aspect of many evolutionary approaches to synthesis of complex systems is the need to compose atomic elements into useful higher-level building blocks. However, the ...
130
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
123
click to vote
AAAI
2008
15 years 5 months ago
2008
An important feature of many problem domains in machine learning is their geometry. For example, adjacency relationships, symmetries, and Cartesian coordinates are essential to an...