Sciweavers

861 search results - page 35 / 173
» Symbolic Program Analysis Using Term Rewriting and Generaliz...
Sort
View
GECCO
2007
Springer
151views Optimization» more  GECCO 2007»
15 years 8 months ago
Solving real-valued optimisation problems using cartesian genetic programming
Classical Evolutionary Programming (CEP) and Fast Evolutionary Programming (FEP) have been applied to realvalued function optimisation. Both of these techniques directly evolve th...
James Alfred Walker, Julian Francis Miller
GECCO
2007
Springer
160views Optimization» more  GECCO 2007»
15 years 8 months ago
An analysis of constructive crossover and selection pressure in genetic programming
A common problem in genetic programming search algorithms is destructive crossover in which the offspring of good parents generally has worse performance than the parents. Design...
Huayang Xie, Mengjie Zhang, Peter Andreae
117
Voted
BMCBI
2006
144views more  BMCBI 2006»
15 years 2 months ago
methBLAST and methPrimerDB: web-tools for PCR based methylation analysis
Background: DNA methylation plays an important role in development and tumorigenesis by epigenetic modification and silencing of critical genes. The development of PCR-based methy...
Filip Pattyn, Jasmien Hoebeeck, Piet Robbrecht, Ev...
POPL
2011
ACM
14 years 5 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
ATAL
2010
Springer
15 years 3 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...