Sciweavers

66 search results - page 3 / 14
» cp 2010
Sort
View
EOR
2010
98views more  EOR 2010»
15 years 9 days ago
Lagrangean duals and exact solution to the capacitated p-center problem
In this work we study the Capacitated p-Center Problem (CpCP) and we propose an exact algorithm to solve it. We study two auxiliary problems and their relation to CpCP, and we pro...
Maria Albareda-Sambola, Juan A. Díaz, Elena...
105
Voted
EDCC
2010
Springer
15 years 5 months ago
HP: Hybrid Paxos for WANs
Implementing a fault-tolerant state machine boils down to reaching consensus on a sequence of commands. In wide area networks (WANs), where network delays are typically large and ...
Dan Dobre, Matthias Majuntke, Marco Serafini, Neer...
CP
2010
Springer
14 years 10 months ago
Local Consistency and SAT-Solvers
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
Justyna Petke, Peter Jeavons
88
Voted
CP
2010
Springer
14 years 10 months ago
A Systematic Approach to MDD-Based Constraint Programming
Abstract. Fixed-width MDDs were introduced recently as a more refined alternative for the domain store to represent partial solutions to CSPs. In this work, we present a systemati...
Samid Hoda, Willem Jan van Hoeve, John N. Hooker
BMCBI
2010
142views more  BMCBI 2010»
14 years 9 months ago
Comparison of Beta-value and M-value methods for quantifying methylation levels by microarray analysis
Background: High-throughput profiling of DNA methylation status of CpG islands is crucial to understand the epigenetic regulation of genes. The microarray-based Infinium methylati...
Pan Du, Xiao Zhang, Chiang-Ching Huang, Nadereh Ja...