2776 search results - page 105 / 556 » System-Level Abstraction Semantics |
155
Voted
ESWS
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Knowledge Management systems are one of the key strategies that allow companies to fully tap into their collective knowledge. However, two main entry barriers currently l...
111
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
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...
153
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
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...
135
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
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...
111
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
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...