Search Sciweavers | Sciweavers

11394 search results - page 151 / 2279

» Error-Correcting Data Structures

121

click to vote

STOC
2009
ACM

120views Algorithms» more STOC 2009»

Bit-probe lower bounds for succinct data structures

16 years 3 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 »

111

click to vote

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 3 months ago

Download www.cs.wisc.edu

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

claim paper

Read More »

171

click to vote

SIGMOD
2007
ACM

157views Database» more SIGMOD 2007»

Leveraging data and structure in ontology integration

16 years 3 months ago

Download www.cse.buffalo.edu

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

claim paper

Read More »

110

Voted

SODA
2010
ACM

409views Algorithms» more SODA 2010»

Data Structures for Range Minimum Queries in Multidimensional Arrays

16 years 16 days 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 »

click to vote

APSEC
2009
IEEE

162views Software Engineering» more APSEC 2009»

Web Services Composition by I/O Data Structure Correspondences

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers