2266 search results - page 255 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
131
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
157
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Two central problems in computational biology are the determination of the alignment and phylogeny of a set of biological sequences. The traditional approach to this p...
126
click to vote
TEC
2008
15 years 3 months ago
2008
In this paper, we propose a technique based on genetic programming (GP) for meshfree solution of elliptic partial differential equations. We employ the least-squares collocation pr...
137
click to vote
NCA
2007
IEEE
15 years 2 months ago
2007
IEEE
Designing drugs is a current problem in the pharmaceutical research. By designing a drug we mean to choose some variables of drug formulation (inputs), for obtaining optimal charac...
161
Voted
CEC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Evolutionary algorithms have been very popular optimization methods for a wide variety of applications. However, in spite of their advantages, their computational cost is still ...