Sciweavers

898 search results - page 62 / 180
» An Analysis of Permutations in Arrays
Sort
View
TIT
2010
90views Education» more  TIT 2010»
15 years 1 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
ICASSP
2011
IEEE
14 years 10 months ago
Synthesis of ICA-based methods for localization of multiple broadband sound sources
In this paper, minimization of the statistical dependence is exploited for acoustic source localization purposes. Originally developed for the separation of signal mixtures, we sh...
Anthony Lombard, Yuanhang Zheng, Walter Kellermann
FM
2009
Springer
157views Formal Methods» more  FM 2009»
16 years 26 days ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
TSP
2011
96views more  TSP 2011»
15 years 23 days ago
A Signal Processing Approach to Fourier Analysis of Ranking Data: The Importance of Phase
—Ranking data is a type of data obtained in some elections, in customer surveys, as well as from web search results. Such data may be considered as a type of signal defined on t...
Ramakrishna Kakarala
DAC
2004
ACM
16 years 7 months ago
Quantum logic synthesis by symbolic reachability analysis
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Y...