• Suche: "Constraint logic programming"

Treffer 41 - 60 von 1.800

41

A Novel Hybrid Multi-Verse Optimizer with Sine Cosine Algorithm for Global Optimization
Pham Vu Hong Son ; Nghiep Trinh Nguyen Dang

Stochastic programming Geometry 7. Clean energy Sine Artificial Intelligence Machine learning …
Fachzeitschrift
Zu den Favoriten
42

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling
Chesani, Federico ; Cota, Giuseppe ; Gavanelli, Marco ; et al.
In Engineering Applications of Artificial Intelligence October 2020 95

Fachzeitschrift
Zu den Favoriten
43

Integrating cardinality constraints into constraint logic programming with sets
Cristía, Maximiliano ; Rossi, Gianfranco

Ciencias Informáticas Constraint Logic Program... Theory of finite sets
Konferenz
Zu den Favoriten
44

Linear Lambda-Calculus is Linear
Alejandro Díaz-Caro ; Gilles Dowek ; Dowek, Gilles ; et al.

Foundations of Quantum M... Mathematical proof Linear logic Geometry [MATH] Mathematics [math... [INFO] Computer Science... …
Zu den Favoriten
45

Direct Foundations for Compositional Programming
Andong Fan ; Xuejing Huang ; Xu Han ; et al.

FOS: Computer and inform... Disjoint sets Well-founded semantics Mathematical proof Geometry Intersection types …
Fachzeitschrift
Zu den Favoriten
46

Static Performance Guarantees for Programs with Runtime Checks
Klemen, Maximiliano ; Stulova, Nataliia ; López García, Pedro ; et al.
PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming | 20th International Symposium on Principles and Practice of Declarative Programming (PPDP '18) | 03-05 Sep 2018 | Frankfurt
Archivo Digital UPM
instname

Informática Assertions Program Analysis Abstract Interpretation Resource Usage Analysis 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
47

Implementing type theory in higher order constraint logic programming
Guidi, Ferruccio ; Sacerdoti Coen, Claudio ; Tassi, Enrico ; et al.
Mathematical Structures in Computer Science. 29:1125-1150

[INFO.INFO-LO] Computer... [INFO.INFO-MS] Computer... type theory, higher orde... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
48

Multiple of Hybrid Lambda Iteration and Simulated Annealing Algorithm to Solve Economic Dispatch Problem with Ramp Rate Limit and Prohibited Operating Zones
Chiraphon Takeang ; Apinan Aurasopon
Journal of Electrical Engineering & Technology. 14:111-120

Economic dispatch Electricity Price and Lo... Economics 0211 other engineering a... Stochastic programming Adaptive simulated annea... …
Fachzeitschrift
Zu den Favoriten
49

Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation
Shengbing Ren ; Mengyu Jia
IEEE Access, Vol 7, Pp 62352-62360 (2019)

Constraint logic program... program transformation program slicing 0202 electrical engineer... large-scale software Electrical engineering.... …
Fachzeitschrift
Zu den Favoriten
50

How Reasonable are Common-Sense Reasoning Tasks: A Case-Study on the Winograd Schema Challenge and SWAG
Paul Trichelair ; Ali Emami ; Adam Trischler ; et al.
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). :3380-3385

FOS: Computer and inform... Computer Science - Machi... Artificial intelligence Computer Science - Artif... Economics Ferroelectric Devices fo... …
Fachzeitschrift
Zu den Favoriten
51

A compiler and virtual machine for constraint-logic object-oriented programming with Muli
Dageförde, Jan C. ; Kuchen, Herbert
In Journal of Computer Languages August 2019 53:63-78

Fachzeitschrift
Zu den Favoriten
52

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming
Pérez, Beatriz
In Journal of Biomedical Informatics April 2019 92

Fachzeitschrift
Zu den Favoriten
53

Reasoning about UML/OCL class diagrams using constraint logic programming and formula
Pérez, Beatriz ; Porres, Ivan
In Information Systems March 2019 81:152-177

Fachzeitschrift
Zu den Favoriten
54

Testing Your (Static Analysis) Truths
Ignacio Casso ; José F. Morales ; P. López-García ; et al.
Lecture Notes in Computer Science ISBN: 9783030684457
Testing your (static analysis) truths | En: Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020 Bologna, Italy, September 7–9, 2020 Proceedings | pag. 271-292 | Springer | 2021
Archivo Digital UPM
instname
LOPSTR 2020: 30th International Symposium on Logic-Based Program Synthesis and Transformation | 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) | 7-9 Sep 2020 | Bolonia (Italia)
Universidad Politécnica de Madrid

Informática Assertions Run-time checks 0202 electrical engineer... Program analysis Random testing …
Buch
Zu den Favoriten
55

Rerouting and Rescheduling of In-Plant Milk Run Based Delivery Subject to Supply Reconfigurability Constraints
Grzegorz Bocewicz ; Izabela Nielsen ; Zbigniew Banaszak ; et al.
Studies in Systems, Decision and Control ISBN: 9783030670627
Bocewicz, G, Nielsen, I & Banaszak, Z 2021, Rerouting and rescheduling of in-plant milk run based delivery subject to supply reconfigurability constraints. in G Bocewicz, J Pempera & V Toporkov (eds), Performance Evaluation Models for Distributed Service Networks. Springer, Studies in Systems, Decision and Control, vol. 343, pp. 55-78. https://doi.org/10.1007/978-3-030-67063-4_4

Rescheduling Constraint logic program... Milk-run traffic Vehicle routing problem Rerouting Reconfigurability
Buch
Zu den Favoriten
56

Freight transportation broker agent based on constraint logic programming
Bǎdicǎ, Costin ; Leon, Florin ; Bǎdicǎ, Amelia
Evolving Systems: An Interdisciplinary Journal for Advanced Science and Technology. 11(3):363-382

Fachzeitschrift
Zu den Favoriten
57

Selective Unification in (Constraint) Logic Programming*
Mesnard, Frédéric ; Payet, Etienne ; Vidal, Germán ; et al.
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Universitat Politècnica de València (UPV)
RiuNet: Repositorio Institucional de la Universitat Politécnica de Valéncia

Constraint logic program... Concolic testing Unification 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
58

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
GAVANELLI, Marco ; NONATO, Maddalena ; PEANO, Andrea ; et al.
Theory and Practice of Logic Programming. 17:800-818

FOS: Computer and inform... Artificial Intelligence... Computer Science - Artif... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
59

Semantics-based generation of verification conditions by program specialization
De Angelis ; Fioravanti ; Pettorossi ; et al.
Science of computer programming
147 (2017): 78–108. doi:10.1016/j.scico.2016.11.002
info:cnr-pdr/source/autori:De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M./titolo:Semantics-based generation of verification conditions via program specialization/doi:10.1016%2Fj.scico.2016.11.002/rivista:Science of computer programming (Print)/anno:2017/pagina_da:78/pagina_a:108/intervallo_pagine:78–108/volume:147
17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), pp. 91–102, Siena, 14-16/07/2015
info:cnr-pdr/source/autori:De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M./congresso_nome:17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)/congresso_luogo:Siena/congresso_data:14-16%2F07%2F2015/anno:2015/pagina_da:91/pagina_a:102/intervallo_pagine:91–102

2. Zero hunger constraint logic program... program transformation Constraint logic program... Horn clauses Program specialization …
Fachzeitschrift
Zu den Favoriten
60

A Hybrid Grey Wolf Optimiser Algorithm for Solving Time Series Classification Problems
Heba Nsour ; Mohammed Alweshah ; Abdelaziz I. Hammouri ; et al.
Journal of Intelligent Systems, Vol 29, Iss 1, Pp 846-857 (2018)

Artificial neural networ... Artificial intelligence Time delay neural networ... Probabilistic neural net... Science grey wolf optimiser …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter