Sciweavers

2914 search results - page 251 / 583
» Optimization by Stochastic Continuation
Sort
View
CLIMA
2011
14 years 6 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ICIP
1998
IEEE
16 years 8 months ago
An Efficient Mutual Information Optimizer for Multiresolution Image Registration
We propose a new optimizer in the context of multimodal image registration. The optimized criterion is the mutual information between the images to align. This criterion requires ...
Michael Unser, Philippe Thévenaz
ISQED
2009
IEEE
112views Hardware» more  ISQED 2009»
16 years 1 months ago
Estimation and optimization of reliability of noisy digital circuits
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally ef...
Satish Sivaswamy, Kia Bazargan, Marc D. Riedel
LION
2010
Springer
239views Optimization» more  LION 2010»
15 years 10 months ago
The EvA2 Optimization Framework
Abstract. We present EvA2, a comprehensive metaheuristic optimization framework with emphasis on Evolutionary Algorithms. It presents a modular structure of interfaces and abstract...
Marcel Kronfeld, Hannes Planatscher, Andreas Zell
SETN
2010
Springer
15 years 10 months ago
Genetic Algorithm Solution to Optimal Sizing Problem of Small Autonomous Hybrid Power Systems
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
Yiannis A. Katsigiannis, Pavlos S. Georgilakis, Em...