1981 search results - page 210 / 397 » Model-Checking Hierarchical Structures |
107
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a novel broadband multimedia service called TV-Anytime. The basic idea of this service is to store broadcast media assets onto media server systems and allow c...
114
click to vote
FGR
2004
IEEE
15 years 6 months ago
2004
IEEE
Complex human motion (e.g. dance) sequences are typically analyzed by segmenting them into shorter motion sequences, called gestures. However, this segmentation process is subject...
120
Voted
COORDINATION
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
112
Voted
COLING
2008
15 years 4 months ago
2008
This paper describes an incremental approach to parsing transcribed spontaneous speech containing disfluencies with a Hierarchical Hidden Markov Model (HHMM). This model makes use...
126
Voted
DATESO
2007
15 years 4 months ago
2007
In this paper we briefly describe a new conceptual model for XML data called XSEM and how to use it for modeling XML interfaces of services in service oriented architecture (SOA)....