2488 search results - page 337 / 498 » An improvement in formal verification |
TASLP
2008
15 years 1 months ago
2008
Abstract--Motivated by potential applications in second-language pedagogy, we present a novel approach to using articulatory information to improve automatic detection of typical p...
123
click to vote
TCAD
2008
15 years 1 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
110
click to vote
TIFS
2008
15 years 1 months ago
2008
Authentication is the process where claims of identity are verified. Most mechanisms of authentication (e.g., digital signatures and certificates) exist above the physical layer, t...
105
click to vote
JEI
2002
15 years 1 months ago
2002
This paper presents a morphology-based method for detecting license plates from cluttered images. The proposed system consists of three major components. At the first, a morpholog...
114
click to vote
PRL
2002
15 years 1 months ago
2002
This paper investigates the feasibility of person identification based on feature points extracted from palmprint images. Our approach first extracts a set of feature points along...