Sciweavers

3706 search results - page 186 / 742
» The Transformational Approach to Program Development
Sort
View
GECCO
2010
Springer
206views Optimization» more  GECCO 2010»
15 years 1 months ago
Development of efficient particle swarm optimizers by using concepts from evolutionary algorithms
Particle swarm optimization (PSO) has been in practice for more than 10 years now and has gained wide popularity in various optimization tasks. In the context to single objective ...
Kalyanmoy Deb, Nikhil Padhye
GECCO
2008
Springer
113views Optimization» more  GECCO 2008»
14 years 11 months 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
RISE
2004
Springer
15 years 3 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
MLG
2007
Springer
15 years 4 months ago
Abductive Stochastic Logic Programs for Metabolic Network Inhibition Learning
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, Jose Santos
CSMR
2007
IEEE
15 years 4 months ago
Supporting Reliable Software Evolution through Program Analysis
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
Cathal Boogerd