Search Sciweavers | Sciweavers

2205 search results - page 30 / 441

» Mutation Operators for Specifications

click to vote

CORR
2004
Springer

108views Education» more CORR 2004»

Efficiency Enhancement of Probabilistic Model Building Genetic Algorithms

13 years 7 months ago

Download www.cs.bham.ac.uk

Abstract. This paper presents two different efficiency-enhancement techniques for probabilistic model building genetic algorithms. The first technique proposes the use of a mutatio...

Kumara Sastry, David E. Goldberg, Martin Pelikan

claim paper

Read More »

click to vote

NMA
2010

156views Numerical Methods» more NMA 2010»

Genetic Algorithms Based Parameter Identification of Yeast Fed-Batch Cultivation

13 years 5 months ago

Download www.iit.bas.bg

Different kinds of genetic algorithms have been investigated for a parameter identification of a fermentation process. Altogether eight realizations of genetic algorithms have been...

Maria Angelova, Stoyan Tzonkov, Tania Pencheva

claim paper

Read More »

click to vote

ASIAN
1998
Springer

99views Algorithms» more ASIAN 1998»

Eventuality in LOTOS with a Disjunction Operator

14 years 10 hour ago

Download staff.aist.go.jp

LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

claim paper

Read More »

click to vote

EDOC
2006
IEEE

113views Distributed And Parallel Com...» more EDOC 2006»

On the Execution of ODP Computational Specifications

14 years 1 months ago

Download wodpec2006.telin.nl

José Raúl Romero, Antonio Vallecillo

claim paper

Read More »