Sciweavers

2024 search results - page 5 / 405
» The Meaning of Ordered SOS
Sort
View
ICA
2004
Springer
14 years 25 days ago
Temporal Decorrelation as Preprocessing for Linear and Post-nonlinear ICA
Abstract. We present a straightforward way to use temporal decorrelation as preprocessing in linear and post-nonlinear independent component analysis (ICA) with higher order statis...
Juha Karvanen, Toshihisa Tanaka
IPPS
2002
IEEE
14 years 12 days ago
Toward Optimal Diffusion Matrices
Efficient load balancing algorithms are the key to many efficient parallel applications. Until now, research in this area has mainly been focusing on homogeneous schemes. Howeve...
Robert Elsässer, Burkhard Monien, Günter...
LION
2009
Springer
125views Optimization» more  LION 2009»
14 years 2 months ago
New Bounds on the Clique Number of Graphs Based on Spectral Hypergraph Theory
This work introduces new bounds on the clique number of graphs derived from a result due to S´os and Straus, which generalizes the Motzkin-Straus Theorem to a specific class of h...
Samuel Rota Bulò, Marcello Pelillo
JSCIC
2008
94views more  JSCIC 2008»
13 years 7 months ago
Second-Order Accurate Computation of Curvatures in a Level Set Framework Using Novel High-Order Reinitialization Schemes
Abstract We present a high-order accurate scheme for the reinitialization equation of Sussman et al. (J. Comput. Phys. 114:146
Antoine du Chéné, Chohong Min, Fr&ea...
CADE
2004
Springer
14 years 7 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu