2061 search results - page 265 / 413 » The continuous knapsack set |
ACCV
2007
Springer
15 years 4 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 ...
102
Voted
ATVA
2007
Springer
15 years 4 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...
COLT
2007
Springer
15 years 4 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...
73
Voted
GECCO
2007
Springer
15 years 4 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...
ICIC
2007
Springer
15 years 4 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...