2333 search results - page 121 / 467 » Recursive Computational Depth |
WDAG
2001
Springer
14 years 1 months ago
2001
Springer
We provide effective (i.e., recursive) characterizations of the relations that can be computed on networks where all processors use the same algorithm, start from the same state, a...
MPC
1995
Springer
14 years 26 days ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
Epipolar image analysis is a robust method for 3D scene depth reconstruction that uses all available views of an image sequence simultaneously. It is restricted to horizontal, lin...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
In this paper two efficient unsupervised video object segmentation approaches are proposed and then extensively compared in terms of computational cost and quality of segmentation...
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper introduces a novel method for surface reconstruction using the depth discontinuity information captured by a multi-flash camera while the object moves along a known tr...