Sciweavers

3166 search results - page 265 / 634
» Translation By Structural Correspondences
Sort
View
OTM
2007
Springer
16 years 25 days ago
Processing Location-Dependent Queries with Location Granules
Existing approaches for the processing of location-dependent queries implicitly assume location data expressed at maximum precision (e.g., GPS). However, there exist applications w...
Sergio Ilarri, Eduardo Mena, Carlos Bobed
ICDE
2006
IEEE
115views Database» more  ICDE 2006»
16 years 22 days ago
Integration Workbench: Integrating Schema Integration Tools
A key aspect of any data integration endeavor is establishing a transformation that translates instances of one or more source schemata into instances of a target schema. This sch...
Peter Mork, Arnon Rosenthal, Leonard J. Seligman, ...
IROS
2006
IEEE
83views Robotics» more  IROS 2006»
16 years 22 days ago
Using Orthogonal Surface Directions for Autonomous 3D-Exploration of Indoor Environments
— This paper proposes a new tracking algorithm within a 3D-SLAM framework that takes segmented range images as observations. The framework has two layers: the local layer tracks ...
Peter Kohlhepp, Georg Bretthauer, Marcus Walther, ...
ACL2
2006
ACM
16 years 20 days ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis
3DIM
2005
IEEE
16 years 10 days ago
Simultaneous Determination of Registration and Deformation Parameters among 3D Range Images
Conventional registration algorithms are mostly concerned with rigid-body transformation parameters between a pair of 3D range images. Our proposed framework aims to determine, in...
Tomohito Masuda, Yuichiro Hirota, Katsushi Ikeuchi...