384 search results - page 38 / 77 » On the Semantics of Markov Automata |
AAAI
1990
15 years 3 months ago
1990
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...
108
click to vote
AIPS
1996
15 years 3 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
119
click to vote
ISM
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a top-down statistical modeling approach to explore the semantic structure in the American football video. First, a semantic space is defined where the video semantic ...
120
click to vote
JLP
2007
15 years 1 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
116
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...