Sciweavers

44 search results - page 3 / 9
» A learning-based framework for depth ordering
Sort
View
AUSAI
2010
Springer
14 years 8 months ago
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search
Abstract. Planning-specific heuristics for SAT have recently been shown to produce planners that match best earlier ones that use other search methods, including the until now dom...
Jussi Rintanen
ECCV
2008
Springer
15 years 11 months ago
Using Multiple Hypotheses to Improve Depth-Maps for Multi-View Stereo
We propose an algorithm to improve the quality of depth-maps used for Multi-View Stereo (MVS). Many existing MVS techniques make use of a two stage approach which estimates depth-m...
Carlos Hernández, George Vogiatzis, Neill D...
ICCV
2011
IEEE
13 years 9 months ago
A Data-Driven Approach for Real-Time Full Body Pose Reconstruction from a Depth Camera
In recent years, depth cameras have become a widely available sensor type that captures depth images at realtime frame rates. Even though recent approaches have shown that 3D pose...
Andreas Baak, Meinard Muller, Gaurav Bharaj, Hans-...
DAGM
2005
Springer
15 years 3 months ago
3D Surface Reconstruction by Combination of Photopolarimetry and Depth from Defocus
Abstract. In this paper we present a novel image-based 3D surface reconstruction technique that incorporates reflectance, polarisation, and defocus information into a variational ...
Pablo d'Angelo, Christian Wöhler
LICS
2012
IEEE
12 years 12 months ago
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
Dmitriy Traytel, Andrei Popescu, Jasmin Christian ...