Sciweavers

2143 search results - page 112 / 429
» corr 2010
Sort
View
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 26 days 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
101
Voted
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 25 days 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
90
Voted
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 25 days 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
93
Voted
CORR
2010
Springer
96views Education» more  CORR 2010»
14 years 10 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
93
Voted
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 26 days 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