Showing 121 - 140 of 1,800

121

A Hybrid Multi-agent Approach to the Solving Supply Chain Problems
Sitek, Paweł ; Nielsen, Izabela Ewa ; Wikarek, Jarosław
In Procedia Computer Science 2014 35:1557-1566

Academic journal
Save to List
122

Modélisation de réseaux biologiques discrets en programmation logique par contraintes : Modélisation et simulation pour la post-génomique
CORBLIN, Fabien ; FANCHON, Eric ; TRILLING, Laurent
TSI. Technique et science informatiques. 26(1-2):73-98

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

Maxx : Test pattern optimisation with local search over an extended logic
AZEVEDO, Francisco
Constraints (Dordrecht). 12(4):507-538

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

Cardinal : A finite sets constraint solver
AZEVEDO, Francisco
Constraints (Dordrecht). 12(1):93-129

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

Specialization with clause splitting for deriving deterministic constraint logic programs
Fioravanti F ; Pettorossi A ; Proietti M
IEEE International Conference on Systems, Man, and Cybernetics (SMC'02), Hammamet, Tunisia, 2002
info:cnr-pdr/source/autori:Fioravanti, F.; Pettorossi, A.; Proietti, M./congresso_nome:IEEE International Conference on Systems, Man, and Cybernetics (SMC'02)/congresso_luogo:Hammamet, Tunisia/congresso_data:2002/anno:2002/pagina_da:/pagina_a:/intervallo_pagine

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences Constraint Logic Program... Pattern Matching
Academic journal
Save to List
126

Heuristics, optimizations, and parallelism for protein structure prediction in CLP( FD )
A. DAL PALU' ; DOVIER, Agostino ; E. PONTELLI
Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming. :230-241

0301 basic medicine 0303 health sciences 03 medical and health sc... Bioinformatics, Constrai...
Academic journal
Save to List
127

This result is not available to guest users.

128

ARMC : The logical choice for software model checking with abstraction refinement
PODELSKI, Andreas ; RYBALCHENKO, Andrey
Practical aspects of declarative languages (9th international symposium, PADL 2007, Nice, France, January 14-15, 2007)Lecture notes in computer science. :245-259

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
129

Factoring Derivation Spaces via Intersection Types (Extended Version)
Gonzalo Ciruelos ; Pablo Barenbaum
arXiv: Logic in Computer Science.

FOS: Computer and inform... Computer Science - Logic... Separation Logic Economics Curry–Howard corresponde... 0102 computer and inform...
Save to List
130

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

Spreadsheet computing Finite-domain constraint... Constraint logic program...
Academic journal
Save to List
131

VeriFLog : A constraint logic programming approach to verification of website content
COELHO, Jorge ; FLORIDO, Mario
Advanced Web and Network Technologies, and Applications (APWeb 2006 international workshops)Lecture notes in computer science. :148-156

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
132

Sweep synchronization as a global propagation mechanism
BELDICEANU, Nicolas ; CARLSSON, Mats ; THIEL, Sven
Computers & operations research. 33(10):2835-2851

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
133

Proving properties of constraint logic programs by eliminating existential variables
PETTOROSSI, Alberto ; PROIETTI, Maurizio ; SENNI, Valerio
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :179-195

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
134

Modules for prolog revisited
HAEMMERLE, Rémy ; FAGES, Francois
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :41-55

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
135

Formal analysis of PIN block attacks
STEEL, Graham
Automated reasoning for security protocol analysisTheoretical computer science. 367(1-2):257-270

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
136

Automated boundary test generation from JML specifications
BOUQUET, Fabrice ; DADEAU, Frédéric ; LEGEARD, Bruno
FM 2006 (formal methods)Lecture notes in computer science. :428-443

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
137

Accelerating column generation for aircraft scheduling using constraint propagation
GRONKVIST, Mattias
Computers & operations research. 33(10):2918-2934

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
138

A constraint programming approach to cutset problems
PAGES, Francois ; LAL, Akash
Computers & operations research. 33(10):2852-2865

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
139

Integrating finite domain constraints and CLP with sets
DAL PALU' A ; DOVIER, Agostino ; PONTELLI E ; et al.
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming. :219-229

Programming with Sets Constraint Logic Program... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Academic journal
Save to List
140

When do bounds and domain propagation lead to the same search space?
SCHULTE, Christian ; STUCKEY, Peter J
ACM transactions on programming languages and systems. 27(3):388-425

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

Filter