Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle by Title
Now showing items 195-214 of 1170
-
Co-simulation for controlled environment agriculture
(2024-02-21)L’agriculture en environnement contrôlé (AEC) est une pratique agricole de haute technologie où la culture de plantes et son environnement sont soumis à une certaine forme de contrôle afin d’obtenir des rendements plus élevés et une efficacité de ... -
Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
(2017-03-28)La question de déterminer si un modèle géométrique a des intersections non prévues est commune à plusieurs domaines : simulations numériques, CAO/DAO, animation, infographie, etc. C’est un problème dont la complexité varie avec la représentation choisie ... -
Comparaison de systèmes de traduction automatique pour la post édition des alertes météorologique d'Environnement Canada
(2020-03-25)Ce mémoire a pour but de déterminer la stratégie de traduction automatique des alertes météorologiques produites par Environnement Canada, qui nécessite le moins d’efforts de postédition de la part des correcteurs du bureau de la traduction. Nous ... -
Comparing of radial and tangencial geometric for cylindric panorama
(2017-03-28)Cameras generally have a field of view only large enough to capture a portion of their surroundings. The goal of immersion is to replace many of your senses with virtual ones, so that the virtual environment will feel as real as possible. Panoramic ... -
Compilation efficace pour FPGA reconfigurable dynamiquement
(2009-02-05) -
Compilation statique de Java
(2003) -
A Compiler for the dependently typed language Beluga
(2012-10-11)Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ... -
Complexité de la communication sur un canal avec délai
(2014-03-03)Nous introduisons un nouveau modèle de la communication à deux parties dans lequel nous nous intéressons au temps que prennent deux participants à effectuer une tâche à travers un canal avec délai d. Nous établissons quelques bornes supérieures et ... -
Complexité des homomorphismes de graphes avec listes
(2012-09-04)Les problèmes de satisfaction de contraintes, qui consistent à attribuer des valeurs à des variables en respectant un ensemble de contraintes, constituent une large classe de problèmes naturels. Pour étudier la complexité de ces problèmes, il est commode ... -
Complexité raffinée du problème d'intersection d'automates
(2012-07-05)Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une ...