Sciweavers

4451 search results - page 204 / 891
» On Random Ordering Constraints
Sort
View
PROCEDIA
2011
14 years 9 months ago
Exact Closest String as a Constraint Satisfaction Problem
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
Tom Kelsey, Lars Kotthoff
CP
2009
Springer
16 years 6 months ago
Propagator Groups
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
Mikael Z. Lagerkvist, Christian Schulte
ECP
1997
Springer
88views Robotics» more  ECP 1997»
15 years 10 months ago
A Time and Resource Problem for Planning Architectures
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
Amedeo Cesta, Cristiano Stella
ICCAD
2005
IEEE
114views Hardware» more  ICCAD 2005»
16 years 3 months ago
Statistical timing analysis with two-sided constraints
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
Khaled R. Heloue, Farid N. Najm
CDC
2008
IEEE
175views Control Systems» more  CDC 2008»
16 years 19 days ago
Transformation of optimal control problems with a state constraint avoiding interior boundary conditions
— A well–known problem in constrained optimal control is the presence of interior boundary conditions for constrained arcs which require a–priori knowledge of the optimal sol...
Knut Graichen, Nicolas Petit, Andreas Kugi