1458 search results - page 39 / 292 » The sequentially realizable functionals |
105
Voted
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
137
Voted
NIPS
2007
15 years 4 months ago
2007
Learning in real-world domains often requires to deal with continuous state and action spaces. Although many solutions have been proposed to apply Reinforcement Learning algorithm...
116
click to vote
TSP
2008
15 years 2 months ago
2008
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...
123
Voted
CRYPTO
2005
Springer
15 years 8 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
134
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Motivated by the lossy compression of an active-vision video stream, we consider the problem of finding the rate-distortion function of an arbitrarily varying source (AVS) compos...