Sciweavers

5451 search results - page 939 / 1091
» Typed Operational Semantics
Sort
View
118
Voted
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 7 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
125
Voted
GECCO
2006
Springer
175views Optimization» more  GECCO 2006»
15 years 7 months ago
A comparative study of differential evolution variants for global optimization
In this paper, we present an empirical comparison of some Differential Evolution variants to solve global optimization problems. The aim is to identify which one of them is more s...
Efrén Mezura-Montes, Jesús Vel&aacut...
143
Voted
GECCO
2006
Springer
220views Optimization» more  GECCO 2006»
15 years 7 months ago
Comparing evolutionary algorithms on the problem of network inference
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...
Christian Spieth, Rene Worzischek, Felix Streicher...
135
Voted
GECCO
2006
Springer
161views Optimization» more  GECCO 2006»
15 years 7 months ago
The LEM3 implementation of learnable evolution model and its testing on complex function optimization problems
1 Learnable Evolution Model (LEM) is a form of non-Darwinian evolutionary computation that employs machine learning to guide evolutionary processes. Its main novelty are new type o...
Janusz Wojtusiak, Ryszard S. Michalski
135
Voted
CGI
2001
IEEE
15 years 7 months ago
Javra: A Simple, Extensible Java Package for VRML
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
Huub van de Wetering