1835 search results - page 168 / 367 » Functional Programming of Behavior-Based Systems |
125
Voted
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
154
Voted
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
237
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
143
Voted
AAAI
1994
15 years 6 months ago
1994
Neural networks were evolved through genetic algorithms to focus minimax search in the game of Othello. At each level of the search tree, the focus networks decide which moves are...
138
click to vote
EUROITV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...