2106 search results - page 181 / 422 » Operational Semantics for MSC'96 |
145
click to vote
ENTCS
2002
15 years 5 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
147
click to vote
ICDE
1993
IEEE
15 years 10 months ago
1993
IEEE
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
199
click to vote
LANMR
2004
15 years 7 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
177
click to vote
DEXA
2006
Springer
15 years 9 months ago
2006
Springer
Ontology alignment (or matching) is the operation that takes two ontologies and produces a set of semantic correspondences (usually semantic similarities) between some elements of ...
155
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
In this demo we present a first implementation of Semantic Web Pipes, a powerful tool to build RDF-based mashups. Semantic Web pipes are defined in XML and when executed they fetch...