159 search results - page 20 / 32 » Complete Laziness: a Natural Semantics |
FLAIRS
2009
13 years 6 months ago
2009
1 Two sentences are paraphrases if their meanings are equivalent but their words and syntax are different. Paraphrasing can be used to aid comprehension, stimulate prior knowledge,...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
ICDT
2007
ACM
14 years 3 months ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Business Intelligence (BI) requires the acquisition and aggregation of key pieces of knowledge from multiple sources in order to provide valuable information to customers...
WOLLIC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...