Sciweavers

5879 search results - page 54 / 1176
» Separation - Past, Present, and Future
Sort
View
NIPS
2003
15 years 1 months ago
Sparse Representation and Its Applications in Blind Source Separation
In this paper, sparse representation (factorization) of a data matrix is first discussed. An overcomplete basis matrix is estimated by using the K−means method. We have proved ...
Yuanqing Li, Andrzej Cichocki, Shun-ichi Amari, Se...
ICIP
2004
IEEE
16 years 1 months ago
Separating useful from useless image variation for face recognition
For a general purpose face recognition system one of the largest challenge is to separate useful identity related from useless variations in the image data due to nuisance variabl...
Peter Kalocsai
MCS
2010
Springer
15 years 6 months ago
Class-Separability Weighting and Bootstrapping in Error Correcting Output Code Ensembles
A method for applying weighted decoding to error-correcting output code ensembles of binary classifiers is presented. This method is sensitive to the target class in that a separa...
Raymond S. Smith, Terry Windeatt
UC
2009
Springer
15 years 6 months ago
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
Frédéric Prost, Chaouki Zerrari
FSTTCS
2004
Springer
15 years 5 months ago
A Decidable Fragment of Separation Logic
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn