9787 search results - page 653 / 1958 » A Utile Function Optimizer |
183
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
193
click to vote
WSC
2008
15 years 9 months ago
2008
The performance of Kriging interpolation for enhancement, smoothing, reconstruction and optimization of a test data set is investigated. Specifically, the ordinary twodimensional ...
190
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
237
Voted
CSL
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
174
click to vote
ESA
2008
Springer
15 years 9 months ago
2008
Springer
The focus is on black-box optimization of a function f : RN R given as a black box, i. e. an oracle for f-evaluations. This is commonly called direct search, and in fact, most meth...