Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
rewriting rules
Geflecteerde vorm van rewriting rule
Vertaling van "rewriting rules" in Frans
règles de réécriture
règles de réécritures
The functional model is built using rewriting rules based on language semantics.
Le modèle fonctionnel est construit à partir de règles de réécriture basées sur la sémantique du langage.
General combinatory grammars are a flexible model that permits to define grammatical systems based on rewriting rules.
Les grammaires combinatoires générales sont un modèle flexible permettant de définir des systèmes grammaticaux à base de règles de réécriture.
We have designed a system based on rewriting rules allowing to convert and to add semantics to raw events.
Nous avons donc conçu un système de conversion, paramétrée à l'aide de règles de réécriture, permettant d'apporter une sémantique aux événements bruts.
First, a behavioral semantics gives a reference definition of program behavior using rewriting rules.
D'abord, une sémantique comportementale qui donne une définition référentielle du comportement d'un programme en utilisant des règles de réécriture.
It has then been possible to identify the most common suffixes to extract of it a set of rewriting rules.
Il a été ensuite possible d'identifier les suffixes les plus communs pour en extraire un ensemble de règles de réécriture.
The configuration file determines the choice of delivery agents, address rewriting rules, and the format of the mail header.
Le fichier de configuration détermine le choix des agents de distribution, des règles de réécriture d'adresse et du format de l'en-tête de courrier.
Based on the characteristics of the new mapping, query rewriting rules are provided that optimize the relational algebra query by minimizing the number of joins.
D'après les caractéristiques du nouveau mappage, des règles de réécriture de requête sont fournies pour optimiser la requête d'algèbre relationnelle en réduisant au minimum le nombre de jointures.
In the rewriting calculus extended with an operator allowing to test the application failure we define terms representing innermost and outermost normalizations with respect to a set of rewriting rules.
Dans le calcul de réécriture étendu par un opérateur permettant de tester l'échec de l'application nous définissons des termes représentant la normalisation innermost et outermost par rapport à un ensemble de règles de réécriture.
There are different kinds of deductions rules: "classical rules" on logical connectors, rewriting rules and rules induced by the computations in the model.
Les règles de déduction sont de différents types : des règles "classiques" sur les connecteurs logiques, des règles de réécriture et des règles induites par des calculs dans le modèle.
Graph rewriting rules are defined to solve the detected interferences. This resolution is guided by the knowledge of defined connectors.
Des règles de réécriture de graphe permettront de résoudre les interférences détectées, cette résolution étant guidée par la connaissance de connecteurs définis.
This mailer uses domain-style addresses and, basically, applies the SMTP rewriting rules.
Ce logiciel de messagerie utilise des adresses de type domaine et applique les règles de réécriture SMTP.
Abstract: Dedukti is a logical framework in which the user encodes the theory she wantsto use via rewriting rules.
Résumé : Dedukti est un cadre logique dans lequel l'utilisateur encode la théorie qu'il souhaite utiliser à l'aide de règles de réécriture.
Disabled causes any URL rewriting rules specified in the next step to be ignored.
Avec Désactivée, toutes les règles de réécriture d'URL configurées dans l'étape suivante sont ignorées.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor rewriting rules in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 40. Exact: 40. Verstreken tijd: 44 ms.
