Sciweavers

1725 search results - page 58 / 345
» Relaxed genetic programming
Sort
View
GECCO
2008
Springer
113views Optimization» more  GECCO 2008»
15 years 11 days ago
Genetic programming based automatic gait generation for quadruped robots
This paper introduces a new approach to develop a fast gait for quadruped robot using genetic programming (GP). Several recent approaches have focused on the genetic algorithm (GA...
Kisung Seo, Soohwan Hyun
GECCO
2010
Springer
169views Optimization» more  GECCO 2010»
15 years 2 months ago
Robust symbolic regression with affine arithmetic
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
Cassio Pennachin, Moshe Looks, João A. de V...
IJNSEC
2007
119views more  IJNSEC 2007»
14 years 11 months ago
Evolutionary Design of Intrusion Detection Programs
Intrusion detection is the process of monitoring the events occurring in a computer system or network and analyzing them for signs of intrusions, defined as attempts to compromis...
Ajith Abraham, Crina Grosan, Carlos Martín-...
GECCO
2007
Springer
283views Optimization» more  GECCO 2007»
15 years 5 months ago
Evolving Lucene search queries for text classification
We describe a method for generating accurate, compact, human understandable text classifiers. Text datasets are indexed using Apache Lucene and Genetic Programs are used to constr...
Laurence Hirsch, Robin Hirsch, Masoud Saeedi
ESOP
2010
Springer
15 years 8 months ago
Parameterized Memory Models and Concurrent Separation Logic
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
Rodrigo Ferreira, Xinyu Feng and Zhong Shao