Recherche
Voici les éléments 1-10 de 25
Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
(2013-03-01)
Cette thèse vise à définir une nouvelle méthode d’enseignement pour les systèmes tutoriels intelligents dans le but d’améliorer l’acquisition des connaissances. L’apprentissage est un phénomène complexe faisant intervenir ...
Sécurité polynomiale en cryptographie
(2013-03-01)
Dans ce mémoire, nous proposons des protocoles cryptographiques d'échange de clef, de mise en gage, et de transfert équivoque. Un premier protocole de transfert équivoque, primitive cryptographique universelle pour le ...
Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
(2013-03-01)
Nous proposons de construire un atlas numérique 3D contenant les caractéristiques moyennes et les variabilités de la morphologie d’un organe. Nos travaux seront appliqués particulièrement à la construction d'un atlas ...
Mures : Un système de recommandation de musique
(2013-01-04)
Pendant la dernière décennie nous avons vu une transformation incroyable du monde de la musique qui est passé des cassettes et disques compacts à la musique numérique en ligne. Avec l'explosion de la musique numérique, ...
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 ...
Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise
(2013-02-01)
Ce mémoire présente un patron d’architecture permettant, dans un contexte orientéobjet,
l’exploitation d’objets appartenant simultanément à plusieurs hiérarchies fonctionnelles.
Ce patron utilise un reasoner basé sur les ...
Reliable Solid Modelling Using Subdivision Surfaces
(2013-06-18)
Les surfaces de subdivision fournissent une méthode alternative prometteuse dans la modélisation géométrique, et ont des avantages sur la représentation classique de trimmed-NURBS, en particulier dans la modélisation de ...
Impacts and Detection of Design Smells
(2013-02-01)
Les changements sont faits de façon continue dans le code source des logiciels pour prendre en compte les besoins des clients et corriger les fautes. Les changements continus peuvent conduire aux défauts de code et de ...
Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples
(2013-03-01)
Les modèles de réflexion complexes, avec leurs nombreux paramètres dont certains restent non intuitifs, sont difficiles à contrôler pour obtenir une apparence désirée. De plus, même si un artiste peut plus aisément comprendre ...
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
(2013-01-04)
Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes,
de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques ...