4591 search results - page 92 / 919 » The Global Computer |
134
click to vote
LICS
2010
IEEE
15 years 24 days ago
2010
IEEE
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
101
click to vote
FSTTCS
2010
Springer
15 years 11 days 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...
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Large-scale global optimization (LSGO) is a very important and challenging task in optimization domain, which is embedded in many scientific and engineering applications. In this p...
104
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Most algorithms for real-time tracking of deformable shapes provide sub-optimal solutions for a suitable energy minimization task: The search space is typically considered too lar...
130
Voted
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. In this paper we present a new approach for establishing correspondences between sparse image features related by an unknown non-rigid mapping and corrupted by clutter an...