Sciweavers

1773 search results - page 273 / 355
» Depth from Diffusion
Sort
View
FASE
2012
Springer
13 years 8 months ago
Cohesive and Isolated Development with Branches
The adoption of distributed version control (DVC), such as Git and Mercurial, in open-source software (OSS) projects has been explosive. Why is this and how are projects using DVC?...
Earl T. Barr, Christian Bird, Peter C. Rigby, Abra...
CVPR
2012
IEEE
13 years 3 months ago
RGB-(D) scene labeling: Features and algorithms
Scene labeling research has mostly focused on outdoor scenes, leaving the harder case of indoor scenes poorly understood. Microsoft Kinect dramatically changed the landscape, show...
Xiaofeng Ren, Liefeng Bo, Dieter Fox
CVPR
2012
IEEE
13 years 3 months ago
SURFing the point clouds: Selective 3D spatial pyramids for category-level object recognition
This paper proposes a novel approach to recognize object categories in point clouds. By quantizing 3D SURF local descriptors, computed on partial 3D shapes extracted from the poin...
Carolina Redondo-Cabrera, Roberto Javier Ló...
LICS
2012
IEEE
13 years 3 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 ...
EUROSSC
2006
Springer
15 years 4 months ago
Towards Hovering Information
This paper introduces a new concept of information that can exist in a mobile environment with no fixed infrastructure and centralized servers, which we call the Hovering Informati...
Alfredo A. Villalba Castro, Dimitri Konstantas