Sciweavers

11394 search results - page 684 / 2279
» Error-Correcting Data Structures
Sort
View
ICCV
2009
IEEE
17 years 13 days ago
A Probabilistic Framework for Partial Intrinsic Symmetries in Geometric Data
In this paper, we present a novel algorithm for partial intrinsic symmetry detection in 3D geometry. Unlike previous work, our algorithm is based on a conceptually simple and st...
Ruxandra Lasowski, Art Tevs, Hans-Peter Seidel, Mi...
ICIP
1998
IEEE
16 years 9 months ago
A Combinatorical Approach to Vector Tomography for Doppler Spectral Data
Velocity spectra of a flow can be made by ultrasound Doppler measurements. Using only part of the information in these spectra, it is possible to reconstruct the solenoid part and...
Kent Stråhlén
ATVA
2009
Springer
125views Hardware» more  ATVA 2009»
16 years 2 months ago
Automated Analysis of Data-Dependent Programs with Dynamic Memory
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederbe...
CRV
2008
IEEE
182views Robotics» more  CRV 2008»
16 years 1 months ago
Deforestation: Extracting 3D Bare-Earth Surface from Airborne LiDAR Data
Bare-earth identification selects points from a LiDAR point cloud so that they can be interpolated to form a representation of the ground surface from which structures, vegetatio...
Wei-Lwun Lu, James J. Little, Alla Sheffer, Hongbo...
INFOCOM
2008
IEEE
16 years 1 months ago
Minimum Cost Data Aggregation with Localized Processing for Statistical Inference
—The problem of minimum cost in-network fusion of measurements, collected from distributed sensors via multihop routing is considered. A designated fusion center performs an opti...
Animashree Anandkumar, Lang Tong, Ananthram Swami,...