3679 search results - page 6 / 736 » Hybrid Semantic Analysis |
VVG
2003
14 years 11 months ago
2003
We report a novel method for logging and annotating video footage specifically for professional post-production and archivist end users. SALSA – Semi-Automated Logging with Sema...
95
Voted
REX
1991
15 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
100
Voted
SIGIR
2004
ACM
15 years 3 months ago
2004
ACM
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
88
Voted
ESOP
2008
Springer
15 years 1 days ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
74
Voted
ACTA
2007
14 years 10 months ago
2007
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...