Sciweavers

1554 search results - page 92 / 311
» cases 2003
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
GECCO
2003
Springer
15 years 3 months ago
Coarse-Graining in Genetic Algorithms: Some Issues and Examples
Following the work of Stephens and coworkers on the coarse-grained dynamics of genetic systems, we work towards a possible generalisation in the context of genetic algorithms, givi...
Andrés Aguilar Contreras, Jonathan E. Rowe,...
GECCO
2003
Springer
160views Optimization» more  GECCO 2003»
15 years 3 months ago
Hybridization of Estimation of Distribution Algorithms with a Repair Method for Solving Constraint Satisfaction Problems
Estimation of Distribution Algorithms (EDAs) are new promising methods in the field of genetic and evolutionary algorithms. In the case of conventional Genetic and Evolutionary Al...
Hisashi Handa
ICCS
2003
Springer
15 years 3 months ago
Invariant Manifolds and Grobman-Hartman Theorem for Equations with Degenerate Operator at the Derivative
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
Bülent Karasözen, Irina Konopleva, Boris...
ICCSA
2003
Springer
15 years 3 months ago
Uniform Approximations for Transcendental Functions
A heuristic method to construct uniform approximations to analytic transcendental functions is developed as a generalization of the Hermite-Pad´e interpolation to infinite interv...
Serge Winitzki