Sciweavers

3096 search results - page 185 / 620
» Theory and Use of the EM Algorithm
Sort
View
AUTOMATICA
2006
119views more  AUTOMATICA 2006»
15 years 6 months ago
Absolute stability of third-order systems: A numerical algorithm
The problem of absolute stability is one of the oldest open problems in the theory of control. Even for the particular case of second-order systems a complete solution was present...
Michael Margaliot, Christos Yfoulis
CSL
2010
Springer
15 years 7 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
BMCBI
2007
95views more  BMCBI 2007»
15 years 6 months ago
Haplotype-based score test for linkage in nuclear families
Background: To look for genetic linkage between angiotensin-I converting enzyme(ACE) gene and hypertension in a Korean adolescent cohort, we developed a powerful test using the co...
Chung Mo Nam, Dae Ryong Kang, Jinheum Kim
GECCO
2006
Springer
332views Optimization» more  GECCO 2006»
15 years 9 months ago
Multi-objective PID-controller tuning for a magnetic levitation system using NSGA-II
This paper investigates the issue of PID-controller parameter tuning for a magnetic levitation system using the nondominated sorting genetic algorithm (NSGA-II). The magnetic levi...
Gerulf K. M. Pedersen, Zhenyu Yang
GECCO
2009
Springer
104views Optimization» more  GECCO 2009»
16 years 21 days ago
Sustaining diversity using behavioral information distance
Conventional similarity metrics used to sustain diversity in evolving populations are not well suited to sequential decision tasks. Genotypes and phenotypic structure are poor pre...
Faustino J. Gomez