Sciweavers

3233 search results - page 94 / 647
» Validation Method for Intelligent Systems
Sort
View
IAT
2009
IEEE
15 years 9 months ago
Methodologies for Self-Organising Systems: A SPEM Approach
This article summarises five relevant methods for developing self-organising multi-agent systems. It identifies their most promising aspects and provides a description of each o...
Mariachiara Puviani, Giovanna Di Marzo Serugendo, ...
324
Voted
BIB
2011
14 years 9 months ago
Protein mass spectra data analysis for clinical biomarker discovery: a global review
The identification of new diagnostic or prognostic biomarkers is one of the main aims of clinical cancer research. In recent years there has been a growing interest in using high ...
Pascal Roy, Caroline Truntzer, Delphine Maucort-Bo...
JAPLL
2006
109views more  JAPLL 2006»
15 years 2 months ago
Deduction chains for common knowledge
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
Mathis Kretz, Thomas Studer
108
Voted
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 8 months ago
An artificial immune network for multimodal function optimization on dynamic environments
Multimodal optimization algorithms inspired by the immune system are generally characterized by a dynamic control of the population size and by diversity maintenance along the sea...
Fabrício Olivetti de França, Fernand...
143
Voted
CP
2010
Springer
15 years 1 months ago
A Box-Consistency Contractor Based on Extremal Functions
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
Gilles Trombettoni, Yves Papegay, Gilles Chabert, ...