Výsledky vyhledávání - "constraint logic programming"

Constraint Programming-Based Verification of COLREG Safety Autor 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…”
Získat plný text

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

“… It proposes a criterion for detecting non-terminating atomic queries with respect to binary constraint logic programming (CLP…”
Získat plný text

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

“…Solving scheduling problems with constraint logic programming has been a well studied subject in research projects over the last few years…”
Získat plný text

Typing constraint logic programs Autor 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…”
Získat plný text

A knowledge base approach for efficient home floor plan generation applying polygon based representation Autor 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…”
Získat plný text

Ramp rate constrained unit commitment by improved priority list and augmented Lagrange Hopfield network Autor 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…”
Získat plný text

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

Získat plný text

Enhanced merit order and augmented Lagrange Hopfield network for ramp rate constrained unit commitment Autor 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…”
Získat plný text