Sciweavers

3136 search results - page 148 / 628
» Genetic programming theory
Sort
View
ICEC
1994
107views more  ICEC 1994»
15 years 5 months ago
Genetic Algorithms and Discrete Event Systems: An Application
: In this paper we propose an approach for discrete event systems control optimization, based on the theory developed by Ramadge and Wonham and on the Limited Lookahead Policy stra...
Ricardo R. Gudwin, Fernando A. C. Gomide
ESOP
2008
Springer
15 years 6 months ago
A Realizability Model for Impredicative Hoare Type Theory
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksan...
BMCBI
2006
109views more  BMCBI 2006»
15 years 4 months ago
GPNN: Power studies and applications of a neural network method for detecting gene-gene interactions in studies of human disease
Background: The identification and characterization of genes that influence the risk of common, complex multifactorial disease primarily through interactions with other genes and ...
Alison A. Motsinger, Stephen L. Lee, George Mellic...
GECCO
2010
Springer
338views Optimization» more  GECCO 2010»
15 years 3 months ago
Multiobjective evolutionary community detection for dynamic networks
A multiobjective genetic algorithm for detecting communities in dynamic networks, i.e., networks that evolve over time, is proposed. The approach leverages on the concept of evolu...
Francesco Folino, Clara Pizzuti
JUCS
2006
135views more  JUCS 2006»
15 years 4 months ago
Automatic Programming Methodologies for Electronic Hardware Fault Monitoring
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...
Ajith Abraham, Crina Grosan