| 2006 |
Méthodologie de conception d'un modèle comportemental pour la vérification formelle |
Bastien, Frédéric |
Aboulhamid, El Mostapha; Boyer, François-Raymond; Vachon, Julie |
| 2006 |
Formal checking of web based applications |
Barburas, Doina Mirela |
Sahraoui, Houari; PETRENKO, ALEXANDRE |
| 2006 |
Graphe et jeu de poursuite : policiers et voleurs sous contraintes |
El Harti, Sif El Islam |
Hahn, Gena |
| 2006 |
Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact |
Sanvido, Charles |
Écuyer, Pierre L |
| 2006 |
Modèles de langue appliqués à la recherche d'information contextuelle |
Bouchard, Hugues |
Nie, Jian-Yun |
| 2006 |
Methods for multi-class segmentation of molecular sequences |
Cheng, Ming-Te |
Csuros, Miklos |
| 2006 |
An intelligent help system to support teachers to author learning sessions in decision-making in network design |
Rodríguez, Arnoldo |
Aïmeur, Esma; VAZQUEZ-ABAD, FELISA J. |
| 2006 |
Approches heuristiques pour le problème d'ordonnancement de véhicules |
Craciunas, Dumitru Silviu |
Potvin, Jean-Yves; Gendreau, Michel |
| 2006 |
Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET |
Brassard, Olivier |
Aboulhamid, El Mostapha; David, Jean Pierre |
| 2006 |
Optimisation et balancement de la consommation d'énergie dans les réseaux ad hoc mobiles et de capteurs |
Chender, Farid |
Hafid, Abdelhakim |
| 2006 |
Programmes de génération et machines de Turing algébriques |
Pilette, Simon |
McKenzie, Pierre |
| 2006 |
Compilation d'architectures à flot de données à partir de programmes fonctionnels |
Saint-Mleux, Xavier |
Feeley, Marc; David, Jean Pierre |
| 2006 |
Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code |
Bouden, Saliha |
Guéhéneuc, Yann-Gaël |
| 2006 |
Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect |
Guyomarc'h, Jean-Yves |
Guéhéneuc, Yann-Gaël |
| 2006 |
Conception d'un langage de programmation pour applications distribuées |
Germain, Guillaume |
Feeley, Marc; Monnier, Stefan |
| 2006 |
Algorithms for classifying recorded music by genre |
Bergstra, James |
Eck, Douglas; Bengio, Yoshua |
| 2005 |
Animation de fluides viscoélastiques à base de particules |
Clavet, Simon |
Poulin, Pierre |
| 2005 |
Une métaheuristique pour le problème d'affectation de longueurs d'onde, de groupage et de routage du trafic dans les réseaux optiques WDM |
Solari, Yannick |
Jaumard, Brigitte; Houle, Alain |
| 2005 |
Analyse des données d'expression de gènes |
Paquet, Éric |
Major, François |
| 2005 |
BLED : système d'aide à la recherche d'informations sur Internet |
Bakour, Kamal |
Aïmeur, Esma |
| 2005 |
Implémentation de la multiplication des grands nombres par FFT dans le contexte des algorithmes cryptographiques |
Kalach, Kassem |
David, Jean Pierre; Brassard, Gilles |
| 2005 |
Rendu interactif de détails de surface par textures 3D semi-transparentes |
Dufort, Jean-François |
Poulin, Pierre |
| 2005 |
Estimation de la qualité du produit logiciel : réseaux Bayésiens |
El Aoumari, Sanaa |
Sahraoui, Houari; LOUNIS, HAKIM |
| 2005 |
Analyse de la qualité du logiciel : une approche par visualisation et simulation |
Rouatbi, Mohamed |
Sahraoui, Houari; Kegl, Balazs |
| 2005 |
Analyse du comportement des programmes à l'aide des matrices d'adjacence |
Rached, Samah |
Guéhéneuc, Yann-Gaël; Valtchev, Petko |
| 2005 |
Alignement des ontologies OWL-Lite |
Touzani, Mohamed |
Valtchev, Petko |
| 2005 |
Animation interactive de mouvements secondaires par simulation de surfaces élastiques |
Simard, Yannick |
Poulin, Pierre |
| 2005 |
Contribution à la conjecture d'Erdos-Farber-Lovász |
Akrout, Khaled |
Hahn, Gena |
| 2005 |
Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique |
Lapalme, Jasmin |
Eck, Douglas |
| 2005 |
Accès et routage optique en mode de commutation de rafales |
Coutelen, Thomas |
Jaumard, Brigitte; Elbiaze, Halima |
| 2005 |
A quality model considering program architecture |
Khosravi, Khashayar |
Guéhéneuc, Yann-Gaël |
| 2005 |
Calibration de la distorsion radiale |
Gauthier, Alexandre |
Roy, Sébastien |
| 2005 |
Développement d'une fonction d'évaluation pour le jeu de go |
Rainy, Jeffrey |
Tapp, Alain |
| 2005 |
Dimensionnement GRWA et protection par segment dans les réseaux optiques WDM |
Bouffard, Alexandre |
Jaumard, Brigitte; Houle, Alain |
| 2005 |
Heuristiques pour l'expansion multi-périodes de la capacité d'un réseau local de télécommunications |
Kouassi, Roxane |
Gendreau, Michel; Potvin, Jean-Yves; SORIANO, PATRICK |
| 2005 |
Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables |
Gorse, Nicolas |
Aboulhamid, El Mostapha; Savaria, Yvon |
| 2005 |
Collaboration in multi-agent system : contract net and beyond |
Mai, Jian Hua |
Vaucher, Jean |
| 2005 |
Migrating legacy system towards object technology |
Wu, Lei |
Sahraoui, Houari; Valtchev, Petko |
| 2005 |
Heuristique basée sur des méthodes de montée duale et de voisinage variable pour la résolution d'un problème de localisation dans un système de distribution |
Temimi, Imen |
Gendron, Bernard |
| 2005 |
Reconstruction volumétrique par l'algorithme du flot maximum dans un graphe |
Proulx, Catherine |
Roy, Sébastien |