Sciweavers

1150 search results - page 208 / 230
» One-Class Genetic Programming
Sort
View
AMAST
2008
Springer
13 years 11 months ago
Towards an Efficient Implementation of Tree Automata Completion
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
Emilie Balland, Yohan Boichut, Thomas Genet, Pierr...
EVOW
2010
Springer
13 years 11 months ago
Refinement Techniques for Animated Evolutionary Photomosaics Using Limited Tile Collections
An animated evolutionary photomosaic is produced from a sequence of still or static photomosaics to evolve a near match to a given target image. A static photomosaic is composed of...
Shahrul Badariah Mat Sah, Victor Ciesielski, Daryl...
CEC
2007
IEEE
13 years 11 months ago
Hybrid optimization using DIRECT, GA, and SQP for global exploration
— As there are many good optimization algorithms each with its own characteristics, it is very difficult to choose the best method for optimization problems. Thus, it is importa...
Satoru Hiwa, Tomoyuki Hiroyasu, Mitsunori Miki
AIPRF
2007
13 years 11 months ago
A New GP-evolved Formulation for the Relative Permittivity of Water and Steam
The relative permittivity (or static dielectric constant) of water and steam has been experimentally calculated at a relatively wide range of temperatures and pressures. A single ...
Sergey V. Fogelson, Walter D. Potter
AAAI
2006
13 years 11 months ago
Efficient Haplotype Inference with Boolean Satisfiability
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...
Inês Lynce, João Marques-Silva