Sciweavers

4255 search results - page 749 / 851
» On Learning Boolean Functions
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 2 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
FPL
2007
Springer
106views Hardware» more  FPL 2007»
14 years 2 months ago
RAMP Blue: A Message-Passing Manycore System in FPGAs
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
Alex Krasnov, Andrew Schultz, John Wawrzynek, Greg...
GECCO
2007
Springer
209views Optimization» more  GECCO 2007»
14 years 2 months ago
Kernel based automatic clustering using modified particle swarm optimization algorithm
This paper introduces a method for clustering complex and linearly non-separable datasets, without any prior knowledge of the number of naturally occurring clusters. The proposed ...
Ajith Abraham, Swagatam Das, Amit Konar
GECCO
2007
Springer
200views Optimization» more  GECCO 2007»
14 years 2 months ago
Performance analysis of niching algorithms based on derandomized-ES variants
A survey of niching algorithms, based on 5 variants of derandomized Evolution Strategies (ES), is introduced. This set of niching algorithms, ranging from the very first derandom...
Ofer M. Shir, Thomas Bäck
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
14 years 2 months ago
Choice and development
The process of development creates a phenotype from one or more genotypes of an individual through interaction with an environment. The opportunity for development to choose a phe...
Arthur M. Farley