15372 search results - page 311 / 3075 » The Semantics of Semantic Annotation |
198
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
166
click to vote
AES
2006
Springer
15 years 6 months ago
2006
Springer
Determining the semantic similarity is an important issue in the development of semantic search technology. In this paper, we propose an approach to determining the semantic simil...
157
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: The digital media and games industry is one of the biggest IT based industries worldwide. Recent observations therein showed that current production workflows may be pote...
147
click to vote
TGIS
2010
15 years 5 months ago
2010
Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides ...
165
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...