131
Voted
INFORMS
2010
14 years 11 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
INFORMS
2010
14 years 11 months ago
2010
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...
102
Voted
INFORMS
2010
14 years 11 months ago
2010
Two-step MIR inequalities are valid inequalities derived from a facet of a simple mixedinteger set with three variables and one constraint. In this paper we investigate how to eff...
125
Voted
INFORMS
2010
14 years 11 months ago
2010
The quadratic linear ordering problem naturally generalizes various optimization problems, such as bipartite crossing minimization or the betweenness problem, which includes linear...
115
Voted
INFORMS
2010
15 years 27 days ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
87
Voted
INFORMS
2010
15 years 27 days ago
2010
93
Voted
INFORMS
2010
15 years 27 days ago
2010
89
Voted
INFORMS
2010
15 years 27 days ago
2010
132
click to vote
INFORMS
2010
15 years 27 days ago
2010
Haplotyping estimation from aligned Single Nucleotide Polymorphism (SNP) fragments has attracted more and more attention in the recent years due to its importance in analysis of m...