840 search results - page 136 / 168 » Universal Metadata Standard |
FSE
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we define and analyze a new blockcipher mode of operation for encryption, CENC, which stands for Cipher-based ENCryption. CENC has the following advantages: (1) bey...
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
In a recent paper (Preparata et al., 1999) we introduced a novel probing scheme for DNA sequencing by hybridization (SBH). The new gapped-probe scheme combines natural and univers...
COST
1995
Springer
13 years 11 months ago
1995
Springer
: This paper is about GLASS2 , a distributed multimedia system that is currently under development. The multimedia department of the IBM European Networking Center in Heidelberg, G...
AUSDM
2008
Springer
13 years 9 months ago
2008
Springer
Term signal is an existing text representation that depicts a term as a vector of frequencies of occurrences in a number of user-defined partitions of a document. Although term si...
ACSD
2007
IEEE
13 years 9 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...