Sciweavers

11784 search results - page 55 / 2357
» Interpolation for data structures
Sort
View
ISBI
2004
IEEE
15 years 12 months ago
Fourier-Based Forward and Back-Projectors in Iterative Fan-Beam Tomographic Image Reconstruction
Fourier-based forward and back-projection methods have the potential to reduce computation demands in iterative tomographic image reconstruction. Interpolation errors are a limita...
Yingying Zhang, Jeffrey A. Fessler
MVA
2010
296views Computer Vision» more  MVA 2010»
14 years 9 months ago
Non-contact 3D acquisition system based on stereo vision and laser triangulation
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...
João L. Vilaça, Jaime C. Fonseca, An...
98
Voted
APLAS
2011
ACM
13 years 11 months ago
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
NAACL
2003
15 years 15 days ago
Getting More Mileage from Web Text Sources for Conversational Speech Language Modeling using Class-Dependent Mixtures
Sources of training data suitable for language modeling of conversational speech are limited. In this paper, we show how training data can be supplemented with text from the web ...
Ivan Bulyko, Mari Ostendorf, Andreas Stolcke
3DGIS
2006
Springer
15 years 4 months ago
Reconstruction of Complex Buildings using LIDAR and 2D Maps
The extraction of the building models from remote-sensed data is an important work in the geographic information systems. This investigation describes an approach to integrate LIDA...
Tee-Ann Teo, Jiann-Yeou Rau, Liang-Chien Chen, Jin...