2661 search results - page 72 / 533 » A Semantics for Abstraction |
157
click to vote
IFL
2001
Springer
15 years 10 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...
170
click to vote
PDPTA
2010
15 years 4 months ago
2010
Abstract-- The success of Web Services as a tool to decouple and distribute different processes is beyond any doubt. On the one hand, their distributed nature makes them perfect to...
163
click to vote
LREC
2010
15 years 7 months ago
2010
Particular uses of PNs with sense extension are focussed on and inspected taking into account the presence of PNs in lexical semantic databases and electronic corpora. Methodology...
154
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
138
click to vote
SG
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This paper introduces a semantic representation for virtual prototyping in interactive virtual construction applications. The representation reflects semantic information...