Sciweavers

4277 search results - page 88 / 856
» On Multiple Linear Approximations
Sort
View
CDC
2010
IEEE
169views Control Systems» more  CDC 2010»
14 years 5 months ago
Consensus-based distributed linear filtering
We address the consensus-based distributed linear filtering problem, where a discrete time, linear stochastic process is observed by a network of sensors. We assume that the consen...
Ion Matei, John S. Baras
LICS
2008
IEEE
15 years 4 months ago
Correctness of Multiplicative Additive Proof Structures is NL-Complete
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
Paulin Jacobé de Naurois, Virgile Mogbil
SIAMCOMP
1998
92views more  SIAMCOMP 1998»
14 years 9 months ago
Surface Approximation and Geometric Partitions
Motivated by applications in computer graphics, visualization, and scienti c computation, we study the computational complexity of the following problem: Given a set S of n points...
Pankaj K. Agarwal, Subhash Suri
FOCM
2011
90views more  FOCM 2011»
14 years 1 months ago
Hamiltonian Interpolation of Splitting Approximations for Nonlinear PDEs
We consider a wide class of semi linear Hamiltonian partial differential equations and their approximation by time splitting methods. We assume that the nonlinearity is polynomia...
Erwan Faou, Benoît Grebert
ICASSP
2011
IEEE
14 years 1 months ago
Image editing based on Sparse Matrix-Vector multiplication
This paper presents a unified model for image editing in terms of Sparse Matrix-Vector (SpMV) multiplication. In our framework, we cast image editing as a linear energy minimizat...
Ying Wang, Hongping Yan, Chunhong Pan, Shiming Xia...