Sciweavers

643 search results - page 110 / 129
» Parsing And Derivational Equivalence
Sort
View
TIT
2008
84views more  TIT 2008»
13 years 7 months ago
A Note on Rate-Distortion Functions for Nonstationary Gaussian Autoregressive Processes
Source coding theorems and Shannon rate-distortion functions were studied for the discrete-time Wiener process by Berger and generalized to nonstationary Gaussian autoregressive p...
Robert M. Gray, Takeshi Hashimoto
OOPSLA
2010
Springer
13 years 7 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
TCOM
2010
115views more  TCOM 2010»
13 years 7 months ago
On the accuracy of localization systems using wideband antenna arrays
—Accurate positional information is essential for many applications in wireless networks. Time-of-arrival (TOA) and angle-of-arrival (AOA) are the two most commonly used signal m...
Yuan Shen, Moe Z. Win
TCOM
2010
167views more  TCOM 2010»
13 years 7 months ago
On distributed scheduling in wireless networks exploiting broadcast and network coding
—In this paper, we consider cross-layer optimization in wireless networks with wireless broadcast advantage, focusing on the problem of distributed scheduling of broadcast links....
Tao Cui, Lijun Chen, Tracey Ho
TMI
2010
94views more  TMI 2010»
13 years 7 months ago
Theoretical Bounds and System Design for Multipinhole SPECT
Abstract—The pinhole camera in single photon emission computed tomography (SPECT) has an inherent trade-off between resolution and sensitivity. Recent systems overcome this to so...
Peter Nillius, Mats Danielsson