1814 search results - page 225 / 363 » Extended First-Order Logic |
117
click to vote
DAWAK
2003
Springer
15 years 8 months ago
2003
Springer
On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. In this paper we introduce the Cube Presentation Model (CPM), a ...
137
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
134
click to vote
FLOPS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
138
Voted
VLDB
1990
ACM
15 years 7 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
111
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to r...