Sciweavers

2328 search results - page 348 / 466
» Causal Relation Extraction
Sort
View
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
15 years 5 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
DATE
2008
IEEE
161views Hardware» more  DATE 2008»
15 years 5 months ago
Defeating classical Hardware Countermeasures: a new processing for Side Channel Analysis
In the field of the Side Channel Analysis, hardware distortions such as glitches and random frequency are classical countermeasures. A glitch influences the side channel amplitu...
Denis Réal, Cécile Canovas, Jessy Cl...
FGR
2008
IEEE
198views Biometrics» more  FGR 2008»
15 years 5 months ago
Recognizing hand gestures using dynamic Bayesian network
In this paper, we describe a dynamic Bayesian network or DBN based approach to both two-hand gestures and onehand gestures. Unlike wired glove-based approaches, the success of cam...
Heung-Il Suk, Bong-Kee Sin, Seong-Whan Lee
FGR
2008
IEEE
214views Biometrics» more  FGR 2008»
15 years 5 months ago
Normalized LDA for semi-supervised learning
Linear Discriminant Analysis (LDA) has been a popular method for feature extracting and face recognition. As a supervised method, it requires manually labeled samples for training...
Bin Fan, Zhen Lei, Stan Z. Li
FGR
2008
IEEE
152views Biometrics» more  FGR 2008»
15 years 5 months ago
Facial feature detection with optimal pixel reduction SVM
Automatic facial feature localization has been a longstanding challenge in the field of computer vision for several decades. This can be explained by the large variation a face i...
Minh Hoai Nguyen, Joan Perez, Fernando De la Torre