5451 search results - page 316 / 1091 » Typed Operational Semantics |
130
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
119
click to vote
IUCS
2009
ACM
15 years 11 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...
137
click to vote
COSIT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
123
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
This document describes an ongoing commercial project that aims to model the cultural heritage domain in an ontology, containing data from eleven types of heritages, from bibliogra...
133
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we describe data support in an information system to support contextual, online negotiation of privacy contracts for e-commerce on the Semantic Web. Context is impo...