Search
Now showing items 11-20 of 55
Algorithmique et complexité des systèmes à compteurs
(2016-09-28)
L'un des aspects fondamentaux des systèmes informatiques modernes, et en particulier des systèmes critiques, est la possibilité d'exécuter plusieurs processus, partageant des ressources communes, de façon simultanée. De ...
Intégration du contexte en traduction statistique à l’aide d’un perceptron à plusieurs couches
(2010-11-04)
Les systèmes de traduction statistique à base de segments traduisent les phrases
un segment à la fois, en plusieurs étapes. À chaque étape, ces systèmes ne considèrent que très peu d’informations pour choisir la traduction ...
Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction
(2011-03-03)
Cette thèse s’intéresse à trois problèmes fondamentaux de la vision par ordinateur qui sont le suivi vidéo, le calibrage et la reconstruction 3D. Les approches proposées sont strictement basées sur des contraintes ...
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 ...
Développement logiciel par transformation de modèles
(2010-03-04)
La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut ...
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 ...
Consensus ou fusion de segmentation pour quelques applications de détection ou de classification en imagerie
(2018-10-18)
Récemment, des vraies mesures de distances, au sens d’un certain critère (et possédant de bonnes propriétés asymptotiques) ont été introduites entre des résultats de partitionnement (clustering) de donnés, quelquefois ...
Analyse de mouvements faciaux à partir d'images vidéo
(2012-05-03)
Lors d'une intervention conversationnelle, le langage est supporté par une communication non-verbale qui joue un rôle central dans le comportement social humain en permettant de la rétroaction et en gérant la synchronisation, ...
Approche efficace pour la conception des architectures multiprocesseurs sur puce électronique
(2011-12-01)
Les systèmes multiprocesseurs sur puce électronique (On-Chip Multiprocessor [OCM]) sont considérés comme les meilleures structures pour occuper l'espace disponible sur les circuits intégrés actuels. Dans nos travaux, nous ...
Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
(2013-03-01)
Les réseaux sociaux accueillent chaque jour des millions d’utilisateurs. Les usagers de ces réseaux, qu’ils soient des particuliers ou des entreprises, sont directement affectés par leur fulgurante expansion. Certains ont ...