384 search results - page 16 / 77 » On the Semantics of Markov Automata |
129
click to vote
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, a framework that combines feature extraction, model learning, and likelihood computation, is presented for video event detection. First, the independent component a...
123
Voted
PODS
2010
ACM
15 years 3 months ago
2010
ACM
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....
117
click to vote
QEST
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
100
Voted
FSTTCS
2004
Springer
15 years 7 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...
113
Voted
ENTCS
2006
15 years 1 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...