Suchergebnisse - "Constraint logic programming"

Constraint Programming-Based Verification of COLREG Safety von Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq

“… In this article, we study the consistency and sufficiency of a subset of COLREG rules by applying constraint logic programming and formal verification techniques to identify corner cases that do not …”
Volltext

A non-termination criterion for binary constraint logic programs von PAYET, ÉTIENNE, MESNARD, FRED

“… It proposes a criterion for detecting non-terminating atomic queries with respect to binary constraint logic programming (CLP …”
Volltext

Scheduling, limited capacity and constraint logic programming von Petith, H.

“… Solving scheduling problems with constraint logic programming has been a well studied subject in research projects over the last few years …”
Volltext

Typing constraint logic programs von FAGES, FRANÇOIS, COQUERY, EMMANUEL

“… -programming predicates, thanks to the exibility of subtyping. The property of subject reduction expresses the consistency of a prescriptive type system w.r.t …”
Volltext

A knowledge base approach for efficient home floor plan generation applying polygon based representation von Rajapaksha, R. P. M. C., Jayawardena, K. G. T., Fernando, Shantha

“… This paper presents a novel and flexible technique for generating floor plans subject to minimum geometrical requirements, architectural and legal attributes by showing generated floor plans …”
Volltext

Ramp rate constrained unit commitment by improved priority list and augmented Lagrange Hopfield network von Dieu, Vo Ngoc, Ongsakul, Weerakorn

“… ) for solving ramp rate constrained unit commitment (RUC) problem. The proposed IPL-ALH minimizes the total production cost subject to the power balance, 15 min spinning …”
Volltext

A Hybrid Method for the Planning and Scheduling von Hooker, J. N.

Volltext

Enhanced merit order and augmented Lagrange Hopfield network for ramp rate constrained unit commitment von Dieu, V.N., Ongsakul, W.

“… ) for solving ramp rate constrained unit commitment (RUC) problem. The proposed EMO-ALH minimizes the total production cost subject to the power balance, 15 minute spinning …”
Volltext