9284 search results - page 290 / 1857 » Knowledge State Algorithms |
192
click to vote
PSTV
1993
15 years 8 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
208
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
159
click to vote
FSE
2007
Springer
16 years 1 months ago
2007
Springer
We present a practical attack on the Panama hash function that generates a collision in 26 evaluations of the state updating function. Our attack improves that of Rijmen and cowork...
186
click to vote
PKDD
2001
Springer
15 years 11 months ago
2001
Springer
We present a method for distinguishing two subtly different mental states, on the basis of the underlying brain activation measured with fMRI. The method uses a classifier to lea...
172
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...