Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
algorithm (horn's algorithm
Examples with "algorithm (horn's algorithm" and their translation in Frans
the bandwidth of the transmission resource is managed using an optimized algorithm (horn's algorithm).
ledit procédé est caractérisé en ce que la largeur de bande de la ressource de transmission est gérée au moyen d'un algorithme optimisé (algorithme de horn).
Andere resultaten
We adapt the resolution algorithm to handle the new class of Horn clauses, and prove the soundness of this new algorithm.
Nous adaptons l'algorithme de résolution pour qu'il traite la nouvelle classe de clauses de Horn et nous prouvons la correction de cet algorithme.
In both cases, the developed algorithms are validated with single or double reflector antenna systems, illuminated by axis-symmetrical horn antenna.
Dans les deux cas, les algorithmes développés sont validés numériquement par l'analyse des performances d'antennes à simple ou double réflecteur(s).
That work relies on an extension of Horn clauses, generalized Horn clauses, designed to support unbounded lists, and on a resolution algorithm on these clauses.
Ce travail est fondé sur une extension des clauses de Horn, les clauses de Horn généralisées, conçue pour traiter les listes non-bornées, et sur un algorithme de résolution sur ces clauses.
Unit propagation, applied repeatedly as new unit clauses are generated, is a complete satisfiability algorithm for sets of propositional Horn clauses; it also generates a minimal model for the set if satisfiable: see Horn-satisfiability.
La propagation unitaire répétée jusqu'au point fixe est complète dans le cas où toutes les clauses sont des clauses de Horn ; elle génère aussi un ensemble minimal pour la satisfiabilité: Voir Horn-satisfiabilité.
Algorithms, such as the B.C. Ministry of Environment mapping algorithm (see below), are considered useful for broad-scale strategic habitat inventory (e.g., Chatwin and Mather 2007; Horn 2009; Mather et al.
Certains, comme l'algorithme de cartographie du ministère de l'Environnement de la Colombie-Britannique (voir ci-après), sont jugés utiles pour l'inventaire stratégique de l'habitat à grande échelle (voir par exemple Chatwin et Mather; Horn; Mather et al.
He loves to toot his own horn whenever someone mentions recent promotions.
Il adore se vanter dès que quelqu'un mentionne ses récentes promotions.
We decided to take the budget crisis by the horns this quarter.
Nous avons décidé d'affronter la crise budgétaire de front ce trimestre.
Stop tooting your own horn and let others recognize your skills naturally.
Arrête de te jeter des fleurs et laisse les autres reconnaître tes compétences.
An unending blare of car horns rises up from the busy street.
Un bruit incessant de klaxons monte de la rue très fréquentée.
She rarely toots her own horn, even after huge academic achievements.
Elle se jette rarement des fleurs, même après de grandes réussites académiques.
He took the negotiation by the horns and clearly stated his expectations.
Il a abordé la négociation sans détour et a clairement exposé ses attentes.
He stepped on the horn, blasting it to warn the pedestrians.
Il a appuyé sur le klaxon, le faisant rugir pour avertir les piétons.
Synoniemen voor algorithm (horn's algorithm in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 96573. Exact: 1. Verstreken tijd: 249 ms.
