Sciweavers

522 search results - page 90 / 105
» Automatic Capture of Significant Points in a Computer Based ...
Sort
View
SIBGRAPI
2003
IEEE
15 years 2 months ago
A Hole-Filling Strategy for Reconstruction of Smooth Surfaces in Range Images
Creating models of real scenes is a complex task for which the use of traditional modelling techniques is inappropriate. For this task, laser rangefinders are frequently used to s...
Jianning Wang, Manuel M. Oliveira
JMLR
2010
105views more  JMLR 2010»
14 years 4 months ago
Collective Inference for Extraction MRFs Coupled with Symmetric Clique Potentials
Many structured information extraction tasks employ collective graphical models that capture interinstance associativity by coupling them with various clique potentials. We propos...
Rahul Gupta, Sunita Sarawagi, Ajit A. Diwan
CAV
2008
Springer
122views Hardware» more  CAV 2008»
14 years 11 months ago
Thread Quantification for Concurrent Shape Analysis
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Rama...
IUI
2004
ACM
15 years 2 months ago
Robust sketched symbol fragmentation using templates
Analysis of sketched digital ink is often aided by the division of stroke points into perceptually-salient fragments based on geometric features. Fragmentation has many applicatio...
Heloise Hwawen Hse, Michael Shilman, A. Richard Ne...
187
Voted
VLDB
2006
ACM
171views Database» more  VLDB 2006»
15 years 9 months ago
Grid-partition index: a hybrid method for nearest-neighbor queries in wireless location-based services
Abstract Traditional nearest-neighbor (NN) search is based on two basic indexing approaches: object-based indexing and solution-based indexing. The former is constructed based on t...
Baihua Zheng, Jianliang Xu, Wang-Chien Lee, Dik Lu...