Sciweavers

1855 search results - page 23 / 371
» Probabilistic Frame-Based Systems
Sort
View
136
Voted
CONCUR
2000
Springer
15 years 9 months ago
Weak Bisimulation for Probabilistic Systems
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...
Anna Philippou, Insup Lee, Oleg Sokolsky
145
Voted
SIGDIAL
2010
15 years 2 months ago
Probabilistic Ontology Trees for Belief Tracking in Dialog Systems
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...
Neville Mehta, Rakesh Gupta, Antoine Raux, Deepak ...
156
Voted
QEST
2008
IEEE
15 years 11 months ago
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
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...
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...
161
Voted
ISCAS
2003
IEEE
123views Hardware» more  ISCAS 2003»
15 years 10 months ago
Classification of power system faults using wavelet transforms and probabilistic neural networks
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...
Harish K. Kashyap, U. Jayachandra Shenoy
125
Voted
TSMC
2008
89views more  TSMC 2008»
15 years 4 months ago
A Probabilistic Wavelet System for Stochastic and Incomplete Data-Based Modeling
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...
Zhi Liu, Han-Xiong Li, Yun Zhang