Sciweavers

1717 search results - page 261 / 344
» A Computable Spectral Theorem
Sort
View
87
Voted
CDC
2009
IEEE
158views Control Systems» more  CDC 2009»
15 years 4 months ago
Multiple target detection using Bayesian learning
In this paper, we study multiple target detection using Bayesian learning. The main aim of the paper is to present a computationally efficient way to compute the belief map update ...
Sujit Nair, Konda Reddy Chevva, Houman Owhadi, Jer...
120
Voted
CORR
2007
Springer
144views Education» more  CORR 2007»
15 years 17 days ago
Distributing the Kalman Filter for Large-Scale Systems
This paper derives a near optimal distributed Kalman filter to estimate a large-scale random field monitored by a network of N sensors. The field is described by a sparsely con...
Usman A. Khan, José M. F. Moura
95
Voted
CORR
2007
Springer
124views Education» more  CORR 2007»
15 years 17 days ago
Interpolation in Valiant's theory
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...
Pascal Koiran, Sylvain Perifel
86
Voted
CORR
2002
Springer
111views Education» more  CORR 2002»
15 years 12 days ago
The Fastest and Shortest Algorithm for All Well-Defined Problems
An algorithm M is described that solves any well-defined problem p as quickly as the fastest algorithm computing a solution to p, save for a factor of 5 and loworder additive term...
Marcus Hutter
203
Voted
POPL
2008
ACM
16 years 27 days ago
High-level small-step operational semantics for transactions
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
Katherine F. Moore, Dan Grossman