Sciweavers

13784 search results - page 2253 / 2757
» On Computing Functions with Uncertainty
Sort
View
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
16 years 7 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
ICIAP
2009
ACM
16 years 7 months ago
Nonlocal Similarity Image Filtering
Abstract. We exploit the recurrence of structures at different locations, orientations and scales in an image to perform denoising. While previous methods based on "nonlocal f...
Yifei Lou, Paolo Favaro, Stefano Soatto, Andrea L....
ICIAP
2009
ACM
16 years 7 months ago
Pathnodes Integration of Standalone Particle Filters for People Tracking on Distributed Surveillance Systems
In this paper, we present a new approach to object tracking based on batteries of particle filter working in multicamera systems with non overlapped fields of view. In each view th...
Roberto Vezzani, Davide Baltieri, Rita Cucchiara
EUROCRYPT
2009
Springer
16 years 7 months ago
A Unified Framework for the Analysis of Side-Channel Key Recovery Attacks
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
François-Xavier Standaert, Moti Yung, Tal M...
PKC
2009
Springer
240views Cryptology» more  PKC 2009»
16 years 7 months ago
Distributed Public-Key Cryptography from Weak Secrets
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...
Céline Chevalier, David Pointcheval, Michel...
« Prev « First page 2253 / 2757 Last » Next »