1729 search results - page 113 / 346 » Deterministic Expressions in C |
120
click to vote
BTW
2007
Springer
15 years 11 months ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
107
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
152
click to vote
PADO
2001
Springer
15 years 9 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
152
click to vote
IFL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
129
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...