20441 search results - page 3943 / 4089 » Locally Computable Structures |
127
Voted
SIGMOD
1994
ACM
15 years 6 months ago
1994
ACM
Spatial joins are one of the most important operations for combining spatial objects of several relations. In this paper, spatial join processing is studied in detail for extended...
121
click to vote
KR
1992
Springer
15 years 6 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
143
click to vote
STACS
1992
Springer
15 years 6 months ago
1992
Springer
We show how to speed up two string-matching algorithms: the Boyer-Moore algorithm (BM algorithm), and its version called here the reverse factor algorithm (RF algorithm). The RF al...
144
Voted
EBERNBURG
1990
15 years 6 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
122
Voted
PPOPP
1990
ACM
15 years 5 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...