14121 search results - page 512 / 2825 » Interval Computations in Computer Vision |
166
click to vote
ISAAC
1999
Springer
15 years 11 months ago
1999
Springer
This paper considers recon gurations of polygons, where each polygon edge is a rigid link, no two of which can cross during the motion. We prove that one can recon gure any monoton...
150
click to vote
IPCO
2004
15 years 8 months ago
2004
We study the convex hull of the feasible set of the semi-continuous knapsack problem, in which the variables belong to the union of two intervals. Besides being important in its o...
164
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
159
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
Multiband frequency domain synthesis consists in the minimization of a finite family of closed-loop transfer functions on prescribed frequency intervals. This is an algorithmical...
194
click to vote
SCHEDULING
2010
15 years 5 months ago
2010
The “ Priority Algorithm” is a model of computation introduced by Borodin, Nielsen and Rackoff [BNR03] which formulates a wide class of greedy algorithms. For an arbitrary se...