1736 search results - page 10 / 348 » Semantic Annotation for Java |
FIDJI
2004
Springer
14 years 1 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
We present the interest of the Semantic Web techniques, particularly semantic annotation, in the biochip domain. We propose a semi-automatic method using the information extraction...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
LREC
2008
13 years 9 months ago
2008
In this paper we present an active approach to annotate with lexical and semantic labels an Italian corpus of conversational human-human and Wizard-of-Oz dialogues. This procedure...
DAGSTUHL
2004
13 years 9 months ago
2004
A rich semantic model of annotation is presented that distinguishes several annotation types, uses controlled vocabulary where appropriate, and supports multi-facetted characteriza...