Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
constraint logic programming
Vertaling van "constraint logic programming" in Frans
programmation logique avec contraintes
programmation en logique avec contraintes
To demonstrate the feasibility of the approach, we formalize the discrete networks of R. Thomas and relevant biological properties, offer a tool based on constraint logic programming in cooperation with a SAT solver, and validate it on significant biological applications.
Pour montrer la faisabilité de l'approche, nous formalisons les réseaux discrets de R. Thomas et les propriétés biologiques pertinentes, proposons un outil reposant sur la programmation logique par contraintes en coopération avec un solveur SAT, et la validons sur des applications biologiques significatives.
Abstract: This work focuses on the compilation of languages constraint logic programming over finite domains (DF).
Résumé : Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF).
So, generating test data is based on constraint logic programming techniques.To assess this, we experimented this method on realistic and typical examples of em4 applications.
La génération de données de test s'appuie ainsi sur des techniques de programmation logique par contraintes. Pour l'évaluer, nous avons expérimenté cette méthode sur des exemples d'applications EM4 typiques et réels.
We translate it easily into constraint logic programming.
Celui-ci se traduit facilement en programmation en logique avec contraintes.
The proposed methodology is implemented into a prototype tool by using constraint logic programming and its application to several examples of mixed-signal boards is discussed.
La méthodologie proposée est implantée dans un outil prototype en utilisant la programmation logique par contraintes, et son application sur quelques exemples de cartes mixtes est discutée.
Finally, in concurrent constraint logic programming, committed-choice semantics create a hierarchy of non-equivalent semantics axed on the expressive power of synchronization mechanism.
Pour finir, en programmation concurrente avec contraintes, la sémantique par choix commis crée une hiérarchie de sémantiques non équivalentes axée sur la puissance d'expression des mécanismes de synchronisation.
raw rolls and/or sheets of flat sheet stock are charted by a processing system that generates charting patterns using constraint logic programming
la présentation graphique de rouleaux bruts et/ou de feuilles de stock de feuilles planes par un système de traitement qui assure la génération de configurations au moyen d'une programmation logique de contraintes
The first part of this thesis presents the works encountered in iiterature to have a good understanding of the link between constraint logic programming and timetable problem.
La première partie de cette thèse fait état des travaux rencontrés dans la littérature pour bien comprendre le lien à faire entre programmation en logique avec contraintes et problème d'emploi du temps.
The second part presents my thought on the manner to make the link between constraint logic programming and tirnetable problem.
La deuxième partie présente ma réflexion sur la manière de faire le lien entre programmation e-n log:que avec contraintes et problème d'emploi du temps.
Abstract: The goal of this thesis is to propose an aid to the modelisation resolution and the of timetable problems with the constraint logic programming.
Résumé : Le but de cette thèse est de proposer une aide à la modélisation et à la résolution des problèmes d'emploi du temps.
SC-IFF includes proof-procedures to check, a priori and on-the-fly, the compliance of agents with multi-agent protocols, in addition to a language based on abductive and constraint logic programming.
Le modèle SC-IFF comporte des procédures destinées à la vérification a priori et instantanée de la conformité des agents aux protocoles multi-agents, en plus d'un langage à base de programmation abductive et à logique contraignante.
Welcome to B-Prolog, a versatile and efficient constraint logic programming (CLP) system!
Bienvenue au B-Prolog, à un système de programmation de logique souple et efficace de contrainte (CLP) !
Together, these two levels augment Common Lisp with practically all of the functionality of both Prolog and constraint logic programming languages such as CHiP and CLP(R).
Ensembles, ces deux niveaux étendent Common Lisp avec pratiquement toutes les fonctionnalités de Prolog et des languages de programmation logiques sous contraintes comme CHiP ou CLP(R).
Synoniemen voor constraint logic programming in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 17. Verstreken tijd: 31 ms.
