54 search results - page 6 / 11 » A framework for numeric analysis of array operations |
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Many source separation algorithms fail to deliver robust performance when applied to signals recorded using highdensity microphone arrays where distance between sensor elements is...
ICC
2009
IEEE
14 years 7 months ago
2009
IEEE
We propose a comprehensive theoretical framework to evaluate reliability and energy consumption of distributed source coding (DSC) in wireless sensor networks (WSNs) applications. ...
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
JSAC
2007
14 years 9 months ago
2007
— Despite its low-complexity, the zero-forcing receiver is known to suffer from noise enhancement to restore the spatially multiplexed data in a single-user MIMO system. Neverthe...
100
click to vote
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
—The rapidly increasing amount of data available for real-time analysis (i.e., so-called operational business intelligence) is creating an interesting opportunity for creative ap...