Sciweavers

4198 search results - page 301 / 840
» In search of lost time
Sort
View
189
Voted
SODA
2008
ACM
143views Algorithms» more  SODA 2008»
15 years 8 months ago
Dynamic optimality for skip lists and B-trees
Sleator and Tarjan [39] conjectured that splay trees are dynamically optimal binary search trees (BST). In this context, we study the skip list data structure introduced by Pugh [...
Prosenjit Bose, Karim Douïeb, Stefan Langerma...
IJCAI
2003
15 years 8 months ago
Efficient Symmetry Breaking for Boolean Satisfiability
Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
IJCAI
2003
15 years 8 months ago
Tractable Symmetry Breaking for CSPs with Interchangeable Values
Symmetry breaking in CSPs has attracted consid­ erable attention in recent years. Various general schemes have been proposed to eliminate sym­ metries during search. In general,...
Pascal Van Hentenryck, Pierre Flener, Justin Pears...
UIST
2009
ACM
16 years 1 months ago
Relaxed selection techniques for querying time-series graphs
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
Christian Holz, Steven Feiner
CIKM
1997
Springer
15 years 11 months ago
Block Addressing Indices for Approximate Text Retrieval
Although the issue of approximate text retrieval is gaining importance in the last years, it is currently addressed by only a few indexing schemes. To reduce space requirements, t...
Ricardo A. Baeza-Yates, Gonzalo Navarro