Sciweavers

374 search results - page 16 / 75
» On Communicating Automata with Bounded Channels
Sort
View
TSP
2008
76views more  TSP 2008»
15 years 5 months ago
On the Impact of Node Failures and Unreliable Communications in Dense Sensor Networks
We consider the problem of decentralized detection in failure-prone tree networks with bounded height. Specifically, we study and contrast the impact on the detection performance o...
Wee-Peng Tay, John N. Tsitsiklis, Moe Z. Win
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 6 months ago
Tightened Upper Bounds on the ML Decoding Error Probability of Binary Linear Block Codes
-- The performance of maximum-likelihood (ML) decoded binary linear block codes is addressed via the derivation of tightened upper bounds on their decoding error probability. The u...
Moshe Twitto, Igal Sason, Shlomo Shamai
ASP
2001
Springer
15 years 10 months ago
Answer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
Keijo Heljanko, Ilkka Niemelä
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 6 months ago
Green Codes: Energy-Efficient Short-Range Communication
Abstract-- A green code attempts to minimize the total energy per-bit required to communicate across a noisy channel. The classical information-theoretic approach neglects the ener...
Pulkit Grover, Anant Sahai
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 6 months ago
On Certain Large Random Hermitian Jacobi Matrices with Applications to Wireless Communications
In this paper we study the spectrum of certain large random Hermitian Jacobi matrices. These matrices are known to describe certain communication setups. In particular we are inte...
Nathan Levy, Oren Somekh, Shlomo Shamai, Ofer Zeit...