Sciweavers

983 search results - page 110 / 197
» Circuit Complexity and Multiplicative Complexity of Boolean ...
Sort
View
GECCO
2005
Springer
143views Optimization» more  GECCO 2005»
14 years 3 months ago
Niching in evolution strategies
Evolutionary Algorithms (EAs), popular search methods for solving search and optimization problems, are known for successful and fast location of single optimal solutions. However,...
Ofer M. Shir, Thomas Bäck
ECCV
2006
Springer
14 years 1 months ago
Human Pose Tracking Using Multi-level Structured Models
Tracking body poses of multiple persons in monocular video is a challenging problem due to the high dimensionality of the state space and issues such as inter-occlusion of the pers...
Mun Wai Lee, Ramakant Nevatia
FASE
2000
Springer
14 years 1 months ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
13 years 11 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 8 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...