266 search results - page 17 / 54 » Linear Recursion |
CADE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
109
click to vote
PPAM
2001
Springer
15 years 4 months ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
We propose a non-data-aided adaptive beamforming algorithm based on Widely Linear (WL) processing techniques and the Auxiliary Vector Filtering (AVF) algorithm for non-circular si...
WCE
2007
15 years 1 months ago
2007
The focus of this paper is the problem of recursive estimation for uncertain multisensor linear discrete-time systems. We herein propose a new suboptimal filtering algorithm. The b...
105
click to vote
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we re-examine the recently proposed distributed state estimators based on quantized innovations. It is widely believed that the error covariance of the Quantized In...