Sciweavers

3342 search results - page 263 / 669
» Symbolic Robustness Analysis
Sort
View
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
16 years 1 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
ICASSP
2007
IEEE
16 years 28 days ago
Statistical Analysis of the Global Geodesic Function for 3D Object Classification
This paper presents a novel classification strategy for 3D objects. Our technique is based on using a Global Geodesic Function to intrinsically describe the surface ofan object. T...
Djamila Aouada, Shuo Feng, Hamid Krim
ICC
2007
IEEE
115views Communications» more  ICC 2007»
16 years 28 days ago
Security Analysis of IEEE 802.16
— This paper analyzes some critical security issues in the family of IEEE 802.16 standard that has not been addressed so far. In particular two of the key features of the standar...
Leonardo Maccari, Matteo Paoli, Romano Fantacci
ACCV
2007
Springer
16 years 24 days ago
Face Mis-alignment Analysis by Multiple-Instance Subspace
In this paper, we systematically study the effect of poorly registered faces on the training and inferring stages of traditional face recognition algorithms. We then propose a nov...
Zhiguo Li, Qingshan Liu, Dimitris N. Metaxas
VOTEID
2007
Springer
16 years 22 days ago
Threat Analysis of a Practical Voting Scheme with Receipts
Kutylowski et al. have introduced a voter-verifiable electronic voting scheme ”a practical voting scheme with receipts”, which provides each voter with a receipt. The voter ca...
Sébastien Foulle, Steve Schneider, Jacques ...