Search
Now showing items 1-10 of 16
Patterns and quality of object-oriented software systems
(2010-12-02)
Lors de ces dix dernières années, le coût de la maintenance des systèmes orientés objets s'est accru jusqu' à compter pour plus de 70% du coût total des systèmes. Cette situation est due à plusieurs facteurs, parmi lesquels ...
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 ...
Modèle informatique du coapprentissage des ganglions de la base et du cortex : l'apprentissage par renforcement et le développement de représentations
(2010-05-05)
Tout au long de la vie, le cerveau développe des représentations de son environnement permettant à l’individu d’en tirer meilleur profit. Comment ces représentations se développent-elles pendant la quête de récompenses ...
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 ...
The decoupling approach to quantum information theory
(2010-03-04)
La théorie de l'information quantique étudie les limites fondamentales qu'imposent les lois de la physique sur les tâches de traitement de données comme la compression et la transmission de données sur un canal bruité. ...
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 ...
Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux
(2010-12-02)
Depuis quelques années, la recherche dans le domaine des réseaux maillés sans fil ("Wireless Mesh Network (WMN)" en anglais) suscite un grand intérêt auprès de la communauté des chercheurs en télécommunications. Ceci est ...
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 ...