13917 search results - page 15 / 2784 » Abstraction of Probabilistic Systems |
159
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...
TGC
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
ISNN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes a new method to discriminate the vascular conditions from biological signals by using a probabilistic neural network, and develops the diagnosis suppo...
ENTCS
2008
14 years 9 months ago
2008
istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...