Sciweavers

37 search results - page 4 / 8
» A Technique to Enhance Localization in the Presence of NLOS ...
Sort
View
MEMOCODE
2008
IEEE
13 years 11 months ago
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
Radu Mateescu, Emilie Oudot
MVA
2007
196views Computer Vision» more  MVA 2007»
13 years 6 months ago
Fingerprint Verification Using Perturbation Method
This paper describes a new, powerful technique of fingerprint verification based on a perturbation method. The proposed method consists of four parts. The first part performs loca...
Satoshi Otaka, Yoshihisa Nishiyama, Takahiro Hatan...
ICIP
2006
IEEE
14 years 7 months ago
Modulation Domain Features for Discriminating Infrared Targets and Backgrounds
For the first time, we compute modulation domain features for infrared targets and backgrounds, including dominant modulations that characterize the local texture contrast, orient...
Chuong T. Nguyen, Joseph P. Havlicek
SGP
2007
13 years 7 months ago
Symmetry-enhanced remeshing of surfaces
While existing methods for 3D surface approximation use local geometric properties, we propose that more intuitive results can be obtained by considering global shape properties s...
Joshua Podolak, Aleksey Golovinskiy, Szymon Rusink...
CVGIP
2007
136views more  CVGIP 2007»
13 years 5 months ago
Contour-based surface reconstruction using MPU implicit models
This paper presents a technique for creating a smooth, closed surface from a set of 2D contours, which have been extracted from a 3D scan. The technique interprets the pixels that...
Ilya Braude, Jeffrey Marker, Ken Museth, Jonathan ...