Recherche
Voici les éléments 31-40 de 212
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 ...
Implantation des futures sur un système distribué par passage de messages
(2011-03-03)
Ce mémoire présente une implantation de la création paresseuse de tâches desti-
née à des systèmes multiprocesseurs à mémoire distribuée. Elle offre un sous-ensemble des fonctionnalités du Message-Passing Interface et ...
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 ...
Métriques de routage dans les réseaux maillés sans fil
(2011-08-04)
Ces dernières années, les technologies sans fil ont connu un essor
fulgurant. Elles ont permis la mise en place de réseaux sans fil à hautes
performances. Les réseaux maillées sans fil (RMSF) sont une nouvelle génération
de ...
Le rendu en demi-ton avec sensibilité à la structure
(2011-09-01)
Dans ce mémoire nous allons présenter une méthode de diffusion d’erreur originale qui peut reconstruire des images en demi-ton qui plaisent à l’œil. Cette méthode préserve des détails fins et des structures visuellement ...
Using goal-driven assistants for software visualization
(2017-03-28)
Utiliser la visualization de logiciels pour accomplir certaines tâches comme la détection de défauts de design peut être fastidieux. Les utilisateurs doivent d’abord trouver et configurer un outil de visualization qui est ...
Sur l’identification des états produits par une source quantique maximalement décorrélée
(2017-03-28)
Nous définissons une source uniforme maximalement décorrélée comme un ensemble
d’états quantiques qui sont pris chacun dans une base différente d’un ensemble de bases mutuellement non-biaisées et dont le nombre d’états ...
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 ...
A Type-Preserving Compiler from System F to Typed Assembly Language
(2010-01-07)
L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de ...