Sciweavers

537 search results - page 24 / 108
» Methods for Evolving Robust Programs
Sort
View
GECCO
2004
Springer
14 years 2 months ago
Program Evolution by Integrating EDP and GP
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
Kohsuke Yanai, Hitoshi Iba
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
14 years 3 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
CEC
2007
IEEE
14 years 1 months ago
Emergence of feedback in artificial gene regulatory networks
In this paper, we present a model for simulating the evolution of development together with a method for the analysis of emergence of negative feedback inside the regulatory networ...
Till Steiner, Lisa Schramm, Yaochu Jin, Bernhard S...
TFM
2004
Springer
118views Formal Methods» more  TFM 2004»
14 years 2 months ago
A Beginner's Course on Reasoning About Imperative Programs
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
Kung-Kiu Lau
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
14 years 3 months ago
Least absolute policy iteration for robust value function approximation
Abstract— Least-squares policy iteration is a useful reinforcement learning method in robotics due to its computational efficiency. However, it tends to be sensitive to outliers...
Masashi Sugiyama, Hirotaka Hachiya, Hisashi Kashim...