• Search: "constraint logic programming"

Showing 101 - 120 of 1,800

101

This result is not available to guest users.

102

Autonomous agents coordination: Action languages meet CLP() and Linda
DOVIER, Agostino ; Formisano A ; Pontelli E.
Theory and Practice of Logic Programming. 13:149-173

FOS: Computer and inform... Computer Science - Logic... Computer Science - Progr... Artificial Intelligence... Computer Science - Artif... 0202 electrical engineer... …
Academic journal
Save to List
103

Predicting building façade structures with multilinear Gaussian graphical models based on few observations
Loch-Dehbi, Sandra ; Plümer, Lutz
In Computers, Environment and Urban Systems November 2015 54:68-81

Academic journal
Save to List
105

A Rule-based Verification Strategy for Array Manipulating Programs
De Angelis Emanuele ; Fioravanti Fabio ; Pettorossi Alberto ; et al.
Fundamenta informaticae 140 (2015): 329–355. doi:10.3233/FI-2015-1257
info:cnr-pdr/source/autori:De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio/titolo:A Rule-based Verification Strategy for Array Manipulating Programs/doi:10.3233%2FFI-2015-1257/rivista:Fundamenta informaticae/anno:2015/pagina_da:329/pagina_a:355/intervallo_pagine:329–355/volume:140

constraint logic program... program transformation Information Systems Computational Theory and... Theoretical Computer Sci... Algebra and Number Theor... …
Academic journal
Save to List
106

A Two-stage approach for an optimum solution of the car assembly scheduling problem. Part 2. CLP solution and real-world example
Antoni Niederliński ; Michał Mazur
Archives of Control Sciences, Vol 25, Iss 3, Pp 367-375 (2015)

constraint logic program... car sequencing workstation capacity con... car assembly scheduling QA1-939 Information technology …
Academic journal
Save to List
107

Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies
M Maarten Steinbuch ; Emilia Silvas ; Theo Hofman ; et al.
IEEE/ASME Transactions on Mechatronics. 20:1561-1572

constraint logic program... 0203 mechanical engineer... hybrid electric vehicles... 13. Climate action Automatic topology gener... 0202 electrical engineer... …
Academic journal
Save to List
108

Alternating-time temporal logic with resource bounds
Hoang Nga Nguyen ; Natasha Alechina ; Brian Logan ; et al.
Journal of Logic and Computation. 28:631-663

Non-monotonic logic Strategic Ability, Resou... Resource (disambiguation... Temporal logic 0102 computer and inform... 02 engineering and techn... …
Academic journal
Save to List
109

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
Nabli, Faten ; Martinez, Thierry ; Fages, François ; et al.
Constraints. 21:251-276

0301 basic medicine constraint logic program... 03 medical and health sc... Systems biology, network... Applications of graph th... sat …
Academic journal
Save to List
110

Using CLP Simplifications to Improve Java Bytecode Termination Analysis
SPOTO, Nicola Fausto ; L. Lu ; F. Mesnard ; et al.
Electronic Notes in Theoretical Computer Science. 253:129-144

termination Static analysis abstract interpretation termination analysis Java constraint logic program... …
Academic journal
Save to List
111

Optimizing Allocation in Floor Storage Systems for the Shoe Industry by Constraint Logic Programming
MENEGHETTI, Antonella
2009 Ninth International Conference on Intelligent Systems Design and Applications. :467-472

0209 industrial biotechn... Floor storage systems, A... 0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
112

Performance evaluation of hybrid-CLP vs. GA: non-permutation flowshop with constrained resequencing buffers
FARBER, Gerrit ; COVES MORENO, Anna M ; SALHI, Said
International journal of manufacturing technology and management. 20(1-4):242-258

Control theory, operatio... Automatique, recherche o... Mechanical engineering Génie mécanique Sciences exactes et tech... Exact sciences and techn... …
Academic journal
Save to List
113

Implementing reactive BDI agents with user-given constraints and objectives : From Agent Theory to Agent Implementation 6: A Selection of Contributions
DASGUPTA, Aniruddha ; GHOSE, Aditya K
International journal of agent-oriented software engineering (Print). 4(2):141-154

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Academic journal
Save to List
114

Preference inference based on hierarchical and simple lexicographic models
Wilson, Nic ; George, Anne-Marie ; O'Sullivan, Barry

Preference inference Constraint logic program... Hierarchical Constraint...
Academic journal
Save to List
115

An optimized CLP-based technique for generating propagation sequences
FUMMI, Franco ; GUARNIERI, Valerio ; MARCONCINI, Cristina ; et al.
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08). :25-29

0103 physical sciences 0202 electrical engineer... Functional ATPG constraint logic program... 02 engineering and techn... 01 natural sciences
Academic journal
Save to List
116

A CLP-Based Functional ATPG for Extended FSMs
FUMMI, Franco ; I. G. Harris ; MARCONCINI, Cristina ; et al.
2007 Eighth International Workshop on Microprocessor Test and Verification. :98-105

0202 electrical engineer... constraint logic program... Functional ATPG EFSM 02 engineering and techn... 16. Peace & justice
Academic journal
Save to List
117

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
BISTARELLI, Stefano ; MONTANARI, UGO ; ROSSI, FRANCESCA ; et al.
Proc. 8th International Workshop on Preferences and Soft Constraints, CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming September 24-29, 2006-Cité des Congrès-Nantes, France, Nantes (France), 2006
info:cnr-pdr/source/autori:S. Bistarelli, U. Montanari, F. Rossi and F. Santini/congresso_nome:Proc. 8th International Workshop on Preferences and Soft Constraints, CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming September 24-29, 2006-Cité des Congrès-Nantes, France/congresso_luogo:Nantes (France)/congresso_data:2006/anno:2006/pagina_da:/pagina_a:/intervallo_pagine
Electronic notes in theoretical computer science 190/3 (2007): 111–127.
info:cnr-pdr/source/autori:[1] Bistarelli S., [2] Montanari U., [3] Rossi F., [4] Santini F./titolo:Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming/doi:/rivista:Electronic notes in theoretical computer science/anno:2007/pagina_da:111/pagina_a:127/intervallo_pagine:111–127/volume:190%2F3

Semiring Multicast And-or Graphs Quality of Service Routing Soft Constraint Logic Pr... …
Academic journal
Save to List
118

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Bueno Carrillo, Francisco ; Hermenegildo, Manuel V. ; López García, Pedro ; et al.
Science of computer programming, ISSN 0167-6423, 2005, Vol. 58, No. 1-2
Archivo Digital UPM
Universidad Politécnica de Madrid

Optimization program transformation Specification and verifi... Partial evaluation multi-paradigm programmi... 0102 computer and inform... …
Academic journal
Save to List
119

High-level languages for small devices: a case study
Carro Liñares, Manuel ; Morales Caballero, José Francisco ; Muller, Henk L. ; et al.
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems | 2006 international conference on Compilers, architecture and synthesis for embedded systems | October 22-27, 2006 | Seoul, Republic of Korea
Archivo Digital UPM
instname

Informática wearable computers 0102 computer and inform... 02 engineering and techn... 7. Clean energy 01 natural sciences …
Academic journal
Save to List
120

A model-integrated authoring environment for privacy policies
Nadas, Andras ; Levendovszky, Tihamer ; Jackson, Ethan K. ; et al.
In Science of Computer Programming 1 September 2014 89 Part B:105-125

Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter