3918 search results - page 505 / 784 » Probabilistic model of triangulation |
198
Voted
IPL
2008
15 years 6 months ago
2008
Abstract. 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 speci...
152
click to vote
JOLLI
2006
15 years 6 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
207
click to vote
JWSR
2006
15 years 6 months ago
2006
: We investigate architectural properties required for supporting automatic service composition. First, composable service architecture will be described, based on modeling Web ser...
219
click to vote
RSA
2006
15 years 6 months ago
2006
We present a (non-standard) probabilistic analysis of dynamic data structures whose sizes are considered as dynamic random walks. The basic operations (insertion, deletion, positi...
142
click to vote
TSMC
2008
15 years 6 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...