1051 search results - page 148 / 211 » Single Run Optimization Using the Reverse-Simulation Method |
174
click to vote
PSTV
1992
15 years 5 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
138
click to vote
JMLR
2006
15 years 4 months ago
2006
Support vector machines are trained by solving constrained quadratic optimization problems. This is usually done with an iterative decomposition algorithm operating on a small wor...
146
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
134
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— This paper describes a new algorithm for cooperative and persistent simultaneous localization and mapping (SLAM) using multiple robots. Recent pose graph representation...
139
Voted
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
Most methods for object class segmentation are formulated as a labelling problem over a single choice of quantisation of an image space - pixels, segments or group of segments. It...