Sciweavers

845 search results - page 165 / 169
» Parallel Exact Inference
Sort
View
DC
2011
13 years 9 months ago
Distributed algorithms for covering, packing and maximum weighted matching
Abstract This paper gives poly-logarithmic-round, distributed δ-approximation algorithms for covering problems with submodular cost and monotone covering constraints (Submodular-c...
Christos Koufogiannakis, Neal E. Young
ICCV
2009
IEEE
16 years 2 months ago
A Latent Model of Discriminative Aspect
Recognition using appearance features is confounded by phenomena that cause images of the same object to look different, or images of different objects to look the same. This ma...
Ali Farhadi, Mostafa Kamali Tabrizi, Ian Endres, D...
ECCV
2006
Springer
15 years 11 months ago
Figure/Ground Assignment in Natural Images
Abstract. Figure/ground assignment is a key step in perceptual organization which assigns contours to one of the two abutting regions, providing information about occlusion and all...
Xiaofeng Ren, Charless Fowlkes, Jitendra Malik
73
Voted
ECCV
2006
Springer
15 years 11 months ago
Enhancing the Point Feature Tracker by Adaptive Modelling of the Feature Support
We consider the problem of tracking a given set of point features over large sequences of image frames. A classic procedure for monitoring the tracking quality consists in requirin...
Anthony Remazeilles, François Chaumette, Si...
CAV
2009
Springer
206views Hardware» more  CAV 2009»
15 years 10 months ago
D-Finder: A Tool for Compositional Deadlock Detection and Verification
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, ...