1930 search results - page 271 / 386 » Learning to Solve QBF |
150
Voted
FLAIRS
2000
15 years 4 months ago
2000
This paper discusses the empirical evaluation of improving generalization performance of neural networks by systematic treatment of training and test failures. As a result of syst...
149
Voted
IJCAI
1997
15 years 4 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
108
Voted
AAAI
1996
15 years 4 months ago
1996
of it suffer from a number of limitations, including: The effectiveness of an analogical reasoner depends upon its ability to select a relevant analogical source. In many problem d...
110
Voted
ICEC
1996
15 years 4 months ago
1996
Abstract - The paper describes how a formal model of selfadaptation [Angeline, 1995] can be expressed in terms of Cultural Algorithms. A particular form of self-adaptation concerns...
122
click to vote
WCE
2007
15 years 4 months ago
2007
Abstract—In this work we present a variational formulation for a multilayer perceptron neural network. With this formulation any learning task for the neural network is defined ...