TERMIUM Plus®

Par le Bureau de la traduction

Dans les médias sociaux

Consultez la banque de données terminologiques du gouvernement du Canada.

ARTIFICIAL INTELLIGENCE TECHNIQUE [5 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2025-02-05

Anglais

Subject field(s)
  • Systems Analysis (Information Processing)
  • Artificial Intelligence
CONT

Model checking, a powerful technique in artificial intelligence and computer science, is used to verify the correctness of systems across various domains. Its applications span from hardware and software verification to planning and formal verification... In the field of artificial intelligence, model checking verifies the correctness of proposed solutions to planning problems, ensuring that the planned actions lead to the desired outcomes.

Français

Domaine(s)
  • Analyse des systèmes informatiques
  • Intelligence artificielle
DEF

Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle satisfait à un ensemble de spécifications formelles et qui, si une des spécifications n'est pas vérifiée, fournit des contre-exemples servant à identifier la source des erreurs.

OBS

L'exploration de modèle trouve de nombreuses applications dans les industries du logiciel et du matériel, la vérification de puces, les protocoles de communication, les logiciels pilotes de périphériques, les systèmes critiques embarqués et les algorithmes de sécurité.

OBS

exploration de modèle : terme et définition publiés au Journal officiel de la République française le 1er janvier 2013.

Espagnol

Conserver la fiche 1

Fiche 2 2024-03-25

Anglais

Subject field(s)
  • Diagnostic Procedures (Medicine)
  • Medical Imaging
  • Software
  • Artificial Intelligence
CONT

One of the major CADx applications is the differentiation of malignancy/benignancy for tumors/lesions. Several studies have suggested that the incorporation of the CADx system into the diagnostic process can improve the performance of image diagnosis by decreasing inter-observer variation and providing the quantitative support for the clinical decision like biopsy recommendations, etc.

CONT

Two new technologies for cancer detection and therapy are three-dimensional multimodality display and computer-aided diagnosis. The display technique employs scientific visualization methods... In the second technique, software incorporating artificial intelligence and machine-vision algorithms can scan mammograms and chest x-rays for telltale signs of cancer.

Français

Domaine(s)
  • Méthodes diagnostiques (Médecine)
  • Imagerie médicale
  • Logiciels
  • Intelligence artificielle
CONT

L'affichage en trois dimensions et le diagnostic assisté par ordinateur sont deux nouvelles techniques utiles pour le dépistage et le traitement du cancer. La technique d'affichage emploie une méthode de visualisation analogue à celles qui sont utilisées en sciences de la Terre ou en astronomie [...] Le diagnostic assisté par ordinateur utilise des algorithmes d'intelligence artificielle, qui analysent les mammographies et les radiographies pulmonaires pour déceler les éventuelles tumeurs.

Espagnol

Conserver la fiche 2

Fiche 3 2001-10-26

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 3

Fiche 4 2001-06-21

Anglais

Subject field(s)
  • Titles of Programs and Courses
  • Artificial Intelligence
  • Scientific Research
OBS

The goal of Object Recognition is to allow machines to "see". It is one of the most long-standing and difficult problems in Artificial Intelligence. We propose a solution which is based upon Geometric Probing, a technique which evolved from the field of Computational Geometry.

OBS

Institute for Information Technology (IIT) of the National Research Council of Canada (NRC) project.

Terme(s)-clé(s)
  • Geometric Probing
  • Object Recognition

Français

Domaine(s)
  • Titres de programmes et de cours
  • Intelligence artificielle
  • Recherche scientifique
OBS

La reconnaissance d'objets vise à permettre à des machines de «voir». C'est l'un des problèmes les plus anciens et les plus difficiles de l'intelligence artificielle. Nous proposons une solution fondée sur l'exploration géométrique, technique issue de la géométrie algorithmique.

OBS

Projet de l'Institut de technologie de l'information (ITI) du Conseil national de recherches du Canada (CNRC).

Terme(s)-clé(s)
  • reconnaisse d'objets
  • exploration géométrique

Espagnol

Conserver la fiche 4

Fiche 5 1987-02-27

Anglais

Subject field(s)
  • Artificial Intelligence
OBS

A technique in Artificial Intelligence.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 5

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

En vedette

GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)

Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :