2661 search results - page 55 / 533 » A Semantics for Abstraction |
179
click to vote
IJCNLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
170
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
178
click to vote
SEMWEB
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
153
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
189
click to vote
WM
2003
15 years 7 months ago
2003
: We present an approach to using ontologies as interlingua in cross-language information retrieval in the medical domain. Our approach is based on using the Unified Medical Langu...