5550 search results - page 716 / 1110 » Different Approaches to Proof Systems |
182
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
Many natural images contain reflections and transparency, i.e., they contain mixtures of reflected and transmitted light. When viewed from a moving camera, these appear as the sup...
225
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
Linear Discriminant Analysis (LDA) is a popular feature extraction technique for face recognition. However, It often suffers from the small sample size problem when dealing with t...
202
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Tolerance to pose variations is one of the key remaining problems in face recognition. It is of great interest in airport surveillance systems using mugshot databases to screen tr...
202
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
REVI-MINER is a KDD-environment which supports the detection and analysis of deviations in warranty and goodwill cost statements. The system was developed within the framework of ...
295
Voted
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...