Sciweavers

384 search results - page 18 / 77
» On the Semantics of Markov Automata
Sort
View
CVPR
2007
IEEE
16 years 3 months ago
Segmental Hidden Markov Models for View-based Sport Video Analysis
We present a generative model approach to explore intrinsic semantic structures in sport videos, e.g., the camera view in American football games. We will invoke the concept of se...
Yi Ding, Guoliang Fan
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
15 years 8 months ago
Video Database Modeling and Temporal Pattern Retrieval using Hierarchical Markov Model Mediator
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
Na Zhao, Shu-Ching Chen, Mei-Ling Shyu
ASWEC
2007
IEEE
15 years 8 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
15 years 8 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
115
Voted
AIRS
2006
Springer
15 years 3 months ago
Text Mining for Medical Documents Using a Hidden Markov Model
Abstract. We propose a semantic tagger that provides high level concept information for phrases in clinical documents. It delineates such information from the statements written by...
Hyeju Jang, Sa-Kwang Song, Sung-Hyon Myaeng