Sciweavers

57 search results - page 4 / 12
» Hierarchy Theorems for Property Testing
Sort
View
SIAMCO
2008
98views more  SIAMCO 2008»
15 years 5 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
15 years 10 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
13 years 8 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
15 years 10 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
141
Voted
CC
1998
Springer
100views System Software» more  CC 1998»
15 years 5 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