Search
Now showing items 11-20 of 24
Algorithmes de recommandation musicale
(2010-05-05)
Ce mémoire est composé de trois articles qui s’unissent sous le thème de la recommandation musicale à grande échelle.
Nous présentons d’abord une méthode pour effectuer des recommandations musicales en récoltant ...
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 ...
Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
(2010-03-04)
Ce mémoire vise à recenser les avantages et les inconvénients de
l'utilisation du langage de programmation fonctionnel dynamique
Scheme pour le développement de jeux vidéo. Pour ce faire, la
méthode utilisée est d'abord ...
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 ...
Moranapho : apprentissage non supervisé de la morphologie d'une langue par généralisation de relations analogiques
(2010-12-02)
Récemment, nous avons pu observer un intérêt grandissant pour l'application de l'analogie formelle à l'analyse morphologique. L'intérêt premier de ce concept repose sur ses parallèles avec le processus mental impliqué dans ...
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 ...
Timing verification in transaction modeling
(2010-05-05)
Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les ...
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 ...
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 ...
AURA : a hybrid approach to identify framework evolution
(2010-04-01)
Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code.
Par ...