25218 search results - page 4711 / 5044 » A Logic-Based Information System |
167
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
191
click to vote
CIKM
1998
Springer
15 years 11 months ago
1998
Springer
Despite of the fact that large line segment datasets are appearing more and more frequently in numerous applications involving spatial data, such as GIS 8, 9] multimedia 6] and ev...
198
click to vote
NGITS
1997
Springer
15 years 11 months ago
1997
Springer
We propose a new algorithm, called Stripe-join, for performing a join given a join index. Stripe-join is inspired by an algorithm called \Jive-join" developed by Li and Ross....
163
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...
163
click to vote
ICPP
1994
IEEE
15 years 11 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...