Sciweavers

970 search results - page 31 / 194
» case 2011
Sort
View
TIT
2011
97views more  TIT 2011»
13 years 2 months ago
Error Exponents for the Gaussian Channel With Active Noisy Feedback
We study the best exponential decay in the blocklength of the probability of error that can be achieved in the transmission of a single bit over the Gaussian channel with an activ...
Young-Han Kim, Amos Lapidoth, Tsachy Weissman
TKDE
2011
182views more  TKDE 2011»
13 years 2 months ago
Data Leakage Detection
—We study the following problem: A data distributor has given sensitive data to a set of supposedly trusted agents (third parties). Some of the data are leaked and found in an un...
Panagiotis Papadimitriou 0002, Hector Garcia-Molin...
TSP
2011
141views more  TSP 2011»
13 years 2 months ago
Algorithms for Interpolation-Based QR Decomposition in MIMO-OFDM Systems
The extension of multiple-input multiple-output (MIMO) sphere decoding from the narrowband case to wideband systems based on orthogonal frequency division multiplexing (OFDM) requ...
Davide Cescato, Helmut Bölcskei
NFM
2011
335views Formal Methods» more  NFM 2011»
13 years 2 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
IJAR
2011
62views more  IJAR 2011»
12 years 11 months ago
Measuring and repairing inconsistency in probabilistic knowledge bases
In this paper we present a family of measures aimed at determining the amount of inconsistency in probabilistic knowledge bases. Our approach to measuring inconsistency is graded ...
David Picado-Muiño