Sciweavers

887 search results - page 102 / 178
» A Pattern for Softcoded Values
Sort
View
PR
2008
97views more  PR 2008»
13 years 10 months ago
SVD based initialization: A head start for nonnegative matrix factorization
We describe Nonnegative Double Singular Value Decomposition (NNDSVD), a new method designed to enhance the initialization stage of nonnegative matrix factorization (NMF). NNDSVD c...
Christos Boutsidis, Efstratios Gallopoulos
JAR
2010
122views more  JAR 2010»
13 years 5 months ago
Partial and Nested Recursive Function Definitions in Higher-order Logic
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
Alexander Krauss
MMAS
2010
Springer
13 years 5 months ago
Domain Decomposition Preconditioners for Multiscale Flows in High-Contrast Media
In this paper, we study domain decomposition preconditioners for multiscale flows in high contrast media. Our problems are motivated by porous media applications where low conduct...
Juan Galvis, Yalchin Efendiev
ICASSP
2011
IEEE
13 years 2 months ago
A constrained matching pursuit approach to audio declipping
We present a novel sparse representation based approach for the restoration of clipped audio signals. In the proposed approach, the clipped signal is decomposed into overlapping f...
Amir Adler, Valentin Emiya, Maria G. Jafari, Micha...
SAC
2011
ACM
13 years 1 months ago
Reliable protection against session fixation attacks
The term ‘Session Fixation vulnerability’ subsumes issues in Web applications that under certain circumstances enable the adversary to perform a Session Hijacking attack throu...
Martin Johns, Bastian Braun, Michael Schrank, Joac...