Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

combinaison booleenne

Boolean combination

informatique et traitement des données - iate.europa.eu

Publications scientifiques

▷

A practical and complete approach to predicate refinement... Predicate abstraction is a method of synthesizing the strongest inductive invariant of a system expressible as a Boolean combination of a given set of atomic predicates....

informatique et traitement des données - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Incremental boolean combination of classifiers... The incremental Boolean combination (incrBC) technique is a new learn-and-combine approach that is proposed to adapt ensemble-based pattern classification systems over time, in response to new...

général - core.ac.uk - PDF: www.etsmtl.ca

▷

Piecewise testable tree languagesThis paper presents a decidable characterization of tree languages that can be defined by a boolean combination of Σ1 sentences....

général - core.ac.uk - PDF: www.lsv.ens-cachan.fr

▷

Languages defined with modular counting quantifiersWe prove that a regular language defined by a boolean combination of generalized \Sigma 1-sentences built using modular counting quantifiers can be defined by a boolean combination of \Sigma 1-sentences in which only regular...

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Languages defined with modular counting quantifiers AbstractWe prove that a regular language defined by a boolean combination of generalized Σ1-sentences built using modular counting quantifiers can be defined by a boolean combination of Σ1-sentences in which only regular numerical...

général - core.ac.uk -

Synonymes et termes associés français

combinaison

•

plateau straddle

•

Combinaison

•

strangle

•

combinaison-pantalon

Exemples français - anglais

combinaison

combination

sciences naturelles et appliquées - techdico

combination

union européenne / technologie et réglementation technique / transport terrestre / finances / politique et structures industrielles / sciences naturelles et appliquées / urbanisme et construction / bâtiment et travaux publics / informatique et traitement des données - iate.europa.eu

jump suit

industrie mécanique / transport terrestre - techdico

[...]

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод