5331 search results - page 668 / 1067 » Algebraic Methods for Optimization Problems |
162
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Metaheuristics such as Estimation of Distribution Algorithms and the Cross-Entropy method use probabilistic modelling and inference to generate candidate solutions in optimizat...
158
click to vote
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
142
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
The global search properties of heuristic search algorithms are not well understood. In this paper, we introduce a new metric, mobility, that quantifies the dispersion of local o...
168
click to vote
DAGM
2004
Springer
16 years 7 days ago
2004
Springer
A fundamental problem in image recognition is to evaluate the similarity of two images. This can be done by searching for the best pixel-to-pixel matching taking into account suita...
143
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
Abstract-- For embedded systems where neither energy nor reliability can be easily sacrificed, we present an energy efficient soft error protection scheme for register files (RF). ...