1054 search results - page 103 / 211 » Guarded Expressions in Practice |
122
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper explains why parallel implementation of matrix multiplication--a seemingly simple algorithm that can be expressed as one statement and three nested loops--is complex: P...
156
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
To support the retrieval and fusion of multimedia information from multiple sources and databases, a spatial/temporal query language called ΣQL is proposed. ΣQL is based upon th...
178
click to vote
SSDBM
1998
IEEE
15 years 10 months ago
1998
IEEE
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...
165
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
167
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...