Sciweavers

1222 search results - page 77 / 245
» corr 2008
Sort
View
CORR
2008
Springer
79views Education» more  CORR 2008»
15 years 6 months ago
New Outer Bounds on the Capacity Region of Gaussian Interference Channels
Abstract-- An outer bound on the capacity region of the twouser Gaussian interference channel is derived. The bound shows that for low power and small crosstalk coefficients the su...
Xiaohu Shang, Gerhard Kramer, Biao Chen
CORR
2008
Springer
79views Education» more  CORR 2008»
15 years 6 months ago
A Note on Differential Privacy: Defining Resistance to Arbitrary Side Information
In this note we give a precise formulation of "resistance to arbitrary side information" and show that several relaxations of differential privacy imply it. The formulat...
Shiva Prasad Kasiviswanathan, Adam Smith
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 6 months ago
Intrusion Detection in Mobile Ad Hoc Networks Using Classification Algorithms
In this paper we present the design and evaluation of intrusion detection models for MANETs using supervised classification algorithms. Specifically, we evaluate the performance of...
Aikaterini Mitrokotsa, Manolis Tsagkaris, Christos...
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 6 months ago
A Very Efficient Scheme for Estimating Entropy of Data Streams Using Compressed Counting
Compressed Counting (CC) was recently proposed for approximating the th frequency moments of data streams, for 0 < 2. Under the relaxed strict-Turnstile model, CC dramaticall...
Ping Li
CORR
2008
Springer
93views Education» more  CORR 2008»
15 years 6 months ago
A computer verified, monadic, functional implementation of the integral
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
Russell O'Connor, Bas Spitters