15614 search results - page 175 / 3123 » The State of State |
145
click to vote
EPEW
2008
Springer
15 years 5 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
125
click to vote
FSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we present an efficient algorithm for the retrieval of the RC4 secret key, given an internal state. This algorithm is several orders of magnitude faster tha...
154
click to vote
DLT
2007
15 years 5 months ago
2007
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We ...
139
click to vote
LWA
2007
15 years 5 months ago
2007
Adaptivity has been an important research topic during the past two decades, especially in the field of e-learning. This paper deals with the question of whether and to what exte...
109
click to vote
AAAI
2004
15 years 5 months ago
2004
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...