Sciweavers

1722 search results - page 45 / 345
» Guided Genetic Programming
Sort
View
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
14 years 1 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
EPS
1997
Springer
13 years 12 months ago
Design of a High-Gain Operational Amplifier and Other Circuits by Means of Genetic Programming
: This paper demonstrates that a design for a low-distortion high-gain 96 decibel (64,860 -to-1) operational amplifier (including both circuit topology and component sizing) can be...
John R. Koza, David Andre, Forrest H. Bennett III,...
WCE
2007
13 years 9 months ago
Autolanding of Commercial Aircrafts by Genetic Programming
—The genetic programming approach is applied to the problem of aircraft autolanding, subject to wind disturbances. The derived control law is tested successfully, using a lineari...
Dimitris C. Dracopoulos
GECCO
2006
Springer
218views Optimization» more  GECCO 2006»
13 years 11 months ago
Genetic programming with primitive recursion
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
Stefan Kahrs
ICSE
2011
IEEE-ACM
12 years 11 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...