Sciweavers

4880 search results - page 267 / 976
» Manuals as Structured Programs
Sort
View
139
Voted
EPS
1997
Springer
15 years 8 months ago
Performance-Enhanced Genetic Programming
Genetic Programming is increasing in popularity as the basis for a wide range of learning algorithms. However, the technique has to date only been successfully applied to modest t...
Chris Clack, Tina Yu
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
15 years 8 months ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen
DDECS
2006
IEEE
140views Hardware» more  DDECS 2006»
15 years 8 months ago
A Core Generator for Multi-ALU Processors Utilized in Genetic Parallel Programming
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
Zbysek Gajda
CSL
1995
Springer
15 years 8 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
EPS
1995
Springer
15 years 8 months ago
An Evolutionary Programming Approach to Self-Adaptation on Finite State Machines
Evolutionary programming was first offered as an alternative method for generating artificial intelligence. Experiments were offered in which finite state machines were used to...
Lawrence J. Fogel, Peter J. Angeline, David B. Fog...