Sciweavers

2143 search results - page 112 / 429
» corr 2010
Sort
View
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 4 months ago
Dominion -- A constraint solver generator
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
Lars Kotthoff
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 4 months ago
Unifying the Landscape of Cell-Probe Lower Bounds
We show that a large fraction of the data-structure lower bounds known today in fact follow by reduction from the communication complexity of lopsided (asymmetric) set disjointness...
Mihai Patrascu
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 4 months ago
On Packing Colorings of Distance Graphs
The packing chromatic number (G) of a graph G is the least integer k for which there exists a mapping f from V (G) to {1, 2, . . ., k} such that any two vertices of color i
Olivier Togni
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 1 months ago
A tight bound on the worst-case number of comparisons for Floyd's heap construction algorithm
Abstract. In this paper a tight bound on the worst-case number of comparisons for Floyd's well known heap construction algorithm, is derived. It is shown that at most 2n - 2
Ioannis K. Paparrizos
127
Voted
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 4 months ago
Coding objects related to Catalan numbers
A coding method using binary sequences is presented for different computation problems related to Catalan numbers. This method proves in a very easy way the equivalence of these pr...
Antal Bege, Zoltán Kása