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)
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)
  • C Adloff, J Blaha, J.-J Blaising, C Drancourt, A Espargilière, R Gaglione +164 others
  • 2014
Calorimeters with a high granularity are a fundamental requirement of the Particle Flow paradigm. This paper focuses on the prototype of a hadron calorimeter with analog readout, consisting of thirty-eight scintillator layers alternating with steel absorber planes. The scintilla-tor plates are finely segmented into tiles individually read out via Silicon(More)
A region-based approach is tried out on a subimage of a Thematic Mapper frame in order to investigate its ability to eliminate some major drawbacks of standard multispectral classification. To overcome the difficulties arising from the rather low signal to noise ratio and the poor dynamic range of video-values within each spectral band a new multispectral(More)
LANDSAT satellites are equipped with scanners which record the radiation from the earth surface in four spectral channels. Features on the ground have a "spectral signature": a certain combination of data in the four channels. The records in the four channels represent a four-dimensional feature space, in which each particular feature is characterized by a(More)
  • 1