Sciweavers

789 search results - page 71 / 158
» Modeling and Analysis of Genetic Algorithm with Tournament S...
Sort
View
FORTE
2010
14 years 11 months ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 1 months ago
Comparing mathematical models 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 mathemat...
Christian Spieth, Nadine Hassis, Felix Streichert
JDCTA
2010
159views more  JDCTA 2010»
14 years 4 months ago
QSPR Study Of Mineral Crystal Lattice Energy Based On Gene Expression Programming
In this study, gene expression programming (GEP), a novel genetic algorithm, is used to develop quantitative model as potential screening mechanism for mineral crystal lattice ene...
Yuntao Zhang, Wenbin Dai, Zhengjun Cheng
100
Voted
JMM2
2008
124views more  JMM2 2008»
14 years 9 months ago
Integrated Feature Selection and Clustering for Taxonomic Problems within Fish Species Complexes
As computer and database technologies advance rapidly, biologists all over the world can share biologically meaningful data from images of specimens and use the data to classify th...
Huimin Chen, Henry L. Bart Jr., Shuqing Huang
GLOBECOM
2007
IEEE
15 years 4 months ago
Robust Optimization for Selecting NetFlow Points of Measurement in an IP Network
— NetFlow is a solution to make an in-depth traffic analysis possible in IP networks. Most of the telecommunication operators have already deployed it, or intend to do so, for n...
Mustapha Bouhtou, Olivier Klopfenstein