• Suche: "Constraint logic programming"

Treffer 241 - 260 von 1.800

241

Connexions entre Complexité Descriptive et programmation logique par contraintes / Descriptive complexity and programmation logique avec contrainte connection
BORDEAUX, Lucas ; MONFROY, Eric
JNPC'02 : 8es journées nationales sur la résolution pratique de problèmes NP-complets (Nice, 27-29 mai 2002 ). :69-82

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques …
Konferenz
Zu den Favoriten
242

Analyse automatisée de traces d'exécution de programmes CLP(FD) / Trace automatized analysis of CLP(FD) program execution
DUCASSE, Mireille ; LANGEVINE, Ludovic
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :119-133

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

Visopt ShopFloor: On the edge of planning and scheduling
BARTAK, Roman
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :587-602

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

Verification of sets of infinite state processes using program transformation
FIORAVANTI, Fabio ; PETTOROSSI, Alberto ; PROIETTI, Maurizio
LOPSTR : logic based program synthesis and transformation (Paphos, 28-30 November 2001, selected papers)Lecture notes in computer science. :111-128

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

Truly concurrent constraint programming
GUPTA, V ; JAGADEESAN, R ; SARASWAT, V. A
Mathematical Foundations of Programming SemanticsTheoretical computer science. 278(1-2):223-255

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
246

To the gates of HAL: A HAL tutorial
GARCIA DE LA BANDA, Maria ; DEMOEN, Bart ; MARRIOTT, Kim ; et al.
FLOPS 2002 : functional and logic programming (Aizu, 15-17 September 2002)Lecture notes in computer science. :47-66

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

The Adaptive Constraint Engine
EPSTEIN, Susan L ; FREUDER, Eugene C ; WALLACE, Richard ; et al.
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :525-540

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

Solving nonlinear equations by abstraction, Gaussian elimination, and interval methods
CEBERIO, Martine ; GRANVILLIERS, Laurent
FroCos 2002 : frontiers of combining systems (Santa Margherita Ligure, 8-10 April 2002)Lecture notes in computer science. :117-131

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
249

Solving optimal location of traffic counting points at urban intersections in CLP(FD)
TOMAS, Ana Paula
Advances in artificial intelligence (Mérida, 22-26 April 2002)Lecture notes in computer science. :242-251

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

Solving mixed quantified constraints over a domain based on Real numbers and Herbrand terms
GARCIA-DIAZ, Miguel ; NIEVA, Susana
FLOPS 2002 : functional and logic programming (Aizu, 15-17 September 2002)Lecture notes in computer science. :103-118

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

Solving combinatorial problems with a constraint functional logic language
FERNANDEZ, Antonio J ; HORTALA-GONZALEZ, Teresa ; SAENZ-PEREZ, Fernando
PADL 2003 : practical aspects of declarative languages (New Orleans LA, 13-14 January 2003)Lecture notes in computer science. :320-338

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

Representation of soft constraints by hard constraints
REGIN, Jean-Charles ; PUGET, Jean-Francois ; PETIT, Thierry
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :181-197

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

Reasoning about actions with CHRs and finite domain constraints
THIELSCHER, Michael
Logic programming (Copenhagen, 29 July - 1 August 2002)Lecture notes in computer science. :70-84

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

Qualitative velocity
ESCRIG MONFERRER, M. Teresa ; TOLEDO LOBO, Francisco
Topics in artificial intelligence (Castellon, 24-25 October 2002)Lecture notes in computer science. :29-39

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

Proving the equivalence of CLP programs
CRACIUNESCU, Sorin
Logic programming (Copenhagen, 29 July - 1 August 2002)Lecture notes in computer science. :287-301

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

Propagation completeness of reactive constraints
MAHER, Michael J
Logic programming (Copenhagen, 29 July - 1 August 2002)Lecture notes in computer science. :148-162

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

Program debugging and validation using semantic approximations and partial specifications
HERMENEGILDO, M ; PUEBLA, G ; BUENO, F ; et al.
Automata, languages and programming (Malaga, 8-13 July 2002)Lecture notes in computer science. :69-72

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

Partial symmetry breaking
MCDONALD, Iain ; SMITH, Barbara
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :431-445

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

On constraint problems with incomplete or erroneous data
YORKE-SMITH, Neil ; GERVET, Carmen
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :732-737

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

Object-oriented constraint programming with J.CP
RINGWELSKI, Georg
Advances in artificial intelligence (Mérida, 22-26 April 2002)Lecture notes in computer science. :194-203

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