2609 search results - page 21 / 522 » Models for Global Constraint Applications |
COMJ
2010
14 years 7 months ago
2010
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
105
click to vote
ICIP
2000
IEEE
15 years 1 months ago
2000
IEEE
In this contribution, we present an algorithm for lowcomplexity global motion estimation, that works with block-coded video (e.g. MPEG-2). A superimposed global motion model is fi...
101
Voted
CP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
89
Voted
IVC
2007
14 years 9 months ago
2007
Establishing the correct correspondence between features in an image set remains a challenging problem amongst computer vision researchers. In fact, the combinatorial nature of fe...