Search Sciweavers | Sciweavers

11394 search results - page 151 / 2279

» Error-Correcting Data Structures

135

click to vote

STOC
2009
ACM

120views Algorithms» more STOC 2009»

Bit-probe lower bounds for succinct data structures

16 years 5 months ago

Download www.cs.umd.edu

We prove lower bounds on the redundancy necessary to represent a set S of objects using a number of bits close to the information-theoretic minimum log2 |S|, while answering vario...

Emanuele Viola

claim paper

Read More »

123

Voted

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

16 years 4 months ago

Download www.cs.wisc.edu

Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...

claim paper

Read More »

192

click to vote

SIGMOD
2007
ACM

157views Database» more SIGMOD 2007»

Leveraging data and structure in ontology integration

16 years 4 months ago

Download www.cse.buffalo.edu

Lise Getoor, Octavian Udrea, Renée J. Mille...

claim paper

Read More »

127

click to vote

SODA
2010
ACM

409views Algorithms» more SODA 2010»

Data Structures for Range Minimum Queries in Multidimensional Arrays

16 years 2 months ago

Download www.cs.purdue.edu

Given a d-dimensional array A with N entries, the Range Minimum Query (RMQ) asks for the minimum element within a contiguous subarray of A. The 1D RMQ problem has been studied int...

Hao Yuan, Mikhail J. Atallah

claim paper

Read More »

102

click to vote

APSEC
2009
IEEE

162views Software Engineering» more APSEC 2009»

Web Services Composition by I/O Data Structure Correspondences

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers