5263 search results - page 176 / 1053 » Open Constraint Optimization |
222
click to vote
ISCSCT
2008
IEEE
15 years 10 months ago
2008
IEEE
—To rapidly and accurately search the corresponding points along scan-lines, rectification of stereo pairs are performed so that corresponding epipolar lines are parallel to the ...
103
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we study the advantages of multi-user concurrent transmission, measured using the multi-user gain (MUG), in multiple-input multiple-output (MIMO) systems with rat...
140
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
136
click to vote
VMCAI
2007
Springer
15 years 10 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...
146
click to vote
WAOA
2007
Springer
15 years 10 months ago
2007
Springer
We continue the study of bin packing with splittable items and cardinality constraints. In this problem, a set of items must be packed into as few bins as possible. Items may be s...