Sciweavers

87
Voted
ACTA
2008
88views more  ACTA 2008»
14 years 9 months ago
Weighted height of random trees
We consider a model of random trees similar to the split trees of Devroye [30] in which a set of items is recursively partitioned. Our model allows for more flexibility in the cho...
Nicolas Broutin, Luc Devroye, Erin McLeish
55
Voted
ACTA
2008
90views more  ACTA 2008»
14 years 11 months ago
Algebraic reasoning for probabilistic action systems and while-loops
Larissa Meinicke, Ian J. Hayes
92
Voted
ACTA
2008
136views more  ACTA 2008»
14 years 11 months ago
Two-dimensional packing with conflicts
We study the two-dimensional version of the bin packing problem with conflicts. We are given a set of (two-dimensional) squares V = {1, 2, . . . , n} with sides s1, s2 . . . , sn ...
Leah Epstein, Asaf Levin, Rob van Stee
81
Voted
ACTA
2008
82views more  ACTA 2008»
14 years 11 months ago
Two-tier relaxed heaps
Abstract. We introduce an adaptation of run-relaxed heaps which provides efficient heap operations with respect to the number of element comparisons performed. Our data structure g...
Amr Elmasry, Claus Jensen, Jyrki Katajainen