Sciweavers

3744 search results - page 452 / 749
» Shape from Symmetry
Sort
View
VMCAI
2010
Springer
16 years 4 months ago
Invariant and Type Inference for Matrices
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
Thomas A. Henzinger, Thibaud Hottelier, Laura Kov&...
ICDCS
2009
IEEE
16 years 3 months ago
Distributed Processing of Spatial Alarms: A Safe Region-Based Approach
Spatial alarms are considered as one of the basic capabilities in future mobile computing systems for enabling personalization of location-based services. In this paper, we propos...
Bhuvan Bamba, Ling Liu, Arun Iyengar, Philip S. Yu
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
Multi-Scale Geometry Interpolation
Interpolating vertex positions among triangle meshes with identical vertex-edge graphs is a fundamental part of many geometric modelling systems. Linear vertex interpolation is ro...
Tim Winkler, J. Drieseberg, Marc Alexa, Kai Horman...
ICRA
2009
IEEE
166views Robotics» more  ICRA 2009»
16 years 1 months ago
Laser-based geometric modeling using cooperative multiple mobile robots
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
Ryo Kurazume, Yusuke Noda, Yukihiro Tobata, Kai Li...
CVPR
2008
IEEE
16 years 1 months ago
Bayesian tactile face
Computer users with visual impairment cannot access the rich graphical contents in print or digital media unless relying on visual-to-tactile conversion, which is done primarily b...
Zheshen Wang, Xinyu Xu, Baoxin Li