2776 search results - page 234 / 556 » System-Level Abstraction Semantics |
179
click to vote
SPIN
2007
Springer
16 years 11 days ago
2007
Springer
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...
177
click to vote
TLCA
2007
Springer
16 years 11 days ago
2007
Springer
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...
149
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents the ONTOSUM system which uses Natural Language Generation (NLG) techniques to produce textual summaries from Semantic Web ontologies. The main contrib...
158
click to vote
KES
2005
Springer
15 years 11 months ago
2005
Springer
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...
160
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...