Sciweavers

2696 search results - page 99 / 540
» Semantic Abstraction and Anaphora
Sort
View
SEMWEB
2007
Springer
15 years 4 months ago
Approximate Measures of Semantic Dissimilarity under Uncertainty
Abstract. We propose semantic distance measures based on the criterion of approximate discernibility and on evidence combination. In the presence of incomplete knowledge, the dista...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
CAISE
2005
Springer
15 years 3 months ago
Event-Based Modeling of Evolution for Semantic-Driven Systems
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
Peter Plessers, Olga De Troyer, Sven Casteleyn
TLCA
2005
Springer
15 years 3 months ago
Relational Reasoning in a Nominal Semantics for Storage
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
Nick Benton, Benjamin Leperchey
AC
2003
Springer
15 years 3 months ago
Timed Automata: Semantics, Algorithms and Tools
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
Johan Bengtsson, Wang Yi
ASWC
2009
Springer
15 years 2 months ago
Semantic-Linguistic Feature Vectors for Search: Unsupervised Construction and Experimental Validation
Abstract. In this paper, we elaborate on an approach to construction of semantic-linguistic feature vectors (FV) that are used in search. These FVs are built based on domain semant...
Stein L. Tomassen, Darijus Strasunskas