Multilingue
à â æ ç è é ê ë î ï ô ù û œ
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

l'humain supervise le processus

human-on-the-loop

informatique et traitement des données - iate.europa.eu
▷
▷
,the impact of human-automation collaboration in decentralized multiple unmanned vehicle control... Given a decentralized task planner and a goal-based operator interface for a network of unmanned vehicles in a search, track, andneutralize mission, we demonstrate with a human-on-the-loop experiment that humans guiding these decentralized planners improved system performance by up to 50%....
général - core.ac.uk - PDF: dspace.mit.edu

HOL

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

HOTL

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

Publications scientifiques

▷
▷
A few exercises in theorem processing ... An example of a potentially useful notational definition in the HOL object language is given as an application
informatique et traitement des données - core.ac.uk -
▷
▷
The hol system description prefaceThis volume contains the description of the HOL system....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
The hol system logic prefaceThis volume contains the description of the HOL system’s logic....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
The hol system tutorial prefaceThis volume contains a tutorial on the HOL system....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
The hol system tutorialPreface This volume contains a tutorial on the HOL system....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés français

humain sur la boucle

•

avec supervision humaine

•

langage évolué

•

langage de haut niveau

•

langage synthétique

Exemples français - anglais

l'humain aux commandes

human-in-command
relation et droit du travail / informatique et traitement des données / recherche et propriété intellectuelle - iate.europa.eu
HIC
relation et droit du travail / informatique et traitement des données / recherche et propriété intellectuelle - iate.europa.eu

l'humain reste aux commandes

human-in-command
relation et droit du travail / informatique et traitement des données / recherche et propriété intellectuelle - iate.europa.eu
HIC
relation et droit du travail / informatique et traitement des données / recherche et propriété intellectuelle - iate.europa.eu

le processus d'entretien

interview process
général - eur-lex.europa.eu
[...]

le processus dévaluation.

assessment process.

le processus dévaluation

assessment process.

le processus d'évaluation

assessment process.

processus stable

stable process distribution
stable process

processus électoral

electoral process

processus irréversible

irreversible process


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  翻訳  번역  翻译  Перевод