Sciweavers

8780 search results - page 187 / 1756
» On the Feasibility of Consistent Computations
Sort
View
ATAL
2011
Springer
14 years 7 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
ICPR
2006
IEEE
16 years 8 months ago
Multi-modal Sequential Monte Carlo for On-Line Hierarchical Graph Structure Estimation in Model-based Scene Interpretation
We present a computationally efficient, on-line graph structure estimation method for model-based scene interpretation. Different scenes have different hierarchical graphical mode...
In-So Kweon, Sungho Kim
ISVC
2009
Springer
16 years 1 months ago
Multi-target and Multi-camera Object Detection with Monte-Carlo Sampling
In this paper, we propose a general-purpose methodology for detecting multiple objects with known visual models from multiple views. The proposed method is based Monte-Carlo sampli...
Giorgio Panin, Sebastian Klose, Alois Knoll
PODC
2003
ACM
16 years 13 days ago
Automatic discovery of mutual exclusion algorithms
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
Yoah Bar-David, Gadi Taubenfeld
ECCV
2004
Springer
16 years 9 months ago
Temporal Factorization vs. Spatial Factorization
The traditional subspace-based approaches to segmentation (often referred to as multi-body factorization approaches) provide spatial clustering/segmentation by grouping together po...
Lihi Zelnik-Manor, Michal Irani