2061 search results - page 265 / 413 » The continuous knapsack set |
126
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a path and a sampling line properly set in ...
160
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
130
click to vote
COLT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Considering one-dimensional continuum-armed bandit problems, we propose an improvement of an algorithm of Kleinberg and a new set of conditions which give rise to improve...
118
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
A survey of niching algorithms, based on 5 variants of derandomized Evolution Strategies (ES), is introduced. This set of niching algorithms, ranging from the very first derandom...
129
click to vote
ICIC
2007
Springer
15 years 10 months ago
2007
Springer
Electromagnetism-like algorithm (EM) is a population-based meta-heuristic which has been proposed to solve continuous problems effectively. In this paper, we present a new meta-h...