9931 search results - page 1642 / 1987 » Generative Modeling by PRISM |
205
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
170
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
As the number of cores continues to grow in both digital signal and general purpose processors, tools which perform automatic scheduling from model-based designs are of increasing...
183
Voted
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—A growing number of mobile WiMAX deployments are in progress world-wide and the technology is anticipated to play a key role in next generation mobile broadband wireless network...
164
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a new approach to adaptive system identification when the system model is sparse. The approach applies the ℓ1 relaxation, common in compressive sensing, to improve t...
192
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose a novel algorithm for the separation of convolutive speech mixtures using two-microphone recordings, based on the combination of independent component an...