1341 search results - page 235 / 269 » Probabilistic Abstraction Hierarchies |
108
click to vote
ALT
2008
Springer
15 years 3 days ago
2008
Springer
Abstract. We consider the problem of sequence prediction in a probabilistic setting. Let there be given a class C of stochastic processes (probability measures on the set of one-wa...
CPAIOR
2008
Springer
15 years 2 days ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
CRYPTO
2008
Springer
15 years 2 days ago
2008
Springer
Abstract. The study of deterministic public-key encryption was initiated by Bellare et al. (CRYPTO '07), who provided the "strongest possible" notion of security for...
103
click to vote
ESORICS
2008
Springer
15 years 2 days ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
100
click to vote
EUROSSC
2008
Springer
15 years 2 days ago
2008
Springer
Abstract. This paper describes methods and sensor technology used to identify persons from their walking characteristics. We use an array of simple binary switch floor sensors to d...