Search
Now showing items 201-210 of 212
Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
(2015-02-18)
L’ingénierie dirigée par les modèles (IDM) est un paradigme d’ingénierie du logiciel
bien établi, qui préconise l’utilisation de modèles comme artéfacts de premier ordre
dans les activités de développement et de maintenance ...
Logarithme d'harmoniques sphériques pour le rendu d'ombres douces de champs de hauteurs et de maillages
(2015-09-23)
Les ombres sont un élément important pour la compréhension d'une scène. Grâce à elles, il est possible de résoudre des situations autrement ambigües, notamment concernant les mouvements, ou encore les positions relatives ...
L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
(2012-11-02)
Les logiciels de correction grammaticale commettent parfois des détections illégitimes (fausses alertes), que nous appelons ici surdétections. La présente étude décrit les expériences de mise au point d’un système créé ...
Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
(2015-04-30)
Dans le but d’optimiser la représentation en mémoire des enregistrements Scheme dans le compilateur Gambit, nous avons introduit dans celui-ci un système d’annotations de type et des vecteurs contenant une représentation ...
Un protocole de diffusion des messages dans les réseaux véhiculaires
(2011-10-06)
De nos jours, la voiture est devenue le mode de transport le plus utilisé, mais malheureusement, il est accompagné d’un certain nombre de problèmes (accidents, pollution, embouteillages, etc.), qui vont aller en s’aggravant ...
Développement et implémentation du jeu des vingt questions
(2015-02-18)
Ce document est un rapport de stage de maitrise qui portait sur la réalisation d'un jeu de 20 questions (20Q) consistant à faire deviner par l’ordinateur un objet d'une maison ou un environnement choisi par le joueur. ...
Multi-Prover and parallel repetition in non-classical interactive games
(2010-02-04)
Depuis l’introduction de la mécanique quantique, plusieurs mystères de la nature
ont trouvé leurs explications. De plus en plus, les concepts de la mécanique
quantique se sont entremêlés avec d’autres de la théorie de ...
Reconstruction tridimensionnelle pour projection sur surfaces arbitraires
(2013-06-03)
Ce mémoire s'inscrit dans le domaine de la vision par ordinateur. Elle s'intéresse à la calibration de systèmes de caméras stéréoscopiques, à la mise en correspondance caméra-projecteur, à la reconstruction 3D, à l'alignement ...
Simulation des fonctions de texture bidirectionnelles
(2014-05-20)
Le réalisme des objets en infographie exige de simuler adéquatement leur apparence
sous divers éclairages et à différentes échelles. Une solution communément adoptée par les chercheurs consiste à mesurer avec l’aide ...
Key agreement against quantum adversaries
(2013-06-03)
Key agreement is a cryptographic scenario between two legitimate parties, who need to establish a common secret key over a public authenticated channel, and an eavesdropper who intercepts all their messages in order to ...