Sciweavers

12052 search results - page 527 / 2411
» computing 2010
Sort
View
BMCBI
2010
135views more  BMCBI 2010»
15 years 7 months ago
MrsRF: an efficient MapReduce algorithm for analyzing large collections of evolutionary trees
Background: MapReduce is a parallel framework that has been used effectively to design largescale parallel applications for large computing clusters. In this paper, we evaluate th...
Suzanne Matthews, Tiffani L. Williams
DEDS
2010
97views more  DEDS 2010»
15 years 7 months ago
On Regression-Based Stopping Times
We study approaches that fit a linear combination of basis functions to the continuation value function of an optimal stopping problem and then employ a greedy policy based on the...
Benjamin Van Roy
ENDM
2010
100views more  ENDM 2010»
15 years 7 months ago
Large-scale multi-period precedence constrained knapsack problem: A mining application
We study an extension of the precedence constrained knapsack problem where the knapsack can be filled in multiple periods. This problem is known in the mining industry as the open...
Eduardo Moreno, Daniel G. Espinoza, Marcos Goycool...
EOR
2010
145views more  EOR 2010»
15 years 7 months ago
Robust and data-driven approaches to call centers
We propose both robust and data-driven approaches to a fluid model of call centers that incorporates random arrival rates with abandonment to determine staff levels and dynamic ro...
Dimitris Bertsimas, Xuan Vinh Doan
ENTCS
2006
109views more  ENTCS 2006»
15 years 7 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone