391 search results - page 32 / 79 » Compositionality for Probabilistic Automata |
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
—In this paper we extend our previous work on soft probabilistic contracts for QoS management, from the particular case of “response time”, to general QoS parameters. Our stu...
EVOW
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, biological (human) music composition systems based on Time Delay Neural Networks and Ward Nets and on a probabilistic Finite-State Machine will be presented. The sys...
NAACL
2004
13 years 10 months ago
2004
Many probabilistic models for natural language are now written in terms of hierarchical tree structure. Tree-based modeling still lacks many of the standard tools taken for grante...
ICECCS
2005
IEEE
14 years 2 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
FSTTCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...