391 search results - page 25 / 79 » Constructive Equivalence Relations on Computable Probability... |
115
click to vote
TSC
2008
14 years 10 months ago
2008
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
BMVC
2010
14 years 9 months ago
2010
A feature-preserving non-local means (FP-NLM) filter has been developed recently for denoising images containing small and weak particlelike objects. It explores the commonly used...
CIMAGING
2008
15 years 24 days ago
2008
We present an algorithm to generate samples from probability distributions on the space of curves. Traditional curve evolution methods use gradient descent to find a local minimum...
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
ICALP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...