• Suche: "constraint logic programming"

Treffer 61 - 80 von 1.800

61

Constraint Logic Programming with Polynomial Constraints over Finite Domains
Federico Bergenti ; Stefania Monica ; Gianfranco Rossi ; et al.
Fundamenta Informaticae. 161:9-27

0211 other engineering a... Constraint logic program... Modified Bernstein form Polynomial constraints o... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
62

Solving Horn Clauses on Inductive Data Types Without Induction
EMANUELE DE ANGELIS ; FABIO FIORAVANTI ; ALBERTO PETTOROSSI ; et al.
Theory and practice of logic programming 18 (2018): 452–469. doi:10.1017/S1471068418000157
info:cnr-pdr/source/autori:De Angelis E.; Fioravanti F.; Pettorossi A.; Proietti M./titolo:Solving Horn Clauses on Inductive Data Types Without Induction/doi:10.1017%2FS1471068418000157/rivista:Theory and practice of logic programming/anno:2018/pagina_da:452/pagina_a:469/intervallo_pagine:452–469/volume:18

Program Verification FOS: Computer and inform... Computer Science - Logic... Computer Science - Progr... Program verification constrained Horn clauses …
Fachzeitschrift
Zu den Favoriten
63

A hybrid SA-MFO algorithm for function optimization and engineering design problems
Gehad Ismail Sayed ; Aboul Ella Hassanien
Complex & Intelligent Systems. 4:195-212

Artificial intelligence 0209 industrial biotechn... Heuristic Local optimum 02 engineering and techn... Constraint satisfaction …
Fachzeitschrift
Zu den Favoriten
64

Internal volumetric heat generation and heat capacity prediction during a material electromagnetic treatment process using hybrid algorithms
Edgar García-Morantes ; Iván Amaya ; Rodrigo Correa-Cely
Ingeniería e Investigación, Volume: 38, Issue: 1, Pages: 74-82, Published: APR 2018

Composite material campo electromagnético problemas inversos Inverse Problems in Math... Inverse Radiative Heat T... Inverse Scattering Theor... …
Fachzeitschrift
Zu den Favoriten
65

ENHANCED SPREADSHEET COMPUTING WITH FINITEDOMAIN CONSTRAINT SATISFACTION
Ezana N. Beyenne ; Hai-Feng Guo

Spreadsheet computing Finite-domain constraint... Constraint logic program...
Fachzeitschrift
Zu den Favoriten
66

Kripke semantics for higher-order type theory applied to constraint logic programming languages
Lipton, James ; Nieva, Susana
In Theoretical Computer Science 15 February 2018 712:1-37

Fachzeitschrift
Zu den Favoriten
67

Best Solutions in constraint logic programming
Meilleures solutions en programmation en logique avec contraintes
Cousin, Xavier ; Auteur indépendant
General Conterence TOOLS, TECHNIQUES & METHODS, May 1991, Avignon, France

Avignon, France constraint logic program... constraint relaxation constraint hierarchy decision support programmation en logique... …
Konferenz
Zu den Favoriten
68

The pyglaf argumentation reasoner (ICCMA2021)
Mario Alviano

FOS: Computer and inform... Artificial intelligence Computer Science - Artif... 68T30 Argumentation theory 02 engineering and techn... …
Zu den Favoriten
69

{CUDA}: Set constraints on GPUs
DOVIER AGOSTINO ; FORMISANO ANDREA ; PONTELLI ENRICO ; et al.

constraint logic program... parallelism 8T27 Constraint Programming,... 68N17 Computable set theory …
Fachzeitschrift
Zu den Favoriten
70

Dieses Ergebnis kann Gästen nicht angezeigt werden.

71

A General Framework for Static Cost Analysis of Parallel Logic Programs
Maximiliano Klemen ; Pedro López-García ; John P. Gallagher ; et al.
Lecture Notes in Computer Science ISBN: 9783030452599
Logic-Based Program Synthesis and Transformation | 29th International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2019) | 8-10 Oct 2019 | Oporto, Portugal
Archivo Digital UPM
Universidad Politécnica de Madrid

Informática Resource usage analysis Prolog 0202 electrical engineer... Parallelism 0102 computer and inform... …
Buch
Zu den Favoriten
72

Using Constraint Logic Programming to Analyze the Chronology in "A Rose for Emily"
Burg, Jennifer ; Boyle, Anne ; Lang, Sheau-Dong
Computers and the Humanities, 2000 Dec 01. 34(4), 377-392.

Fachzeitschrift
Zu den Favoriten
73

Declarative Representation and Solution of Vehicle Routing with Pickup and Delivery Problem
Bădică, Amelia ; Bădică, Costin ; Leon, Florin ; et al.
In Procedia Computer Science 2017 108:958-967

Fachzeitschrift
Zu den Favoriten
74

Controlling Polyvariance for Specialization-based Verification
Fioravanti Fabio ; Pettorossi Alberto ; Proietti Maurizio ; et al.
Fundamenta informaticae 124 (2013): 483–502. doi:10.3233/FI-2013-845
info:cnr-pdr/source/autori:Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio/titolo:Controlling polyvariance for specialization-based verification/doi:10.3233%2FFI-2013-845/rivista:Fundamenta informaticae/anno:2013/pagina_da:483/pagina_a:502/intervallo_pagine:483–502/volume:124
Fundamenta informaticae 124 (2013): 483–502.
info:cnr-pdr/source/autori:Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni/titolo:Controlling Polyvariance for Specialization-based Verification/doi:/rivista:Fundamenta informaticae/anno:2013/pagina_da:483/pagina_a:502/intervallo_pagine:483–502/volume:124
26th Italian Conference on Computational Logic (CILC'11), 2011
info:cnr-pdr/source/autori:Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V./congresso_nome:26th Italian Conference on Computational Logic (CILC'11)/congresso_luogo:/congresso_data:2011/anno:2011/pagina_da:/pagina_a:/intervallo_pagine

constraint logic program... QA75 Electronic computer... Settore ING-INF/05 - SIS... verification of infinite... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
75

Hybrid gravitational search particle swarm optimization algorithm for GMPPT under partial shading conditions
Jia Yi Leong ; Lenin Gopal ; Choo W. R. Chiong ; et al.
Green Technologies and Sustainability, Vol 1, Iss 3, Pp 100034-(2023)

Renewable energy PV 7. Clean energy Engineering GE1-350 Inverter …
Fachzeitschrift
Zu den Favoriten
76

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach
Sitek, Pawel ; Wikarek, Jarosław
Annals of Operations Research. 273(1-2):257-277

Fachzeitschrift
Zu den Favoriten
77

Predicate Pairing for program verification
De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto ; et al.
Theory and practice of logic programming 18 (2018): 126–166. doi:10.1017/S1471068417000497
info:cnr-pdr/source/autori:De Angelis E.; Fioravanti F.; Pettorossi A.; Proietti M./titolo:Predicate Pairing for program verification/doi:10.1017%2FS1471068417000497/rivista:Theory and practice of logic programming/anno:2018/pagina_da:126/pagina_a:166/intervallo_pagine:126–166/volume:18

FOS: Computer and inform... Computer Science - Logic... constrained Horn clauses constraint logic program... program transformation program verification …
Fachzeitschrift
Zu den Favoriten
78

A constraint-driven approach to food supply chain management
Sitek, Pawel ; Wikarek, Jaroslaw ; Nielsen, Peter
Sitek, P, Wikarek, J & Nielsen, P 2017, 'A constraint-driven approach to food supply chain management', Industrial Management and Data Systems, vol. 117, no. 9, pp. 2115-2138. https://doi.org/10.1108/IMDS-10-2016-0465

2. Zero hunger Constraint logic program... Constraint satisfaction... Food supply chain manage... 0211 other engineering a... 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
79

Enhanced Spreadsheet Computing with Finite Domain Constraint Satisfaction
Hai-Feng Guo ; Ezana N.Beyenne
International Journal of Programming Languages and Applications. 5:1-16

FOS: Computer and inform... I.2 Constraint logic program... Computer Science - Progr... Finite-domain constraint... Computer Science - Artif... …
Fachzeitschrift
Zu den Favoriten
80

ENHANCED SPREADSHEET COMPUTING WITH FINITEDOMAIN CONSTRAINT SATISFACTION
Ezana N. Beyenne and Hai-Feng Guo

Spreadsheet computing Finite-domain constraint... Constraint logic program...
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter