4592 search results - page 315 / 919 » Framework for Studying Substitution |
151
Voted
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
221
Voted
LATA
2009
Springer
16 years 2 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
230
click to vote
IEEECGIV
2009
IEEE
16 years 2 months ago
2009
IEEE
The theory of compressive sampling involves making random linear projections of a signal. Provided signal is sparse in some basis, small number of such measurements preserves the ...
190
Voted
ICMI
2009
Springer
16 years 2 months ago
2009
Springer
We review key challenges of developing spoken dialog systems that can engage in interactions with one or multiple participants in relatively unconstrained environments. We outline...
175
click to vote
IMA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper we present a theoretical framework to quantify the information brought by several linear approximations of a blockcipher without putting any restriction on ...