4397 search results - page 78 / 880 » Relational Algebra Operations |
100
click to vote
VLDB
1997
ACM
15 years 6 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
110
click to vote
IJCAI
1997
15 years 3 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
121
click to vote
JLP
2007
15 years 2 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
113
Voted
AML
1999
15 years 2 months ago
1999
The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, t...
120
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...