391 search results - page 32 / 79 » Compositionality for Probabilistic Automata |
121
Voted
ICWS
2009
IEEE
15 years 11 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...
153
Voted
EVOW
2008
Springer
15 years 4 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...
92
Voted
NAACL
2004
15 years 4 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
15 years 8 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...
110
click to vote
FSTTCS
2004
Springer
15 years 8 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...