6583 search results - page 349 / 1317 » Semantic Analysis Patterns |
123
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
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...
135
click to vote
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
150
Voted
CIVR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper investigates the applicability of high-level semantic features for video retrieval using the benchmarked data from TRECVID 2003 and 2004, addressing the contri...
156
click to vote
FLAIRS
2004
15 years 6 months ago
2004
The Semantic Web is intended for knowledge sharing among agents as well as humans. To achieve this goal, Ontologies, which express knowledge in a certain vitality as well as in a ...
147
click to vote
SWAP
2007
15 years 6 months ago
2007
The organization of the knowledge on the web is increasingly becoming a social task performed by online communities whose members share a common interest in classifying different t...