4382 search results - page 331 / 877 » Query by Semantic Example |
162
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
138
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
125
Voted
AIIA
1991
Springer
15 years 7 months ago
1991
Springer
The following paper describes FSS-WASTL, a system for the acquisition of semantic knowledge within XTRA – a natural language access system to expert systems. Starting from user-...
121
click to vote
ACL
1998
15 years 5 months ago
1998
As a lexical knowledge base constructed automatically from the definitions and example sentences in two machine-readable dictionaries (MRDs), MindNet embodies several features tha...
104
click to vote
ACL
1994
15 years 5 months ago
1994
This paper will focus on the semantic representation of verbs in computer systems and its impact on lexical selection problems in machine translation (MT). Two groups of English a...