Finally the fourth chapter introduces partition refinement as a general graph algorithm tool.
Enfin, le chapitre~4 est consacré à une nouvelle technique algorithmique : l'affinage de partition.
Other results
As a result, the need for extremely efficient graph algorithms is more pressing than ever and our traditional tools here are no longer sufficient.
Aussi, la nécessité d'avoir des algorithmes de graphes extrêmement efficaces est plus pressante que jamais, et nos outils traditionnels ne suffisent plus ici.
We solve this second problemthrough planning graph algorithm and SAT encoding.In a final step, we present the implementation ofthe SAT-Equiv tool, which allows us to evaluate our approach.In particular, a benchmark with comparable tools provesthe efficiency of SAT-Equiv.
Nous terminons en confirmant l'efficacité de la démarche, à travers l'implémentation de l'outil SAT-Equivet sa comparaison vis-à-vis des outils analogues.
This thesis focuses on two topics of graph algorithms.
With built-in graph algorithms you can easily create innovative applications that open new opportunities for your business.
Des algorithmes graphiques intégrés vous permettent de créer facilement des applications innovantes offrant de nouvelles opportunités à votre entreprise.
His research activities focus on the development of string and graph algorithms for genomics and proteomics.
Ses activités de recherche concernent le développement d'algorithmes sur les chaînes et les graphes pour la génomique et la protéomique.
It's a powerful tool, working with special algorithms in order to render the best graph possible.
C'est un outil puissant, travaillant avec des algorithmes spéciaux afin de créer le meilleur graphe possible.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.