11151 search results - page 1846 / 2231 » On the Complexity of Model Expansion |
191
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
185
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
Recently, cooperative communication has attracted a lot of attention for its potential to increase spatial diversity. However, limited attention has been paid to the physical laye...
187
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Target detection in sea clutter is a challenging problem in radar detection, specifically, when the Doppler return of the target and clutter are collocated. Polarization diverse ...
188
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The batch least-absolute shrinkage and selection operator (Lasso) has well-documented merits for estimating sparse signals of interest emerging in various applications, where obse...
175
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a method for designing oversampled DFT filter banks (FB) optimized for subband acoustic echo cancellation (AEC). For this application, the design requirements...