Sciweavers

563 search results - page 14 / 113
» constraints 2002
Sort
View
HEURISTICS
2002
152views more  HEURISTICS 2002»
13 years 7 months ago
A Constraint-Based Method for Project Scheduling with Time Windows
This paper presents a heuristic algorithm for solving RCPSP/max, the resource constrained project scheduling problem with generalized precedence relations. The algorithm relies, a...
Amedeo Cesta, Angelo Oddi, Stephen F. Smith
MP
2002
113views more  MP 2002»
13 years 7 months ago
A note on sensitivity of value functions of mathematical programs with complementarity constraints
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
Xinmin Hu, Daniel Ralph
POPL
2002
ACM
14 years 7 months ago
The first-order theory of subtyping constraints
We investigate the first-order theory of subtyping constraints. We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where a...
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim...
ICRA
2002
IEEE
114views Robotics» more  ICRA 2002»
14 years 13 days ago
On Mechanical Control Systems with Nonholonomic Constraints and Symmetries
This paper presents a computationally efficient method for deriving coordinate representations for the equations of motion and the affine connection describing a class of Lagrangi...
Francesco Bullo, Milos Zefran
COLING
2002
13 years 7 months ago
From Shallow to Deep Parsing Using Constraint Satisfaction
We present in this paper a technique allowing to choose the parsing granularity within the same approach relying on a constraint-based formalism. Its main advantage lies in the fa...
Jean-Marie Balfourier, Philippe Blache, Tristan va...