Sciweavers

2167 search results - page 71 / 434
» Stochastic Process Algebras
Sort
View
SIAMCO
2008
113views more  SIAMCO 2008»
15 years 5 months ago
Singularly Perturbed Piecewise Deterministic Games
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
Alain Haurie, Francesco Moresino
FMCO
2005
Springer
15 years 11 months ago
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
ICASSP
2011
IEEE
14 years 9 months ago
Message-passing for base-calling in sequencing-by-synthesis systems
Performance of DNA sequencing-by-synthesis systems is fundamentally limited by the stochastic nature of the underlying biochemical process. We develop a novel graphical representa...
Sang Hyun Lee, Manohar Shamaiah, Haris Vikalo
164
Voted
DSSCV
2005
Springer
15 years 11 months ago
From Stochastic Completion Fields to Tensor Voting
Abstract. Several image processing algorithms imitate the lateral interaction of neurons in the visual striate cortex V1 to account for the correlations along contours and lines. H...
Markus van Almsick, Remco Duits, Erik Franken, Bar...
CONCUR
2006
Springer
15 years 9 months ago
Strategy Improvement for Stochastic Rabin and Streett Games
A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions specified as Ra...
Krishnendu Chatterjee, Thomas A. Henzinger