2116 search results - page 60 / 424 » On Probabilistic Alternating Simulations |
QEST
2008
IEEE
14 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...
ICPR
2010
IEEE
14 years 6 days ago
2010
IEEE
We present a methodology for learning spline-based probabilistic models for sets of contours, proposing a new Monte Carlo variant of the EM algorithm to estimate the parameters of...
ACL
2006
13 years 11 months ago
2006
The psycholinguistic literature provides evidence for syntactic priming, i.e., the tendency to repeat structures. This paper describes a method for incorporating priming into an i...
EUSFLAT
2003
13 years 11 months ago
2003
In this paper, an architecture of a resourceallocating learning probabilistic neural network is considered. Construction and learning algorithms are proposed. The advantages of th...
TSMC
2008
13 years 10 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...