Learn More
Probabilistic predicates generalize standard predicates over a state space; with probabilistic predicate transformers one thus reasons about imperative programs in terms of probabilistic pre- and postconditions. Probabilistic healthiness conditions generalize the standard ones, characterizing “real” probabilistic programs, and are based on a(More)
The two models presented in this paper provide two diierent semantics for an extension of Dijkstra's language of guarded commands. The extended language has an additional operator , namely probabilistic choice, which makes it possible to express randomised algorithms. An earlier model by Claire Jones included probabilistic choice but not non-determinism,(More)
We explore the suitability of two semantic spaces as a basis for a probabilistic variant of the language of Communicating Sequential Processes (UP), so as to provide a formalism for the specification and proof of correctness of probabilistic algorithms. The two spaces give rise to two sublanguages, each of which is characterised by an algebraic(More)
Jones and Plotkin give a general construction for forming a proba-bilistic powerdomain over any directed-complete partial order [Jon90, JP89]. We apply their technique to the failures/divergences semantic model for Communicating Sequential Processes [Hoa85]. The resulting probabilistic model supports a new binary operator, probabilistic choice, and retains(More)
SAR images have shown to be of high complexity and to require dedicated processing techniques. This paper presents two applications of the wavelet and multiresolution theory to the enhancement and characterization of SAR data. The first application describes an improved method for speckle reduction. The second method uses a fractal-based texture measure to(More)
Probabilistic CSP extends the language of CSP with an operator for probabilistic choice. However reasoning about an intricate combination of nondeterminism, communication and probabilistic behaviour can be complicated. In standard CSP, and in formal methods generally, such complication is overcome (when possible) by use of hierarchical reasoning. In this(More)