Sciweavers

5075 search results - page 309 / 1015
» Convergence
Sort
View
CDC
2010
IEEE
169views Control Systems» more  CDC 2010»
15 years 1 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
CORR
2011
Springer
183views Education» more  CORR 2011»
15 years 1 months ago
Detecting Separation in Robotic and Sensor Networks
In this paper we consider the problem of monitoring detecting separation of agents from a base station in robotic and sensor networks. Such separation can be caused by mobility an...
Chenda Liao, Harshavardhan Chenji, Prabir Barooah,...
MA
2011
Springer
246views Communications» more  MA 2011»
15 years 1 months ago
On the Gaussian approximation of vector-valued multiple integrals
: By combining the findings of two recent, seminal papers by Nualart, Peccati and Tudor, we get that the convergence in law of any sequence of vector-valued multiple integrals Fn ...
Salim Noreddine, Ivan Nourdin
TMC
2011
108views more  TMC 2011»
15 years 1 months ago
Spatial-Temporal Coverage Optimization in Wireless Sensor Networks
—Mission-driven sensor networks usually have special lifetime requirements. However, the density of the sensors may not be large enough to satisfy the coverage requirement while ...
Changlei Liu, Guohong Cao
IFIP
2010
Springer
15 years 1 months ago
Efficient Decision Procedures for Message Deducibility and Static Equivalence
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
Bruno Conchinha, David A. Basin, Carlos Caleiro