Sciweavers

1677 search results - page 85 / 336
» On the Completeness of Quantum Computation Models
Sort
View
ICCSA
2003
Springer
15 years 6 months ago
Urban Site Modeling from LiDAR
This paper presents a complete modeling system that extracts complex building structures with irregular shapes and surfaces. Our modeling approach is based on the use of airborne L...
Suya You, Jinhui Hu, Ulrich Neumann, Pamela Fox
MVA
1990
145views Computer Vision» more  MVA 1990»
15 years 2 months ago
Finding Line Segments by Surface Fitting to the Hough Transform
We describe a method based on the Hough transform to compute a set of parameters that completely describe line segments. By complete, we mean the description includes the endpoint...
Wayne Niblack, Tai Truong
AMAI
2010
Springer
14 years 11 months ago
Efficient approximate verification of B and Z models via symmetry markers
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
Michael Leuschel, Thierry Massart
ICCV
2009
IEEE
16 years 6 months ago
Modeling Deformable Objects from a Single Depth Camera
We propose a novel approach to reconstruct complete 3D deformable models over time by a single depth camera, provided that most parts of the models are observed by the camera at...
Miao Liao, Qing Zhang, Huamin Wang, Ruigang Yang, ...
CVPR
2001
IEEE
16 years 3 months ago
Tracking and Modeling Non-Rigid Objects with Rank Constraints
This paper presents a novel solution for flow-based tracking and 3D reconstruction of deforming objects in monocular image sequences. A non-rigid 3D object undergoing rotation and...
Lorenzo Torresani, Danny B. Yang, Eugene J. Alexan...