Sciweavers

3303 search results - page 160 / 661
» Multidimensional Access Methods
Sort
View
ICASSP
2009
IEEE
14 years 5 months ago
A watermarking-based method for single-channel audio source separation
In this paper, we address the issue of audio source separation with a single channel, i.e. the estimation of source signals from a single mixture of these signals. This problem is...
Mathieu Parvaix, Laurent Girin, Jean-Marc Brossier
FOSAD
2005
Springer
14 years 3 months ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay
ITC
1997
IEEE
92views Hardware» more  ITC 1997»
14 years 2 months ago
A Novel Functional Test Generation Method for Processors Using Commercial ATPG
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
Raghuram S. Tupuri, Jacob A. Abraham
RECOSOC
2007
116views Hardware» more  RECOSOC 2007»
13 years 11 months ago
IBC-EI: An Instruction Based Compression method with Encryption and Integrity Checking
Code Compression has been shown to be efficient in minimizing the memory requirements for embedded systems as well as in power consumption reduction and performance improvement. I...
Eduardo Wanderley Netto, Reouven Elbaz, Lionel Tor...
BILDMED
2006
163views Algorithms» more  BILDMED 2006»
13 years 11 months ago
CLARET: A Tool for Fully Automated Evaluation of MRSI with Pattern Recognition Methods
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...
B. Michael Kelm, Bjoern H. Menze, T. Neff, Christi...