8828 search results - page 1574 / 1766 » Formal methods in practice |
144
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Spherical microphone array eigenbeam (EB)-ESPRIT gives an elegant closed-form solution for 3D broadband source localization based on the spherical harmonics (eigenbeam) framework....
140
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The question in the title is relevant when considering latticereduction-aided MIMO detectors, which achieve the same diversity as the maximum-likelihood detector while exhibiting ...
136
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
A weighted sum-rate maximization problem is considered for an access point (AP) allocating resources to wireless cognitive radios (CRs) communicating using orthogonal frequency-di...
171
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Emerging biomedical sensors and stimulators offer unprecedented modalities for delivering therapy and acquiring physiological signals (e.g., deep brain stimulators). Exploiting th...
162
click to vote
ISCAS
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract— Multi-core processors are about to conquer embedded systems — it is not the question of whether they are coming but how the architectures of the microcontrollers shou...