Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Programming formalism
Examples with "Programming formalism" and their translation in Frans
In the framework of the chosen Mathematical Programming formalism, computational results prove the efficiency of a Branch&Bound method.
Avec la formulation de Programmation Mathématique retenue, les résultats numériques vérifient l'efficacité de la méthode de Branch&Bound.
At each time step, the network running is simulated via linear programming formalism.
A chaque pas de temps, le fonctionnement du réseau est simulé grâce au formalisme de la programmation linéaire.
Andere resultaten
We propose a method to build behaviours based on Bayesian programming (a formalism to describe probabilist models).
Nous proposons une méthode alternative de construction de comportements basée sur la programmation bayésienne, un formalisme de description de modèles probabilistes.
We choose logic programming as formalism to describe tree tuple languages (i.e. relations) and logic program transformation techniques for computing operations on them.
Nous choisissons le formalisme de la programmation logique pour représenter les langages de nuplets d'arbres (c'est à dire les relations) et nous utilisons des techniques de transformation de programmes pour calculer les opérations sur les langages.
This formalism modeling many real-life problems is called mathematical programming.
Ce formalisme modélisant de nombreux problèmes réels est appelé programmation mathématique.
The formalism we used in this work is called Bayesian Programming.
Le formalisme utilisé est celui de la programmation bayésienne.
Exploit this new description formalism of applications requires a change in programming rules.
Exploiter ce nouveau formalisme de description d'applications nécessite de modifier les règles de programmation.
First, the declarative formalism of functional programming languages is well suited for specifying complex data structures and algorithms.
D'abord, le formalisme déclaratif des langages de programmation fonctionnels est adapté à la spécification de structures de données et d'algorithmes complexes.
Thanks to its formalism, it tells in details how a kind of reduction works and sets the theoretical foundation of the operational semantics of functional programming languages.
À ce titre, elle explique en détail comment se passe une certaine forme de réduction et sert de support théorique à la sémantique opérationnelle des langages de programmation fonctionnelle.
The second objective is to identify the elements of these formalisms that allow the processing of satisfaction problems with the techniques of constraint programming on finite domain variables.
Le second objectif consiste à identifier les éléments de ces formalismes qui permettent le traitement des problèmes de satisfaction avec les techniques de la programmation par contraintes sur les variables à domaines finis.
From these works and the fuzzy formalism, we have developed the CordiFormes project, a programming plat- form and a set of tools to help the creation of future declarative modelers.
A partir de ces travaux et du formalisme flou, nous développons le projet CordiFormes, une plate-forme de programmation visant à faciliter la mise en oeuvre de futurs modeleurs déclaratifs.
This formalism is simple enough to be used without any computer programming skill, and expressive enough to be directly used by the high-level processes of our virtual human.
Ce formalisme est suffisamment simple pour être renseigné par des individus sans connaissances en programmation et suffisamment expressif et robuste pour être interprété directement par les humains virtuels.
This formalism, which combines concepts from functional and imperative programming languages and timed process algebras, is simpler and more expressive than the existing languages and allows more efficient compiling techniques.
Ce formalisme, qui combine des concepts issus des langages de programmation fonctionnels et impératifs et des algèbres de processus temporisées, est plus simple et plus expressif que les langages existants et autorise une compilation plus efficace.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Programming formalism in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 25. Exact: 2. Verstreken tijd: 118 ms.
