13476 search results - page 35 / 2696 » Learning from Streams |
ESORICS
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
ASIACRYPT
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In [6], Biryukov presented a new methodology of stream cipher design, called leak extraction. The stream cipher LEX, based on this methodology and on the AES block cipher...
CVDB
2005
ACM
13 years 11 months ago
2005
ACM
Querying live media streams captured by various sensors is becoming a challenging problem, due to the data heterogeneity and the lack of a unifying data model capable of accessing...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
MICAI
2005
Springer
14 years 3 months ago
2005
Springer
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...