1999 |
Construction et utilisation de modèles anatomiques |
Guimond, Alexandre |
Meunier, Jean; Thirion, Jean-Philippe |
1999 |
Interactive visual management of curriculum |
Guo, Ruibiao |
Frasson, Claude; Kaltenbach, Marc |
1999 |
Analyse et optimisation globales de modules compilés séparément |
Boucher, Dominique |
Feeley, Marc |
1999 |
Symétrie et sens de l'orientation dans les graphes |
Awwad, Mohamad |
Flocchini, Paola; Hahn, Gena |
1999 |
Le principe, le théorème et les fonctions de Bloch |
Villeneuve, Jean-Philippe |
Gauthier, Paul M. |
1999 |
Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques |
Faye, Pierre |
Cerny, Eduard |
1999 |
Génération de machines virtuelles pour l'exécution de programmes compressés |
Latendresse, Mario |
Feeley, Marc |
1999 |
Allocation et tarification des accès réseaux |
Jamoussi, Walid |
Dssouli, Rachida; Robert, Jacques |
1999 |
Mouvements et interactions de la chevelure par mèches déformables |
Plante, Éric |
Poulin, Pierre |
1999 |
Architecture de bibliothèque numérique multi-agents à services extensibles |
Hamard, Kamel |
Kerherve, Brigitte; Nie, Jian-Yun |
1999 |
Bounding of switching activity in logic circuits |
Zejda, Jindrich |
Cerny, Eduard; Rumin, Nicolas C. |
1999 |
Scatter Search pour le problème du voyageur de commerce |
Oliva San Martin, Cristian |
Ferland, Jacques; Michelon, Philippe |
1999 |
Model checking for a first-order temporal logic using multiway decision graphs |
Ying, Xu |
Cerny, Eduard; Song, Xiaoyu |
1999 |
Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes |
Bourhfir, Chourouk |
Aboulhamid, El Mostapha; Dssouli, Rachida |
1999 |
Classification d'images SPECT du cerveau basée sur une analyse de la texture |
Chaïbi, Yasmina |
Meunier, Jean |
1999 |
Représentation hiérarchique de flux lumineux |
Brière, Normand |
Poulin, Pierre |
1999 |
Analyse et comparaison de protocoles de purification de l'intrication quantique |
Schoeb, Antoine |
Brassard, Gilles; Crépeau, Claude |
1999 |
La Charrue - pour une représentation des données dans l'interface homme-machine |
Gauthier, Jean-François |
Hahn, Gena |
2000 |
Improvements brought to graphical user interfaces for insurance illustration systems |
Eid, Imad |
Aïmeur, Esma |
2000 |
L'optimisation des fréquences d'un réseau de transport en commun avec congestion |
Noriega, Yolanda |
Florian, Michael; Vazquez-Abad, Felisa J. |
2000 |
Graphes de flot et coupes en restauration bayesienne d'images |
Bonneville, Martin |
Meunier, Jean; Roy, Sébastien |
2000 |
Parallel text mining for cross-language information retrieval using a statistical translation model |
Chen, Jiang |
Nie, Jian-Yun |
2000 |
La compilation de patrons de filtrage sous Erlang |
Piché, Patrick |
Feeley, Marc |
2000 |
L'utilisation de règles de réseau en simulation comme technique de réduction de la variance |
Lemieux, Christiane |
L'Ecuyer, Pierre |
2000 |
Support informatique à la compréhension des logiciels orientés objet de taille industrielle |
Robitaille, Sébastien |
Keller, Rudolf |
2000 |
Calculs multipartites |
Stiglic, Anton |
Crépeau, Claude |
2000 |
Système de colonie de fourmis GENI pour le problème du voyageur de commerce |
Le Louarn, François-Xavier |
Gendreau, Michel; Potvin, Jean-Yves |
2000 |
Cadre de travail pour la spécification de systèmes avec des chaînes sur un complexe cellulaire |
Egli, Richard |
Stewart, Neil Frederick |
2000 |
Extraction et intégration des données à partir des pages WEB |
Snoussi, Hicham |
Magnin, Laurent; Nie, Jian-Yun |
2000 |
ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles |
Gandrabur, Simona |
Cerny, Eduard |
2000 |
Vers la construction automatique d'un module inconnu dans un système composé |
Drissi, Jawad |
Bochmann, Gregor V. |
2000 |
Architecture et services pour la distribution de charge dans les systèmes distribués objet |
Badidi, Elarbi |
Keller, Rudolf; Kropf, Peter G. |
2000 |
Agent émotif dans un système tutoriel intelligent |
Abou-Jaoude, Sassine C. |
Frasson, Claude |
2000 |
Allotment of aircraft spare parts using genetic algorithms |
Batchoun, Pascale |
Cleroux, Robert; Ferland, Jacques |
2000 |
Un algorithme de chargement dynamique des réseaux : mésosimulation du flot dynamique avec capacités explicites |
Er-Rafia, Mohammad Karim |
Florian, Michael |
2000 |
Procédure de diversification pour la résolution des problèmes stochastiques de tournées de véhicules par l'algorithme tabou |
Pelleu-Tchétagni, Joséphine-Muriel |
Gendreau, Michel; Soriano, Patrick |
2000 |
Problème d'affectation dynamique sur un réseau de transport |
Rubio-Ardanaz, Jose M. |
Florian, Michael; Wu, Jia Hao |
2000 |
Propagation et rendu de feu |
Beaudoin, Philippe |
Poulin, Pierre |
2000 |
Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise |
Gerbé, Olivier |
Keller, Rudolf; Mineau, Guy |
2000 |
QoS architecture and monitoring for videoconferencing applications |
Poirier, Mathieu J. |
Dssouli, Rachida |
2000 |
Étude et réalisation d'un agent pédagogique explicatif |
Zouaq, Amal |
Frasson, Claude |
2000 |
Analyse et synthèse de textures structurelles |
Lefebvre, Laurent |
Poulin, Pierre |
2000 |
Critères d'optimisation d'algorithmes d'apprentissage en gestion de portefeuille |
Chapados, Nicolas |
Bengio, Yoshua |
2000 |
Architecture et programme d'entraînement pour agents qui apprennent par renforcement |
Desaulniers, Julien |
Bengio, Yoshua; Gendreau, Michel |
2000 |
Timing verification of interface specifications and controllers |
Jin, Fen |
Cerny, Eduard |
2000 |
Gestionnaire de connaissances pour systèmes hybrides objets-règles |
Es-salihe, Mustapha |
Lounis, Hakim; Sahraoui, Houari |
2000 |
Définition d'une mesure de compatibilité séquence-structure dans les protéines à l'aide de modèles probabilistes graphiques et de réseaux de neurones artificiels |
St-Arnaud, Daniel |
Major, François |
2000 |
White Rabbit : agents intelligents d'analyse de discussion pour la reconnaissance de profils d'usagers compatibles |
Thibodeau, Marc-André |
Aïmeur, Esma; Frasson, Claude |
2000 |
Covérification des systèmes intégrés |
Azizi, Mostafa |
Aboulhamid, El Mostapha; Tabar, Sofiene |
2000 |
Génération automatique de résumés par analyse sélective |
Saggion, Horacio |
Lapalme, Guy |