Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
application of this algorithm
Vertaling van "application of this algorithm" in Frans
applications de cet algorithme
Application of this algorithm on RADARSAT-1 and RADARSAT-2 images with HH, HV, VH, and VV polarisations helped make considerable gains and eliminate most of the classification errors due to the cardinal effects.
Des applications de cet algorithme sur des images RADARSAT-1 et RADARSAT-2 en polarisations HH, HV, VH, et VV ont permis de réaliser de considérables gains et d'éliminer l'essentiel des erreurs de classification dues aux effets cardinaux.
Application of this algorithm on RADARSAT-1 and RADARSAT-2 images with HH, HV, VH, and VV polarisations helped make considerable gains and eliminate most of the classification errors due to the cardinal effects.
Des applications de cet algorithme sur des images RADARSAT-1 et RADARSAT-2 en polarisations HH, HV, VH, et VV ont permis de réaliser de considérables gains et d'éliminer l'essentiel des
A qualitative assessment of the velocity field obtaines by application of this algorithm is performed.
Une évaluation qualitative des champs de vitesses obtenus par application de cet algorithme est réalisée.
Subsequently, we generalized the application of this algorithm to the entire database by the use of latter helped define the performance's limits of the system.
Postérieurement, nous avons généralisé l'application à toute la base de données par des validations croisées qui ont permis de définir les limites de performance du système.
The application of this algorithm allowed me to successfully fit several SED.
L'utilisation de cet outil a permis la reproduction de plusieurs DES par le modèle.
One successful application of this algorithm is the safety analysis of industrial size parameterized cache coherence protocols.Finally, to address the problem of trusting the answer given by the modelchecker, we present two techniques for certifying our tool Cubicle based on theframework Why3.
Une des applications principales de cet algorithme estl'analyse de sûreté paramétrée de protocoles de cohérence de cache de tailleindustrielle.Enfin, pour répondre au problème de la confiance placée dans le model checker, on présente deux techniques de certification de notre outil Cubicle utilisantla plate-forme Why3.
One successful application of this algorithm is the safety analysis of industrial size parameterized cache coherence protocols.Finally, to address the problem of trusting the answer given by the modelchecker, we present two techniques for certifying our tool Cubicle based on theframework Why3.
Une des applications principales de cet algorithme estl'analyse de sûreté paramétrée de protocoles de cohérence de cache de tailleindustrielle.Enfin, pour répondre au problème de la confiance placée dans le model checker, on présente deux techniques de certification de notre outil Cubicle utilisantla plate-forme Why3.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 7. Exact: 7. Verstreken tijd: 66 ms.
