Results 91 to 100 of about 49,735 (203)
Some design issues in the visualization of constraint logic program execution [PDF]
, 1998 Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of expectations or are altogether inadequate for new programming paradigms ...
Hermenegildo, Manuel V. +3 more
core
Corporate Social Responsibility in CLP Group
, 2016 Established in Hong Kong in 1901, China Light and Power (CLP) has developed to become one of the largest investor-owned energy firms in the Asia-Pacific.
Teresa Shuk-Ching Poon
core +1 more source
PRODUCTS OF SEQUENTIAL CLP-COMPACT SPACES ARE CLP-COMPACT
, 2008 . It is shown that the product of finitely many sequential, CLP-compact spaces is CLPcompact. The class of spaces which have the property that every cover by clopen sets — sets which are both open and closed — has a finite subcover was introduced by A. ˇ
Juris Stepr Āns
core
Optimizing Compilation for CLP(R)
, 2007 Constraint Logic Programming (CLP) is a recent innovation in programming language design. CLP languages extend logic programming by allowing constraints from different domains such as real numbers or Boolean functions.
Roland H. C. Yap +3 more
core
Direttiva Seveso: possibili modifiche a seguito dell'entrata in vigore del Regolamento CLP
, 2010 Il Regolamento (CE) n. 1272/2008 (CLP) (1) traspone in Europa il Globally Harmonized System of Classification and Labelling of Chemicals (GHS) che rappresenta il sistema armonizzato mondiale/globale per la classificazione ed etichettatura dei prodotti ...
Paolo Ceci
core
Transformations of CLP modules [PDF]
, 1995 We propose a transformation system for CLP programs and modules. The framework is inspired by the one of Tamaki and Sato for pure logic programs.
Gabbrielli, M., Etalle, S. (Sandro)
core
, 2007 We describe two extensions of CLP(!), motivated by an application to modelbased diagnosis of active analog filters. The first extension addresses the problem of rounding errors in CLP(!).
Igor Mozetic +2 more
core
Letter to Furman CLP Committee
, 2004 Letter to CLP Committee expressing concerns with the representation of the LGBTQIA+ community on CLP ...
Radel, Nick
core
A Powerful Evaluation Strategy For CLP Programs
, 1993 This paper presents a new, powerful evaluation strategy (OLDTC-AM) for CLP programs. OLDTCAM is developed by combining the OLDT evaluation strategy with a logical answer manipulation mechanism.
David S. Warren, Hong Gao
core
Dose-Dependent Effects of Clinoptilolite Supplementation on Sperm Quality and Oxidative Stress During Canine Semen Cryopreservation. [PDF]
Vet Med SciCoşkun N, Karaca F.
europepmc +1 more source