1855 search results - page 23 / 371 » Probabilistic Frame-Based Systems |
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
SIGDIAL
2010
14 years 7 months ago
2010
We introduce a novel approach for robust belief tracking of user intention within a spoken dialog system. The space of user intentions is modeled by a probabilistic extension of t...
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
ISCAS
2003
IEEE
15 years 2 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...