Sciweavers

2696 search results - page 223 / 540
» Semantic Abstraction and Anaphora
Sort
View
SAMT
2007
Springer
137views Multimedia» more  SAMT 2007»
16 years 22 days ago
Leveraging Ontologies, Context and Social Networks to Automate Photo Annotation
Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...
Fergal Monaghan, David O'Sullivan
SEMWEB
2007
Springer
16 years 22 days ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans
SEMWEB
2007
Springer
16 years 22 days ago
Tag Mediated Society with SCOT Ontology
Abstract. In this paper we give an overview of the int.ere.st for a social tagging, bookmarking, and sharing service. It is based on the SCOT ontology. The SCOT ontology can repres...
Hak Lae Kim, Sung-Kwon Yang, Seung-Jae Song, John ...
SPIN
2007
Springer
16 years 21 days ago
An Embeddable Virtual Machine for State Space Generation
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
Michael Weber
TLCA
2007
Springer
16 years 21 days ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan