9284 search results - page 1442 / 1857 » Knowledge State Algorithms |
161
click to vote
VTS
2007
IEEE
16 years 1 months ago
2007
IEEE
: Conventionally, path delay tests are derived in a delay-independent manner, which causes most faults to be robustly untestable. Many non-robust tests are found but, in practice, ...
210
click to vote
AAMAS
2007
Springer
16 years 29 days ago
2007
Springer
Learning Automata (LA) were recently shown to be valuable tools for designing Multi-Agent Reinforcement Learning algorithms. One of the principal contributions of LA theory is that...
181
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
169
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
175
click to vote
CHES
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A5/2 is a synchronous stream cipher that is used for protecting GSM communication. Recently, some powerful attacks [2,10] on A5/2 have been proposed. In this contribution...