Sciweavers

6894 search results - page 18 / 1379
» Generation Problems
Sort
View
CP
1999
Springer
15 years 10 months ago
A Framework for Constraint Programming Based Column Generation
Column generation is a state-of-the-art method for optimally solving di cult large-scale optimization problems such as airline crew assignment. We show how to apply column generati...
Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo ...
FORTE
2008
15 years 7 months ago
Model Generation for Horn Logic with Stratified Negation
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
Ethan K. Jackson, Wolfram Schulte
EDM
2010
165views Data Mining» more  EDM 2010»
15 years 7 months ago
Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems
A Bayesian Knowledge Base is a generalization of traditional Bayesian Networks where nodes or groups of nodes have independence. In this paper we describe a method of generating a ...
John C. Stamper, Tiffany Barnes, Marvin J. Croy
JOLLI
2010
78views more  JOLLI 2010»
15 years 4 months ago
On the Membership Problem for Non-Linear Abstract Categorial Grammars
embership problem for non-linear Abstract Categorial Grammars Sylvain Salvati Abstract In this paper we show that the membership problem for second order nonbstract Categorial Gram...
Sylvain Salvati
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
15 years 27 days ago
Curvature-continuous trajectory generation with corridor constraint for autonomous ground vehicles
We present a practical path planning algorithm based on B
Ji-wung Choi, Renwick E. Curry, Gabriel Hugh Elkai...