Sciweavers

3918 search results - page 70 / 784
» Probabilistic model of triangulation
Sort
View
ACL
2006
15 years 12 days ago
Integrating Syntactic Priming into an Incremental Probabilistic Parser, with an Application to Psycholinguistic Modeling
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...
Amit Dubey, Frank Keller, Patrick Sturt
MASCOTS
2004
15 years 12 days ago
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rash...
TSMC
2008
89views more  TSMC 2008»
14 years 11 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
QEST
2010
IEEE
14 years 9 months ago
Fortuna: Model Checking Priced Probabilistic Timed Automata
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
Jasper Berendsen, David N. Jansen, Frits W. Vaandr...
TKDE
2010
224views more  TKDE 2010»
14 years 9 months ago
Probabilistic Topic Models for Learning Terminological Ontologies
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
Wang Wei, Payam M. Barnaghi, Andrzej Bargiela