Sciweavers

3136 search results - page 225 / 628
» Genetic programming theory
Sort
View
DATE
2007
IEEE
98views Hardware» more  DATE 2007»
16 years 8 hour ago
Simulation-based reusable posynomial models for MOS transistor parameters
We present an algorithm to automatically design posynomial models for parameters of the MOS transistors using simulation data. These models improve the accuracy of the Geometric P...
Varun Aggarwal, Una-May O'Reilly
DAGSTUHL
2006
15 years 7 months ago
On Complexity of Optimized Crossover for Binary Representations
We consider the computational complexity of producing the best possible offspring in a crossover, given two solutions of the parents. The crossover operators are studied on the cla...
Anton V. Eremeev
HICSS
2003
IEEE
95views Biometrics» more  HICSS 2003»
15 years 11 months ago
An Interactive Software-Agent Smoking Cessation Program
Health communication researchers have shown that tailored health communication messages outperform nontailored materials. Non-tailored materials are typically “one-size-fits-all...
Todd Shimoda
IPPS
2002
IEEE
15 years 10 months ago
Program Composition in Isabelle/UNITY
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
Sidi O. Ehmety, Lawrence C. Paulson
SAC
2006
ACM
15 years 5 months ago
Challenges in the compilation of a domain specific language for dynamic programming
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
Robert Giegerich, Peter Steffen