Sciweavers

3678 search results - page 515 / 736
» On the Stable Paths Problem
Sort
View
MVA
2002
119views Computer Vision» more  MVA 2002»
15 years 4 months ago
A Cooperative Method of SFM and Stereo for Motion and Depth Extraction
Stereo is a useful technique for obtaining depth information from images. However, it is required that the baseline length between two cameras should be large to increase depth pr...
Jae-Hean Kim, Myung Jin Chung
TCAD
2002
121views more  TCAD 2002»
15 years 4 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
PVLDB
2010
110views more  PVLDB 2010»
15 years 3 months ago
Graph Homomorphism Revisited for Graph Matching
In a variety of emerging applications one needs to decide whether a graph G matches another Gp, i.e., whether G has a topological structure similar to that of Gp. The traditional ...
Wenfei Fan, Jianzhong Li, Shuai Ma, Hongzhi Wang, ...
IWOCA
2010
Springer
232views Algorithms» more  IWOCA 2010»
14 years 11 months ago
Computing Role Assignments of Proper Interval Graphs in Polynomial Time
A homomorphism from a graph G to a graph R is locally surjective if its restriction to the neighborhood of each vertex of G is surjective. Such a homomorphism is also called an R-r...
Pinar Heggernes, Pim van 't Hof, Daniël Paulu...
ICIP
2003
IEEE
16 years 6 months ago
A stokes flow boundary integral measurement of tubular structure cross sections in two dimensions
In this paper we will develop a method to determine cross sections of arbitrary two-dimensional tubular structures, which are allowed to branch, by means of a Stokes flow based bo...
Marc Niethammer, Eric Pichon, Allen Tannenbaum, Pe...