Sciweavers

11394 search results - page 240 / 2279
» Error-Correcting Data Structures
Sort
View
128
Voted
CC
2005
Springer
120views System Software» more  CC 2005»
15 years 9 months ago
Data Slicing: Separating the Heap into Independent Regions
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
Jeremy Condit, George C. Necula
128
Voted
ADC
2003
Springer
173views Database» more  ADC 2003»
15 years 8 months ago
Cooperative Query Answering for Semistructured Data
Semistructured data, in particular XML, has emerged as one of the primary means for information exchange and content management. The power of XML allows authors to structure a doc...
Michael Barg, Raymond K. Wong
230
Voted
SIGMOD
2009
ACM
219views Database» more  SIGMOD 2009»
16 years 3 months ago
Hermes: a travel through semantics on the data web
The Web as a global information space is developing from a Web of documents to a Web of data. This development opens new ways for addressing complex information needs. Search is n...
Haofen Wang, Thomas Penin, Kaifeng Xu, Junquan Che...
143
Voted
CIKM
2004
Springer
15 years 9 months ago
Using a compact tree to index and query XML data
Indexing XML is crucial for efficient XML query processing. We propose a compact tree (Ctree) for XML indexing, which provides not only concise path summaries at group level but a...
Qinghua Zou, Shaorong Liu, Wesley W. Chu
115
Voted
TVCG
2008
87views more  TVCG 2008»
15 years 3 months ago
The Seismic Analyzer: Interpreting and Illustrating 2D Seismic Data
We present a toolbox for quickly interpreting and illustrating 2D slices of seismic volumetric reflection data. Searching for oil and gas involves creating a structural overview of...
Daniel Patel, Christopher Giertsen, John Thurmond,...