Sciweavers

3233 search results - page 94 / 647
» Validation Method for Intelligent Systems
Sort
View
IAT
2009
IEEE
16 years 1 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, ...
BIB
2011
15 years 1 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 6 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
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 11 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...
CP
2010
Springer
15 years 4 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, ...