Sciweavers

16404 search results - page 2682 / 3281
» A set coverage problem
Sort
View
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 11 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
ICB
2007
Springer
142views Biometrics» more  ICB 2007»
15 years 11 months ago
Face Recognition by Discriminant Analysis with Gabor Tensor Representation
Abstract. This paper proposes a novel face recognition method based on discriminant analysis with Gabor tensor representation. Although the Gabor face representation has achieved g...
Zhen Lei, Rufeng Chu, Ran He, ShengCai Liao, Stan ...
GLOBECOM
2009
IEEE
15 years 11 months ago
Restarting Particle Filters: An Approach to Improve the Performance of Dynamic Indoor Localization
Particle filters have been found to be effective in tracking mobile targets in indoor environments. One frequently encountered problem in these settings occurs when the target'...
Begumhan Turgut, Richard P. Martin
3DPVT
2004
IEEE
185views Visualization» more  3DPVT 2004»
15 years 11 months ago
Adaptive Space Carving
In this work, we present an adaptive space carving method for scene reconstruction from a set of images obtained from low cost calibrated webcams. Our method uses a combination of...
Anselmo Antunes Montenegro, Paulo Cezar Pinto Carv...
ICPR
2010
IEEE
15 years 11 months ago
PILL-ID: Matching and Retrieval of Drug Pill Imprint Images
—Automatic illicit drug pill matching and retrieval is becoming an important problem due to an increase in the number of tablet type illicit drugs being circulated in our society...
Young-Bum Lee, Unsang Park, Anil Jain
« Prev « First page 2682 / 3281 Last » Next »