17967 search results - page 401 / 3594 » Functional timing optimization |
188
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
This paper outlines a radial basis function neural network approach to predict the failures in overhead distribution lines of power delivery systems. The RBF networks are trained ...
201
click to vote
ISNN
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we propose a radial basis function (RBF) neural network for nonlinear time-invariant channel equalizer. The RBF network model has a three-layer structure which is com...
173
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
190
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
184
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Pro...