3931 search results - page 576 / 787 » Separation logic and abstraction |
220
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
Abstract. We present a probabilistic algorithm for finding correspondences across multiple images. The algorithm runs in a distributed setting, where each camera is attached to a s...
230
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
Abstract. We investigate the influence of the mirror shape on the imaging quality of catadioptric sensors. For axially symmetrical mirrors we calculate the locations of the virtual...
198
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
Abstract. Successful multi-target tracking requires solving two problems - localize the targets and label their identity. An isolated target's identity can be unambiguously pr...
213
click to vote
ECCV
2002
Springer
16 years 9 months ago
2002
Springer
Abstract. We present a new approach to modeling and processing multimedia data. This approach is based on graphical models that combine audio and video variables. We demonstrate it...
325
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...