Sciweavers

850 search results - page 143 / 170
» Constraint propagation on quadratic constraints
Sort
View
CVPR
2008
IEEE
14 years 9 months ago
Stereo reconstruction with mixed pixels using adaptive over-segmentation
We present an over-segmentation based, dense stereo algorithm that jointly estimates segmentation and depth. For mixed pixels on segment boundaries, the algorithm computes foregro...
Yuichi Taguchi, Bennett Wilburn, C. Lawrence Zitni...
CVPR
2008
IEEE
14 years 9 months ago
Coherent Laplacian 3-D protrusion segmentation
In this paper, an analysis of locally linear embedding (LLE) in the context of clustering is developed. As LLE conserves the local affine coordinates of points, shape protrusions ...
Fabio Cuzzolin, Diana Mateus, David Knossow, Edmon...
MICCAI
2009
Springer
14 years 8 months ago
Two-Tensor Tractography Using a Constrained Filter
We describe a technique to simultaneously estimate a weighted, positive-definite multi-tensor fiber model and perform tractography. Existing techniques estimate the local fiber ori...
James G. Malcolm, Martha Elizabeth Shenton, Yoge...
ICPR
2006
IEEE
14 years 8 months ago
Chaining Planar Homographies for Fast and Reliable 3D Plane Tracking
This paper addresses the problem of tracking a 3D plane over a sequence of images acquired by a free moving camera, a task that is of central importance to a wide variety of visio...
Manolis I. A. Lourakis, Antonis A. Argyros
DAC
2009
ACM
14 years 8 months ago
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
Himanshu Jain, Edmund M. Clarke