Sciweavers

233 search results - page 25 / 47
» An Existential Locality Theorem
Sort
View
ICA
2010
Springer
13 years 6 months ago
Strong Sub- and Super-Gaussianity
We introduce the terms strong sub- and super-Gaussianity to refer to the previously introduced class of densities log-concave is x2 and log-convex in x2 respectively. We derive rel...
Jason A. Palmer, Kenneth Kreutz-Delgado, Scott Mak...
CORR
2007
Springer
144views Education» more  CORR 2007»
13 years 8 months 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
LION
2007
Springer
138views Optimization» more  LION 2007»
14 years 2 months ago
A Continuous Characterization of Maximal Cliques in k-Uniform Hypergraphs
Abstract. In 1965 Motzkin and Straus established a remarkable connection between the local/global maximizers of the Lagrangian of a graph G over the standard simplex ∆ and the ma...
Samuel Rota Bulò, Marcello Pelillo
SAT
2007
Springer
96views Hardware» more  SAT 2007»
14 years 2 months ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
GG
2008
Springer
13 years 9 months ago
Parallel and Sequential Independence for Borrowed Contexts
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
Filippo Bonchi, Fabio Gadducci, Tobias Heindel