19130 search results - page 382 / 3826 » Modelling multi-path problems |
143
click to vote
SIAMMAX
2010
15 years 1 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
172
Voted
SIAMNUM
2010
15 years 1 months ago
2010
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
189
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a method for the removal of noise including nonGaussian impulses from a signal. Impulse noise is removed jointly a homogenous Gaussian noise floor using a Gabor regres...
387
click to vote
ICA
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The use of high level information in source separation algorithms can greatly constrain the problem and lead to improved results by limiting the solution space to semanti...
197
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...