11394 search results - page 506 / 2279 » Error-Correcting Data Structures |
215
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
153
click to vote
ICPP
1995
IEEE
15 years 10 months ago
1995
IEEE
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
163
click to vote
AAAI
2006
15 years 8 months ago
2006
Many interesting Web-based AI problems require the ability to collect, store and process large text datasets. To address this problem, we have developed Slashpack, an integrated t...
128
click to vote
COLING
1992
15 years 7 months ago
1992
This paper exanfines certain aspects of phonological structure from the viewpoint of ahstract data types, Our imnlediate goal is to find a format for l)honological representation ...
161
click to vote
CG
1998
Springer
15 years 6 months ago
1998
Springer
Chemisty faces interesting problems with regard to internet-based information visualization, especially in the context of digital library documents with multimedia components. We ...