Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle by Title
Now showing items 170-189 of 1196
-
Un cadre d'application pour interfaces de gestion OSI
(1996-06-06)OSI définit une suite de protocoles pour les réseaux ouverts hétérogènes. De tels réseaux peuvent être très difficile à gérer à cause de la diversité des manufacturiers de composantes, chacun définissant sa propre méthode de gestion. C'est pourquoi ... -
Calcul en n-dimensions sur GPU
(2013-09-03)Le calcul scientifique sur processeurs graphiques (GPU) est en plein essor depuis un certain temps, en particulier dans le domaine de l'apprentissage machine. Cette thèse présente les efforts pour établir une structure de données de table au ... -
Calculs multipartites
(2000) -
Calibrage de caméra fisheye et estimation de la profondeur pour la navigation autonome
(2020-03-25)Ce mémoire s’intéresse aux problématiques du calibrage de caméras grand angles et de l’estimation de la profondeur à partir d’une caméra unique, immobile ou en mouvement. Les travaux effectués se situent à l’intersection entre la vision 3D classique ... -
Calibrated uncertainty estimation for SLAM
(2023-08-15)La focus de cette thèse de maîtrise est l’analyse de l’étalonnage de l’incertitude pour la lo- calisation et la cartographie simultanées (SLAM) en utilisant des modèles de mesure basés sur les réseaux de neurones. SLAM sont un problème fondamental en ... -
Calibration de la distorsion radiale
(2006) -
Calibration de systèmes de caméras et projecteurs dans des applications de création multimédia
(2010-05-05)Ce mémoire s'intéresse à la vision par ordinateur appliquée à des projets d'art technologique. Le sujet traité est la calibration de systèmes de caméras et de projecteurs dans des applications de suivi et de reconstruction 3D en arts visuels et en art ... -
Caractérisation et étude de l’impact des permissions dans les applications mobiles
(2018-05-10)Android fournit un modèle de sécurité basé sur les permissions aux développeurs d'applications tiers, qui contrôlent l'accès aux ressources système, incluant le matériel, les paramètres et les données utilisateur. Cette recherche examine un ensemble ... -
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
(2013-01-04)Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation ... -
Categorical quantum computation
(2009-06-04)