15372 search results - page 2767 / 3075 » The Semantics of Semantic Annotation |
126
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...
134
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
138
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Ontologies such as taxonomies, product catalogs or web directories are heavily used and hence evolve frequently to meet new requirements or to better reflect the current instance d...
122
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
123
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...