13476 search results - page 35 / 2696 » Learning from Streams |
113
click to vote
ESORICS
2002
Springer
16 years 1 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...
109
click to vote
ASIACRYPT
2008
Springer
15 years 4 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...
148
click to vote
CVDB
2005
ACM
15 years 3 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...
128
Voted
CORR
2010
Springer
15 years 2 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...
120
click to vote
MICAI
2005
Springer
15 years 7 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...