6045 search results - page 78 / 1209 » Computable Linearizations of Well-partial-orderings |
FCT
2003
Springer
14 years 1 months ago
2003
Springer
: Proving integrality gaps for linear relaxations of NP optimization problems is a difficult task and usually undertaken on a case-by-case basis. We initiate a more systematic app...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
We present a new technique that improves upon existing structure from motion (SFM) methods. We propose a SFM algorithm that is both recursive and optimal. Our method incorporates ...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
We describe the principles of building a moving vision platform (a Rig) that once calibrated can thereon self-adjust to changes in its internal configuration and maintain an Eucli...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
2D projection imaging is a widely used procedure for vessel visualization. For the subsequent analysis of the vasculature, precise measurements of e.g. vessel area, vessel length ...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...