1830 search results - page 239 / 366 » Workshop on Graph Computation Models |
181
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form (CNF). Our algorithm is based on the detection of strong backdoo...
200
Voted
IJCV
2008
15 years 6 months ago
2008
This paper describes two algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contr...
160
click to vote
ECEASST
2010
15 years 1 months ago
2010
In recent years, model-driven approaches and processes have1 established themselves as pragmatic and feasible solutions with tangible2 advantages. Transformations play a central ro...
204
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We propose a novel formulation of stereo matching that considers each pixel as a feature vector. Under this view, matching two or more images can be cast as matching point clouds i...
181
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a framework for detecting and tracking multiple interacting objects, while explicitly handling the dual problems of fragmentation (an object may be broken into several ...