Sciweavers

57 search results - page 4 / 12
» Hierarchy Theorems for Property Testing
Sort
View
SIAMCO
2008
98views more  SIAMCO 2008»
13 years 8 months ago
Kernel Density Estimation and Goodness-of-Fit Test in Adaptive Tracking
We investigate the asymptotic properties of a recursive kernel density estimator associated with the driven noise of a linear regression in adaptive tracking. We provide an almost ...
Bernard Bercu, Bruno Portier
STACS
2001
Springer
14 years 1 months ago
Evasiveness of Subgraph Containment and Related Properties
We prove new results on evasiveness of monotone graph properties by extending the techniques of Kahn, Saks, and Sturtevant [Combinatorica, 4 (1984), pp. 297–306]. For the propert...
Amit Chakrabarti, Subhash Khot, Yaoyun Shi
EUROCRYPT
2012
Springer
11 years 11 months ago
Property Preserving Symmetric Encryption
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
Omkant Pandey, Yannis Rouselakis
OOPSLA
2001
Springer
14 years 1 months ago
Contract Soundness for Object-Oriented Languages
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
Robert Bruce Findler, Matthias Felleisen
CC
1998
Springer
100views System Software» more  CC 1998»
13 years 8 months ago
Symmetric Alternation Captures BPP
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...
Alexander Russell, Ravi Sundaram