950 search results - page 7 / 190 » Machine semantics |
ENTCS
2006
13 years 11 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
IUCS
2009
ACM
14 years 5 months ago
2009
ACM
This paper applied “Sandglass” machine translation architecture to the task of translating Japanese functional expressions into English. We employ the semantic equivalence cla...
IFL
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
ICALT
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we examine the semantic aspects of learning from both pedegogical and technological points of view. We suggest that if semantics are to fullfil their potential in th...
BNCOD
2001
14 years 7 days ago
2001
The core idea of the Semantic Web is to make information accessible to human and software agents on a semantic basis. Hence, web sites may feed directly from the Semantic Web explo...