Sciweavers

840 search results - page 136 / 168
» Universal Metadata Standard
Sort
View
FSE
2006
Springer
132views Cryptology» more  FSE 2006»
15 years 3 months ago
New Blockcipher Modes of Operation with Beyond the Birthday Bound Security
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...
Tetsu Iwata
RECOMB
2000
Springer
15 years 3 months ago
Sequencing-by-hybridization at the information-theory bound: an optimal algorithm
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...
Franco P. Preparata, Eli Upfal
COST
1995
Springer
61views Multimedia» more  COST 1995»
15 years 3 months ago
GLASS: A Distributed MHEG-Based Multimedia System
: 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...
H. Cossmann, Carsten Griwodz, G. Grassel, M. P&uum...
AUSDM
2008
Springer
243views Data Mining» more  AUSDM 2008»
15 years 1 months ago
Structure-Based Document Model with Discrete Wavelet Transforms and Its Application to Document Classification
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...
Supphachai Thaicharoen, Tom Altman, Krzysztof J. C...
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
15 years 1 months ago
SAT-based Unbounded Model Checking of Timed Automata
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 ...
Wojciech Penczek, Maciej Szreter