384 search results - page 40 / 77 » On the Semantics of Markov Automata |
CSL
2007
Springer
15 years 5 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
120
click to vote
ICALP
1997
Springer
15 years 5 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
131
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper, a graphical modeling-based approach to semantic video analysis is presented for jointly realizing modality fusion and temporal context exploitation. Overall, the ex...
131
click to vote
IRI
2006
IEEE
15 years 8 months ago
2006
IEEE
We propose a semantic tagger that provides high level concept information for phrases based on several kinds of low level information about words in clinical narrative texts. The ...
CIVR
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we propose a new semantic event detection algorithm in structured video. A hybrid method that combines HMM with SVM to detect semantic events in video is proposed. T...