1930 search results - page 121 / 386 » Learning to Solve QBF |
131
click to vote
EMNLP
2009
15 years 1 months ago
2009
The recently introduced online confidence-weighted (CW) learning algorithm for binary classification performs well on many binary NLP tasks. However, for multi-class problems CW l...
182
click to vote
GECCO
2011
Springer
14 years 7 months ago
2011
Springer
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
133
click to vote
HVC
2005
Springer
15 years 9 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
124
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper empirically investigates parallel competent genetic algorithms (cGAs) [4]. cGAs, such as BOA [21], LINCGA [15], D5 -GA [28], can solve GA-difficult problems by automati...
128
click to vote
BMCBI
2006
15 years 3 months ago
2006
Motivation Protein remote homology prediction and fold recognition are central problems in computational biology. Supervised learning algorithms based on support vector machines a...