5417 search results - page 675 / 1084 » Simulation Optimization: Methods and Applications |
109
click to vote
EMMCVPR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
128
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
183
click to vote
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
133
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
104
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
During the last years the use of intelligent strategies for tuning Proportional-Integral-Derivative (PID) controllers has been growing. The evolutionary strategies have won an impo...