2225 search results - page 281 / 445 » Logical Structures in the Lexicon |
163
click to vote
VLDB
2007
ACM
16 years 18 days ago
2007
ACM
GridVine is a Peer Data Management System based on a decentralized access structure. Built following the principle of data independence, it separates a logical layer – where dat...
158
click to vote
IJCNN
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
171
click to vote
SEFM
2006
IEEE
16 years 15 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
156
click to vote
SRDS
2005
IEEE
16 years 2 days ago
2005
IEEE
We present an algorithm by which nodes arranged in a tree, with each node initially knowing only its parent and children, can construct a fault-tolerant communication structure (a...
144
click to vote
DAS
2004
Springer
15 years 12 months ago
2004
Springer
Annotations on digital documents have clear advantages over annotations on paper. They can be archived, shared, searched, and easily manipulated. Freeform digital ink annotations a...