Search
Now showing items 31-40 of 81
Preuves interactives quantiques
(2010-02-04)
Cette thèse est consacrée à la complexité basée sur le paradigme des preuves interactives.
Les classes ainsi définies ont toutes en commun qu’un ou plusieurs prouveurs,
infiniment puissants, tentent de convaincre un ...
Vidéosurveillance intelligente pour la détection de chutes chez les personnes âgées
(2010-07-08)
Les pays industrialisés comme le Canada doivent faire face au vieillissement de leur population. En particulier, la majorité des personnes âgées, vivant à domicile et souvent seules, font face à des situations à risques ...
Apprentissage machine efficace : théorie et pratique
(2012-10-11)
Malgré des progrès constants en termes de capacité de calcul, mémoire et quantité de données disponibles, les algorithmes d'apprentissage machine doivent se montrer efficaces dans l'utilisation de ces ressources. La ...
Génération de résumés par abstraction
(2014-03-03)
Cette thèse présente le résultat de plusieurs années de recherche dans le domaine de la génération automatique de résumés. Trois contributions majeures, présentées sous la forme d'articles publiés ou soumis pour publication, ...
Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
(2013-02-01)
Dans un premier temps, nous avons modélisé la structure d’une famille d’ARN avec une grammaire de graphes afin d’identifier les séquences qui en font partie. Plusieurs autres méthodes de modélisation ont été développées, ...
Approches générales de résolution pour les problèmes multi-attributs de tournées de véhicules et confection d'horaires
(2013-04-05)
Le problème de tournées de véhicules (VRP) implique de planifier les itinéraires d'une flotte de véhicules afin de desservir un ensemble de clients à moindre coût. Ce problème d'optimisation combinatoire NP-difficile ...
Tarification logit dans un réseau
(2012-05-03)
Le problème de tarification qui nous intéresse ici consiste à maximiser le revenu généré par les usagers d'un réseau de transport. Pour se rendre à leurs destinations, les usagers font un choix de route et utilisent ...
Groupage et protection du trafic dynamique dans les réseaux WDM
(2011-08-04)
Avec les nouvelles technologies des réseaux optiques, une quantité de données de plus en plus grande peut être transportée par une seule longueur d'onde. Cette quantité peut atteindre jusqu’à 40 gigabits par seconde (Gbps). ...
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
(2011-08-04)
La conception de systèmes hétérogènes exige deux étapes importantes, à savoir : la modélisation
et la simulation. Habituellement, des simulateurs sont reliés et synchronisés
en employant un bus de co-simulation. Les ...
Protocoles d'évaluation pour l'extraction d'information libre
(2019-10-30)
On voudrait apprendre à "lire automatiquement". L'extraction d'information consiste à transformer des paragraphes de texte écrits en langue naturelle en une liste d'éléments d'information autosuffisants, de façon à pouvoir ...