Sciweavers

6794 search results - page 795 / 1359
» Semantics of Visual Languages
Sort
View
ESWS
2005
Springer
16 years 19 days ago
Temporal RDF
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...
Claudio Gutiérrez, Carlos A. Hurtado, Aleja...
IJCNLP
2005
Springer
16 years 18 days ago
Why Is Zero Marking Important in Korean?
This paper argues for the necessity of zero pronoun annotations in Korean treebanks and provides an annotation scheme that can be used to develop a gold standard for testing differ...
Sun-Hee Lee, Donna K. Byron, Seok Bae Jang
RULEML
2005
Springer
16 years 17 days ago
Uncertainty and RuleML Rulebases: A Preliminary Report
Abstract. Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Marku...
Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouv...
TLCA
2005
Springer
16 years 17 days ago
Proof Contexts with Late Binding
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
Virgile Prevosto, Sylvain Boulmé
UML
2005
Springer
16 years 17 days ago
Ontology-Based Model Transformation
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
Stephan Roser, Bernhard Bauer