13917 search results - page 97 / 2784 » Abstraction of Probabilistic Systems |
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
Automation of power system fault identification using information conveyed by the wavelet analysis of power system transients is proposed. Probabilistic Neural Network (PNN) for d...
TSMC
2008
14 years 9 months ago
2008
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
100
click to vote
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
146
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
MayBMS is a state-of-the-art probabilistic database management system which leverages the strengths of previous database research for achieving scalability. As a proof of concept ...