50 search results - page 10 / 10 » Towards Formal Interpretation of Semantic Annotation |
ICPR
2008
IEEE
13 years 11 months ago
2008
IEEE
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
EACL
2003
ACL Anthology
13 years 6 months ago
2003
ACL Anthology
We present a new grammar formalism for parsing with freer word-order languages, motivated by recent linguistic research in German and the Slavic languages. Unlike CFGs, these gram...
CHI
2009
ACM
13 years 8 months ago
2009
ACM
Mobile vision services are a type of mobile ITS applications that emerge with increased miniaturization of sensor and computing devices, such as in camera equipped mobile phones, ...
AMAI
2007
Springer
13 years 4 months ago
2007
Springer
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...