2356 search results - page 39 / 472 » Characterizations of postman sets |
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
MDAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Common inductive learning strategies offer the tools for knowledge acquisition, but possess some inherent limitations due to the use of fixed bias during the learning p...
GREC
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we present an algorithm for performance characterization of symbol localization systems. This algorithm is aimed to be a more “reliable” and “open” solution t...
145
click to vote
DPHOTO
2010
15 years 1 months ago
2010
Accurate noise level estimation is essential to assure good performance of noise reduction filters. Noise contaminating raw images is typically modeled as additive white and Gauss...