Sciweavers

40 search results - page 6 / 8
» Palmprint Verification with Moments
Sort
View
ICCAD
2003
IEEE
132views Hardware» more  ICCAD 2003»
14 years 2 months ago
A Sum-over-Paths Impulse-Response Moment-Extraction Algorithm for IC-Interconnect Networks: Verification, Coupled RC Lines
We have created a stochastic impulse-response (IR) momentextraction algorithm for RC circuit networks. It employs a newly discovered Feynman Sum-over-Paths Postulate. Full paralle...
Yannick L. Le Coz, Dhivya Krishna, Dusan M. Petran...
ICB
2007
Springer
195views Biometrics» more  ICB 2007»
13 years 9 months ago
Identity Verification by Using Handprint
In recent years, palmprint based personal identification has been extensively explored by researchers. The success of this technology has demonstrated that the inner part of palm s...
Ying Hao, Tieniu Tan, Zhenan Sun, Yufei Han
CVPR
2007
IEEE
14 years 7 months ago
A Component-Based Approach to Hand Verification
This paper describes a novel hand-based verification system based on palm-finger segmentation and fusion. The proposed system operates on 2D hand images acquired by placing the ha...
Gholamreza Amayeh, George Bebis, Ali Erol, Mircea ...
FSTTCS
2006
Springer
13 years 9 months ago
Testing Probabilistic Equivalence Through Reinforcement Learning
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
Josee Desharnais, François Laviolette, Sami...
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 5 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...