12981 search results - page 2120 / 2597 » Model Checking (Abstract) |
193
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--This paper deals with the reconstruction of T1-T2 correlation spectra in nuclear magnetic resonance relaxometry. The ill-posed character and the large size of this invers...
189
click to vote
TWC
2010
15 years 1 months ago
2010
Abstract--Frequency hopping (FH) has been the most popularly considered approach for alleviating the effects of jamming attacks. We re-examine, the efficacy of FH based on both exp...
212
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...
195
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
Abstract—With the abundance and ubiquity of mobile devices, a new class of applications is emerging, called participatory sensing (PS), where people can contribute data (e.g., im...
189
click to vote
CISS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—The theoretical analysis of randomized compressive operators often relies on the existence of a concentration of measure inequality for the operator of interest. Though ...