Sciweavers

716 search results - page 139 / 144
» Semilinear Program Feasibility
Sort
View
CORR
2010
Springer
92views Education» more  CORR 2010»
14 years 9 months ago
Parameterizing by the Number of Numbers
The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization." In this paper we introduce and expl...
Michael R. Fellows, Serge Gaspers, Frances A. Rosa...
CORR
2010
Springer
83views Education» more  CORR 2010»
14 years 9 months ago
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling
One of the differences among the various approaches to suspension-based tabled evaluation is the scheduling strategy. The two most popular strategies are local and batched evaluat...
Pablo Chico de Guzmán, Manuel Carro, David ...
70
Voted
ENVSOFT
2006
72views more  ENVSOFT 2006»
14 years 9 months ago
Integrating legacy components into a software system for storm sewer simulation
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
Shiu-Shin Lin, Shang-Hsien Hsieh, Jan-Tai Kuo, Yin...
COR
2007
80views more  COR 2007»
14 years 9 months ago
Scheduling with tool changes to minimize total completion time under controllable machining conditions
Scheduling under controllable machining conditions has been studied for some time. Scheduling with tool changes, particularly due to tool wear, has just begun to receive attention...
M. Selim Akturk, Jay B. Ghosh, Rabia K. Kayan
JCC
2008
88views more  JCC 2008»
14 years 9 months ago
A self-organizing algorithm for molecular alignment and pharmacophore development
Abstract: We present a method for simultaneous three-dimensional (3D) structure generation and pharmacophorebased alignment using a self-organizing algorithm called Stochastic Prox...
Deepak Bandyopadhyay, Dimitris K. Agrafiotis