29908 search results - page 139 / 5982 » On the Complexity of |
157
click to vote
DATE
2008
IEEE
16 years 28 days ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
135
click to vote
ICASSP
2008
IEEE
16 years 27 days ago
2008
IEEE
In a wide range of communication systems, including DS-CDMA and OFDM systems, the signal-of-interest might be corrupted by an improper [1] (also called non circularly symmetric [2...
171
click to vote
ICC
2008
IEEE
16 years 27 days ago
2008
IEEE
—We propose to use carrier interferometry (CI) codes to reduce the complexity of the maximumlikelihood multiuser-detection (ML-MUD) receiver in MC-CDMA systems with carrier frequ...
144
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
154
click to vote
ISBI
2008
IEEE
16 years 26 days ago
2008
IEEE
A stratification and manifold learning approach for analyzing High Angular Resolution Diffusion Imaging (HARDI) data is introduced in this paper. HARDI data provides highdimensio...