Sciweavers

1403 search results - page 199 / 281
» About Approximations of Exponentials
Sort
View
ASIACRYPT
2011
Springer
14 years 5 months ago
The Leakage-Resilience Limit of a Computational Problem Is Equal to Its Unpredictability Entropy
A cryptographic assumption is the (unproven) mathematical statement that a certain computational problem (e.g. factoring integers) is computationally hard. The leakage-resilience l...
Divesh Aggarwal, Ueli Maurer
CAV
2010
Springer
282views Hardware» more  CAV 2010»
15 years 9 months ago
A NuSMV Extension for Graded-CTL Model Checking
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
Alessandro Ferrante, Maurizio Memoli, Margherita N...
STOC
2007
ACM
112views Algorithms» more  STOC 2007»
16 years 6 months ago
Smooth sensitivity and sampling in private data analysis
We introduce a new, generic framework for private data analysis. The goal of private data analysis is to release aggregate information about a data set while protecting the privac...
Kobbi Nissim, Sofya Raskhodnikova, Adam Smith
CBMS
2000
IEEE
15 years 10 months ago
Use of Shape Models to Search Digitized Spine X-rays
We are building a biomedical information resource consisting of digitized x-ray images and associated textual data from national health surveys. This resource, the Web-based Medic...
L. Rodney Long, George R. Thoma
BC
1998
58views more  BC 1998»
15 years 5 months ago
Detecting multimodality in saccadic reaction time distributions in gap and overlap tasks
In many cases the distribution of saccadic reaction times (SRT) deviates considerably from a unimodal distribution and may often exhibit several peaks. We present a statistical app...
Stefan Gezeck, Jens Timmer