3136 search results - page 143 / 628 » Genetic programming theory |
134
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
104
click to vote
ENGL
2007
15 years 4 months ago
2007
The application of Genetic Algorithm (GA) to the optimization of gain of microstrip antenna, fabricated on ferrite substrate, biased externally by a steady magnetic field, is repor...
140
click to vote
APAL
2005
15 years 4 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
143
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
143
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...