930 search results - page 153 / 186 » A Universal Encryption Standard |
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
The aim of education is to provide the basis for life long learning and improvement. In this direction, schools and universities offer standard curricula aiming to cover the fundam...
RECOMB
2000
Springer
14 years 1 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
14 years 1 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 12 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 11 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 ...