Search
Now showing items 11-20 of 24
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 ...
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 ...
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 ...
Integrated Management of Interface Power (IMIP) Framework
(2010-05-05)
La présence importante de plusieurs réseaux sans-fils de différentes portées a encouragée le développement d’une nouvelle génération d’équipements portables sans-fils avec plusieurs interfaces radio. Ainsi, les utilisateurs ...
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 ...
Planification et dimensionnement des réseaux optiques de longues distances
(2010-03-04)
Le projet de recherche porte sur l'étude des problèmes de conception et de planification d'un réseau optique de longue distance, aussi appelé réseau de coeur (OWAN-Optical Wide Area Network en anglais). Il s'agit d'un ...
Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
(2010-03-04)
De nos jours, les logiciels doivent continuellement évoluer et intégrer toujours plus de fonctionnalités pour ne pas devenir obsolètes. C'est pourquoi, la maintenance représente plus de 60% du coût d'un logiciel. Pour ...
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 ...
Conception des réseaux maillés sans fil à multiples-radios multiples-canaux
(2010-05-05)
Généralement, les problèmes de conception de réseaux consistent à sélectionner les arcs et
les sommets d’un graphe G de sorte que la fonction coût est optimisée et l’ensemble de
contraintes impliquant les liens et les ...
Algorithmes pour la réconciliation d’un arbre de gènes avec un arbre d’espèces
(2010-06-03)
Une réconciliation entre un arbre de gènes et un arbre d’espèces décrit une histoire
d’évolution des gènes homologues en termes de duplications et pertes de gènes. Pour
inférer une réconciliation pour un arbre de gènes ...