Sciweavers

3047 search results - page 349 / 610
» Aggregation functions: Means
Sort
View
EH
1999
IEEE
140views Hardware» more  EH 1999»
15 years 8 months ago
On the Filtering Properties of Evolved Gate Arrays
A small gate array is evolved extrinsically to carry out a low pass filtering task defined over fifteen different frequencies. The circuit is evolved by assessing its response to ...
Julian F. Miller
POPL
1999
ACM
15 years 8 months ago
Constraint Systems for Useless Variable Elimination
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
Mitchell Wand, Igor Siveroni
GECCO
1999
Springer
142views Optimization» more  GECCO 1999»
15 years 8 months ago
Towards Byte Code Genetic Programming
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...
Brad Harvey, James A. Foster, Deborah A. Frincke
TPHOL
1998
IEEE
15 years 8 months ago
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
Wolfgang Naraschewski, Markus Wenzel
SAC
1998
ACM
15 years 8 months ago
A specification language for the WIDE workflow model
This paper presents a workflow specification language developed in the WIDE project. The language provides a rich organisation model, an information model including presentation d...
Daniel K. C. Chan, Jochem Vonk, Gabriel Sanchez, P...