384 search results - page 19 / 77 » On the Semantics of Markov Automata |
107
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
105
Voted
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
Robust semantic labeling of image regions is a basic problem in representing and retrieving image/video content. We propose an SVM-MRF framework to model features and their spatia...
121
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose an extractive summarization system with a novel non-generative probabilistic framework for speech summarization. One of the most underutilized features in extractive su...
110
Voted
FM
2001
Springer
15 years 6 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
IANDC
2006
15 years 1 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...