Abstract: In this paper, we consider multistage look-ahead sensor selection problems for nonlinear dynamic systems such as radar target tracking systems. We investigate the problem for large sensor ...
Abstract: This paper deals with distributed estimation fusion under unknown cross-covariance between errors of local estimates. We propose a formulation to restrict the set of possible ...
The project automatically fetches the latest papers from arXiv based on keywords. The subheadings in the README file represent the search keywords. Only the most recent articles for each keyword are ...
Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes. - TiruArt/Pedigree-Polytopes-Lean4 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results