Sciweavers

8647 search results - page 70 / 1730
» The Container Selection Problem
Sort
View
VMCAI
2009
Springer
15 years 4 months ago
The Higher-Order Aggregate Update Problem
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
Christos Dimoulas, Mitchell Wand
RTA
2010
Springer
14 years 8 months ago
The Undecidability of Type Related Problems in Type-free Style System F
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
Ken-etsu Fujita, Aleksy Schubert
COR
2010
108views more  COR 2010»
14 years 10 months ago
GRASP and path relinking for the max-min diversity problem
The Max-Min Diversity Problem (MMDP) consists in selecting a subset of elements from a given set in such a way that the diversity among the selected elements is maximized. The prob...
Mauricio G. C. Resende, Rafael Martí, Micae...
BMCBI
2010
88views more  BMCBI 2010»
14 years 10 months ago
FastTagger: an efficient algorithm for genome-wide tag SNP selection using multi-marker linkage disequilibrium
Background: Human genome contains millions of common single nucleotide polymorphisms (SNPs) and these SNPs play an important role in understanding the association between genetic ...
Guimei Liu, Yue Wang, Limsoon Wong
WSC
2008
15 years 3 days ago
Restricted subset selection
This paper develops procedures for selecting a set of normal populations with unknown means and unknown variances in order that the final subset of selected populations satisfies ...
E. Jack Chen