Sciweavers

290 search results - page 24 / 58
» Temporal Analysis of Semantic Graphs Using ASALSAN
Sort
View
WIOPT
2010
IEEE
14 years 8 months ago
Hub-betweenness analysis in delay tolerant networks inferred by real traces
—In this paper we study the influence of using hub nodes to relay messages in human-based delay tolerant networks (DTNs), by analyzing empirical traces obtained by human mobilit...
Giuliano Grossi, Federico Pedersini
66
Voted
ICALT
2009
IEEE
15 years 4 months ago
Korean Word Associations: The Linked Structures for Language Learning
This paper reports on Korean Word Associations (KorWA) which were collected to construct a semantic network for Korean language. An approach of graph representation and network an...
Jaeyoung Jung, Nobuyasu Makoshi, Hiroyuki Akama
ICIP
2006
IEEE
15 years 11 months ago
Video Event Detection using ICA Mixture Hidden Markov Models
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...
Jian Zhou, Xiao-Ping Zhang
70
Voted
ICMCS
2000
IEEE
100views Multimedia» more  ICMCS 2000»
15 years 2 months ago
About the Semantic Verification of SMIL Documents
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
Paulo Nazareno Maia Sampaio, C. A. S. Santos, Jean...
RTS
2006
176views more  RTS 2006»
14 years 9 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt