Sciweavers

9626 search results - page 124 / 1926
» Invariant Based Programming
Sort
View
180
Voted
DSSCV
2005
Springer
15 years 10 months ago
Using Top-Points as Interest Points for Image Matching
We consider the use of so-called top-points for object retrieval. These points are based on scale-space and catastrophe theory, and are invariant under gray value scaling and offse...
Bram Platel, Evguenia Balmachnova, Luc Florack, Fr...
ICPR
2002
IEEE
15 years 10 months ago
Tangent Distance Kernels for Support Vector Machines
When dealing with pattern recognition problems one encounters different types of a-priori knowledge. It is important to incorporate such knowledge into the classification method ...
Bernard Haasdonk, Daniel Keysers
FGR
2004
IEEE
154views Biometrics» more  FGR 2004»
15 years 8 months ago
Face Recognition under Varying Lighting Conditions Using Self Quotient Image
In this paper, we introduce the concept of SelfQuotient Image (SQI) for robust face recognition under varying lighting conditions. It is based on the Quotient Image method [4][5] ...
Haitao Wang, Stan Z. Li, Yangsheng Wang
ASM
2008
ASM
15 years 7 months ago
Model Checking Event-B by Encoding into Alloy
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
Paulo J. Matos, João Marques-Silva
PR
2007
170views more  PR 2007»
15 years 4 months ago
Conformal spherical representation of 3D genus-zero meshes
This paper describes an approach of representing 3D shape by using a set of invariant Spherical Harmonic (SH) coefficients after conformal mapping. Specifically, a genus-zero 3D ...
Hongdong Li, Richard I. Hartley