32545 search results - page 321 / 6509 » Data Structures and Algorithms |
159
click to vote
SAT
2004
Springer
16 years 3 days ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
165
click to vote
SPAA
2005
ACM
16 years 9 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
295
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Database archiving is important for the retrieval of old versions of a database and for temporal queries over the history of data. We demonstrate XArch, a management system for ma...
163
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
241
click to vote
JCST
2008
15 years 6 months ago
2008
Detecting duplicates in data streams is an important problem that has a wide range of applications. In general, precisely detecting duplicates in an unbounded data stream is not fe...