Sciweavers

400 search results - page 27 / 80
» Rational stochastic languages
Sort
View
IPPS
2005
IEEE
15 years 11 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
CLEF
2009
Springer
15 years 6 months ago
Simulating Morphological Analyzers with Stochastic Taggers for Confidence Estimation
We propose a method for providing stochastic confidence estimates for rule-based and black-box natural language (NL) processing systems. Our method does not require labeled trainin...
Christian Monson, Kristy Hollingshead, Brian Roark
140
Voted
ICALP
2005
Springer
15 years 11 months ago
Noisy Turing Machines
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
Eugene Asarin, Pieter Collins
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
15 years 7 months ago
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
Jasen Markovski, Erik P. de Vink
ICALP
2007
Springer
15 years 11 months ago
Perfect Information Stochastic Priority Games
We introduce stochastic priority games — a new class of perfect information stochastic games. These games can take two different, but equivalent, forms. In stopping priority ga...
Hugo Gimbert, Wieslaw Zielonka