Sciweavers

866 search results - page 87 / 174
» A Formal Investigation of
Sort
View
GECCO
2003
Springer
14 years 3 months ago
Selection Intensity in Asynchronous Cellular Evolutionary Algorithms
Abstract. This paper presents a theoretical study of the selection pressure in asynchronous cellular evolutionary algorithms (cEAs). This work is motivated by the search for a gene...
Mario Giacobini, Enrique Alba, Marco Tomassini
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
14 years 2 months ago
Consensus on homogeneous manifolds
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
Alain Sarlette, Rodolphe Sepulchre
AI
2001
Springer
14 years 2 months ago
Learning Bayesian Belief Network Classifiers: Algorithms and System
Abstract. This paper investigates the methods for learning predictive classifiers based on Bayesian belief networks (BN) – primarily unrestricted Bayesian networks and Bayesian m...
Jie Cheng, Russell Greiner
CIKM
2001
Springer
14 years 2 months ago
Automatic Query Expansion Based on Divergence
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...
D. Cai, C. J. van Rijsbergen, Joemon M. Jose
HYBRID
2001
Springer
14 years 2 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren