384 search results - page 29 / 77 » On the Semantics of Markov Automata |
130
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
105
click to vote
ENTCS
2007
15 years 1 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
127
Voted
INFORMATICALT
2008
15 years 1 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
133
Voted
ACL
2012
13 years 4 months ago
2012
Many semantic parsing models use tree transformations to map between natural language and meaning representation. However, while tree transformations are central to several state-...
205
click to vote
ENTCS
2006
15 years 1 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...