Sciweavers

400 search results - page 69 / 80
» Rational stochastic languages
Sort
View
FLAIRS
2008
13 years 9 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
MASCOTS
2003
13 years 8 months ago
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. ...
COLING
2000
13 years 7 months ago
Processing Self Corrections in a speech to speech system
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
Jörg Spilker, Martin Klarner, Günther G&...
LLC
2011
167views more  LLC 2011»
13 years 2 months ago
Computational Phonology - Part II: Grammars, Learning, and the Future
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
Jeffrey Heinz
CAV
2012
Springer
251views Hardware» more  CAV 2012»
11 years 10 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...