Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of graph transformations
Examples with "of graph transformations" and their translation in Frans
On the use of graph transformations for models composition traceability (regular paper).
Utilisation de SysML pour la modélisation des réseaux de capteurs sans fil (regular paper).
Andere resultaten
The main ingredient of the verification of graph transformation is the logic that is chosen to represent the precondition, the postcondition and the possible conditions internal to the transformation.
Le principal ingrédient est la logique qui est choisie pour représenter la précondition, la postcondition et les possibles conditions internes.
A second version of the two algorithms was defined b enefiting from the specificity of our graph transformation context.
Une deuxième version des deux algorithmes a été définie profitant de la spécificité du contexte de la transformation de graphes.
Correctness of a graph transformation is more precisely defines as correctness of a specification for the transformation containing additionally a precondition and a postcondition.
La correction d'une transformation est plus précisément définie comme la correction d'une spécification pour cette transformation contenant en plus une précondition et une postcondition.
In this work, our aim is to study the verification of such graph transformation, that is how to prove that a graph transformation is correct.
Dans ce travail, notre objectif est d'étudier la vérification de telles transformations de graphes, c'est à dire comment prouver qu'une transformation de graphes est correcte.
A subsequent morphometric analysis of the 3D vascular network has been implemented by means of skeletonization and spatial graph transformation.
S'en est suivi une analyse morphométrique du réseau vasculaire 3D par squelettisation et transformation du graphe spatial.
In particular, the Grötzsch graph and the Chvátal graph are triangle-free graphs requiring four colors, and the Mycielskian is a transformation of graphs that can be used to construct triangle-free graphs that require arbitrarily high numbers of colors.
En particulier, le graphe de Grötzsch et le graphe de Chvátal sont des graphes sans triangle nécessitant quatre couleurs, et le mycielskien est une transformation de graphes qui peut être utilisée pour construire des graphes sans triangle qui nécessitent un nombre arbitrairement élevé de couleurs.
The system also includes peer transformation servers having data converters and graphs of available transformations between input and output data formats of such servers.
Ce système comprend des serveurs de transformation point à point pourvus de convertisseurs de données et des graphes de transformations disponibles entre des formats de données d'entrée et de sortie de tels serveurs.
A data transformation system includes clients, which initiate requests for transformation of data between first and second data system also includes peer transformation servers having data converters and graphs of available transformations between input and output data formats of such servers.
L'invention concerne un système de transformation de données qui comprend des clients, qui lancent des demandes de transformation de données pour que ces données passent d'un premier format à un second format et inversement.
Our language is based on the graphs transformations theory.
Notre langage est fondé sur la théorie des transformations de graphes.
These are defined by graph transformation rules.
Elles sont définies graphiquement par des règles de transformations de graphes.
We chose a more algorithmic approach to graph transformation by using atomic actions.
Nous avons choisi une approche plus algorithmique pour les transformation de graphes utilisant des actions atomiques.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor of graph transformations in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 1331. Exact: 1. Verstreken tijd: 206 ms.
