• Suche: "constraint logic programming"

Treffer 221 - 240 von 1.800

221

Constraint-based model checking of data-independent systems
SARNA-STAROSTA, Beata ; RAMAKRISHNAN, C. R
Formal methods and software engineering (Singapore, 5-7 November 2003)Lecture notes in computer science. :579-598

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
222

Constraint solver synthesis using tabled resolution for constraint logic programming
ABDENNADHER, Slim ; RIGOTTI, Christophe
LOPSTR 2002 : logic based program synthesis and transformation (Madrid, 17-20 September 2002, revised selected papers)Lecture notes in computer science. :32-47

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
223

Constraint functional logic programming for origami construction
IDA, Tetsuo ; MARIN, Mircea ; TAKAHASHI, Hidekazu
Programming languages and systems (Beijing, 27-29 November 2003)Lecture notes in computer science. :73-88

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
224

Cardinality constraints in disjunctive deductive databases
SEIPEL, Dietmar ; GESKE, Ulrich
Semantics in databases (Dagstuhl Castle, 7-12 January 2001, revised papers)Lecture notes in computer science. :179-199

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
225

Analyzing the intel itanium memory ordering rules using logic programming and SAT
YUE YANG ; GOPALAKRISHNAN, Ganesh ; LINDSTROM, Gary ; et al.
CHARME 2003 : correct hardware design and verification methods (L'Aquila, 21-24 October 2003)Lecture notes in computer science. :81-95

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
226

Abstract verification and debugging of constraint logic programs
HERMENEGILDO, Manuel ; PUEBLA, German ; BUENO, Francisco ; et al.
Recent advances in constraints (Cork, 19-21 June 2002, selected papers)Lecture notes in computer science. :1-14

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
227

A note on redundant rules in rule-based constraint programming
BRAND, Sebastian
Recent advances in constraints (Cork, 19-21 June 2002, selected papers)Lecture notes in computer science. :109-120

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
228

A new approach to the interactive resolution of configuration problems in Virtual Environments
CALDERON, Carlos ; CAVAZZA, Marc ; DIAZ, Daniel
SG 2003 : smart graphics (Heidelberg, 2-4 July 2003)Lecture notes in computer science. :112-122

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
229

A new approach to constraint Inductive Logic Programming
LEI ZHENG ; CHUNNIAN LIU ; DONG JIA ; et al.
Foundations of intelligent systems (Maebashi City, 28-31 October 2003)Lecture notes in computer science. :357-364

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
230

A compiler generator for constraint logic programs
CRAIG, Stephen-John ; LEUSCHEL, Michael
PSI 2003 : perspectives of system informatics (Novosibirsk, 9-12 July 2003, revised papers)Lecture notes in computer science. :148-161

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
231

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming
Wilk, Szymon ; Michalowski, Wojtek ; Michalowski, Martin ; et al.
In Journal of Biomedical Informatics April 2013 46(2):341-353

Fachzeitschrift
Zu den Favoriten
232

Efficient generation of test data structures using constraint logic programming and program transformation
Fioravanti F ; Proietti M ; Senni V
Journal of logic and computation
25 (2015): 1263–1283.
info:cnr-pdr/source/autori:Fioravanti, F.; Proietti, M.; Senni, V./titolo:Efficient generation of test data structures using constraint logic programming and program transformation/doi:/rivista:Journal of logic and computation (Print)/anno:2015/pagina_da:1263/pagina_a:1283/intervallo_pagine:1263–1283/volume:25

Program testing constraint logic program... program transformation QA76 Computer software 13. Climate action QA75 Electronic computer... …
Fachzeitschrift
Zu den Favoriten
233

Horn Clause Contraction Functions
James P. Delgrande ; Renata Wassermann
Journal of Artificial Intelligence Research. 48:475-511

Artificial intelligence 02 engineering and techn... 0603 philosophy, ethics... Logic programming Horn clause Forgetting …
Fachzeitschrift
Zu den Favoriten
234

AN EFFICIENT Hybrid Swarm Intelligence Technique for Solving Integer Programming
Mahmoud M. Ismail ; Ibrahim Elhenawy
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY. 10:1531-1538

Swarm intelligence Stochastic programming Metaheuristic 02 engineering and techn... Swarm behaviour Artificial Intelligence …
Fachzeitschrift
Zu den Favoriten
235

Models and emerging trends of concurrent constraint programming
Carlos Olarte ; Camilo Rueda ; Frank D. Valencia ; et al.
Constraints. 18:535-578

ACM: F.: Theory of Compu... Artificial intelligence [INFO.INFO-LO] Computer... Computer Networks and Co... Variety (cybernetics) Distributed Constraint O... …
Fachzeitschrift
Zu den Favoriten
236

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
Rodrigo Ribeiro ; Carlos Camarão ; Lucília Figueiredo
Journal of the Brazilian Computer Society. 19:423-432

Artificial intelligence Class (philosophy) Data Stream Management S... Computer Networks and Co... Geometry Set (abstract data type) …
Fachzeitschrift
Zu den Favoriten
237

Surcharge et sous-typage dans TCLP / Overloading and subtyping in TCLP
COQUERY, Emmanuel ; FAGES, Francois
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :273-287

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
238

Raisonnement sur les propriétés de contraintes numériques / Reasoning on constraint properties
BORDEAUX, Lucas ; MONFROY, Eric ; BENHAMOU, Frédéric
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :13-26

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
239

Prototypage de traceurs CLP(FD): Un modèle de trace et son expérimentation / CLP(FD) tracers prototyping : trace model and his experimentation
LANGEVINE, Ludovic ; DERANSART, Pierre ; DUCASSE, Mireille ; et al.
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :135-149

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
240

Explications conviviales pour la programmation par contraintes / Friendly explanations in constraint programming
OUIS, Samir ; JUSSIEN, Narendra ; LHOMME, Olivier
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :105-118

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter