Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

constraint solving

résolution de contrainte

informatique et traitement des données - acta.es
Choco is a Java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).

Choco est une bibliothèque Java pour les problèmes de satisfaction de contraintes (CSP), la programmation par contrainte (CP) et la résolution de contraintes basée sur l'explication (e-CP).

général - CCMatrix (Wikipedia + CommonCrawl)
GNU Prolog compiler, a free Prolog compiler with constraint solving over finite domains.

GNU Prolog est un compilateur Prolog gratuit avec résolution de contraintes sur les domaines finis.

général - CCMatrix (Wikipedia + CommonCrawl)
GNU Prolog is a standards-compliant Prolog compiler with constraint solving over finite domains.

GNU Prolog est un compilateur Prolog gratuit avec résolution de contraintes sur les domaines finis.

général - CCMatrix (Wikipedia + CommonCrawl)
One embodiment of the present invention provides a system that reuses information associated with a constraint solving operation for a problem domain.

Un mode de réalisation de la présente invention porte sur un système qui réutilise des informations associées à une opération de résolution de contraintes pour un domaine de problème.

informatique et traitement des données - wipo.int
The present invention provides such dynamic constraint solving through the creation of a sequence of instructions in a 'generator mini-language (GML).

L'invention assure la résolution de contrainte dynamique en produisant une séquence d'instructions dans un « mini-langage de générateur » (GML).

industrie mécanique - wipo.int
▷
Types with potential: polynomial resource bounds via automatic amortized analysis...semantics.Simple local type rules allow for an efficient inference algorithm for the type annotations which relies on linear constraint solving only....
informatique et traitement des données / finances de l'union européenne - core.ac.uk - PDF: core.ac.uk

Publications scientifiques

▷
Professeur à l'université aix-marseille ii
... The central inovation is to replace the concept of unification by the concept of constraint solving....
... L'idée essentielle est de remplacer la notion d'unification par celle de résolution de contraintes.
Europe - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Fouille de chaînes de caractères sous contraintes de similarité et de fréquence approximative: application à l'analyse de séquences promotrices
... We then developed a fault-tolerant pattern match function InsDels that generic constraint solving strategies can soundly tackle....
...Nous étudions l'extraction de motifs sous contraintes dans des collections de chaînes de caractères et le développement de solveurs complets et génériques pour l'extraction de tous les motifs satisfaisant une combinaison...
général - core.ac.uk -
▷
Combining constructive and equational geometric constraint solving techniquesIn the past few years, there has been a strong trend towards developing parametric, computer aided design systems based on geometric constraint solving....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Simulated annealing and tabu search for constraint solvingIn this paper, we present an experimental study of local search for constraint solving....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

constraint

•

prior condition

•

prelimiting condition

Exemples anglais - français

constraint

contrainte
sciences naturelles et appliquées / industrie mécanique - techdico
discipline
agriculture, sylviculture et pêche - iate.europa.eu
contrainte de mouvement
informatique et traitement des données - acta.es
[...]
gêne
liaison
déformation imposée
condition préalable
sujétion

Traductions en contexte anglais - français

GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog est un compilateur Prolog gratuit, et résolveur de contraintes sur les domaines finis, développé par Daniel Diaz.

général - CCMatrix (Wikipedia + CommonCrawl)
GNU Prolog is a free, open source Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog est un compilateur Prolog gratuit, et résolveur de contraintes sur les domaines finis, développé par Daniel Diaz.

général - CCMatrix (Wikipedia + CommonCrawl)
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

Aide à propos de gprolog GNU Prolog est un compilateur Prolog libre avec la résolution de contraintes sur les domaines finis porlog par Daniel Diaz.

général - CCMatrix (Wikipedia + CommonCrawl)
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog gratuite est un compilateur Prolog avec la résolution de contraintes sur les corps finis domaines développé par Daniel Diaz.

général - CCMatrix (Wikipedia + CommonCrawl)
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog est un compilateur Prolog libre avec la résolution de contraintes sur les domaines finis développé par Daniel Diaz.

général - CCMatrix (Wikipedia + CommonCrawl)
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog est un compilateur Prolog gratuit, et résolveur de contraintes sur les domaines finis, développé par Daniel Diaz.

général - CCMatrix (Wikipedia + CommonCrawl)
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

Aide à propos de gprolog GNU Prolog est un compilateur Prolog libre avec la pro,og de contraintes sur les domaines finis développé par Daniel Diaz.

général - CCMatrix (Wikipedia + CommonCrawl)
A system and method for testing the quality of a simulation model for the DUT (device under test) with dynamic constraint solving and test generation for the testing and verification process.

Système et procédé pour tester la qualité d'un modèle de simulation de dispositif à l'essai utilisant une résolution de contrainte dynamique et une production d'essais pour le procédé d'essai et de vérification.

industrie mécanique - wipo.int
Symbolic constraint solving, verification and application of formal methods to the quality assurance of software components are among his current research interests.

La résolution par contrainte symbolique, la vérification et l'application des méthodes formelles pour l'assurance qualité des logiciels sont parmi ses thèmes de recherches actuels.

général - CCMatrix (Wikipedia + CommonCrawl)
Siemens’ D-Cubed software component works behind the scenes as a 2D geometric constraint solving tool to capture and preserve relationships between geometry.

Par exemple, c'est le composant logiciel D-Cubed de Siemens qui est utilisé comme outil de résolution des contraintes géométriques 2D, pour capturer et conserver les relations entre les éléments géométriques.

général - CCMatrix (Wikipedia + CommonCrawl)
The goal here is not to be the most automatic, but to keep flexible. <!--T:6--> * Mech engineering parametric design is usually based on changes history and constraint solving.

Le but ici, n'est pas de tout automatiser, mais de garder une souplesse créative. * La conception paramétrique '''Génie mécanique''' est généralement basée sur l'historique des modifications et la résolution des contraintes.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод