Sciweavers

10935 search results - page 161 / 2187
» Neural Programming Language
Sort
View
GECCO
2007
Springer
186views Optimization» more  GECCO 2007»
16 years 15 days ago
Evolving controllers for simulated car racing using object oriented genetic programming
Several different controller representations are compared on a non-trivial problem in simulated car racing, with respect to learning speed and final fitness. The controller rep...
Alexandros Agapitos, Julian Togelius, Simon M. Luc...
APIN
1999
110views more  APIN 1999»
15 years 6 months ago
The Connectionist Inductive Learning and Logic Programming System
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
Artur S. d'Avila Garcez, Gerson Zaverucha
POPL
2008
ACM
16 years 6 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman
242
Voted
POPL
2007
ACM
16 years 6 months ago
Secure implementations of typed channel abstractions
Michele Bugliesi, Marco Giunti