Sciweavers

559 search results - page 22 / 112
» Isolation and Analysis of Optimization Errors
Sort
View
SIGSOFT
2009
ACM
15 years 10 months ago
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
Esteban Pavese, Sebastián Uchitel, Ví...
ICASSP
2008
IEEE
15 years 4 months ago
Belief propagation distributed estimation in sensor networks: An optimized energy accuracy tradeoff
The estimation error performance of Gaussian belief propagation based distributed estimation in a large sensor network employing random sleep strategies is explicitly evaluated fo...
John MacLaren Walsh, Phillip A. Regalia
TWC
2010
14 years 4 months ago
Adaptive Modulation for MIMO Systems with Channel Prediction Errors
The performance of multiple-input multiple-output (MIMO) systems using spatial multiplexing is analyzed under channel prediction errors. We derive exact closed-form expressions for...
Unai Fernández-Plazaola, Eduardo Martos-Nay...
BSN
2009
IEEE
118views Sensor Networks» more  BSN 2009»
15 years 4 months ago
Minimising Loss-Induced Errors in Real Time Wireless Sensing by Avoiding Data Dependency
Abstract—The use of local processing to reduce data transmission rates, and thereby power and bandwidth requirements, is common in wireless sensor networks. Achieving the minimum...
A. D. Young, M. J. Ling
TIT
2010
90views Education» more  TIT 2010»
14 years 4 months ago
Correcting limited-magnitude errors in the rank-modulation scheme
We study error-correcting codes for permutations under the infinity norm, motivated the rank-modulation scheme for flash memories. In this scheme, a set of n flash cells are combin...
Itzhak Tamo, Moshe Schwartz