3495 search results - page 189 / 699 » On the random satisfiable process |
131
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this notes we consider the model of Generative Probabilistic Transition Systems, and Baier and Hermanns’ notion of weak bisimulation defined over them. We prove that, if we ...
130
click to vote
SIAMCO
2010
14 years 11 months ago
2010
We study a class of Markovian optimal stochastic control problems in which the controlled process Z is constrained to satisfy an a.s. constraint Z (T) G Rd+1 P - a.s. at some fi...
115
click to vote
SIAMCO
2010
14 years 11 months ago
2010
This paper studies regularity properties of the value function for an infinite-horizon discounted cost impulse control problem, where the underlying controlled process is a multidi...
162
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
154
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...