2266 search results - page 301 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
222
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
152
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...
128
Voted
DLOG
2004
15 years 5 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
121
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The population-based incremental learning (PBIL) algorithm is a combination of evolutionary optimization and competitive learning. Recently, the PBIL algorithm has been applied...
109
Voted
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
Particle filtering is an effective sequential Monte Carlo approach to solve the recursive Bayesian filtering problem in non-linear and non-Gaussian systems. The algorithm is base...