2266 search results - page 181 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
114
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes a new mating scheme for evolutionary multiobjective optimization (EMO), which simultaneously improves the convergence speed to the Pareto-front and the diversit...
125
click to vote
DAS
2008
Springer
15 years 3 months ago
2008
Springer
Automatic Term Recognition (ATR) is concerned with discovering terminology in large volumes of text corpora. Technical terms are vital elements for understanding the techniques us...
105
click to vote
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
The performance of Evolutionary Programming (EP) is affected by many factors (e.g. mutation operators and selection strategies). Although the conventional approach with Gaussian mu...
120
click to vote
TEC
2008
15 years 1 months ago
2008
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...
112
click to vote
IJCAI
2001
15 years 3 months ago
2001
Boolean linear programs (BLPs) are ubiquitous in AI. Satisfiability testing, planning with resource constraints, and winner determination in combinatorial auctions are all example...