1999 |
Modélisation UML pour une architecture coopérative appliquée au problème de tournées de véhicules avec fenêtres de temps |
Le Bouthillier, Alexandre |
Crainic, Teodor Gabriel; Keller, Rudolf |
1999 |
Symétrie et sens de l'orientation dans les graphes |
Awwad, Mohamad |
Flocchini, Paola; Hahn, Gena |
1999 |
Model checking for a first-order temporal logic using multiway decision graphs |
Ying, Xu |
Cerny, Eduard; Song, Xiaoyu |
1999 |
Le principe, le théorème et les fonctions de Bloch |
Villeneuve, Jean-Philippe |
Gauthier, Paul M. |
1999 |
Scatter Search pour le problème du voyageur de commerce |
Oliva San Martin, Cristian |
Ferland, Jacques; Michelon, Philippe |
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 |
1999 |
Bounding of switching activity in logic circuits |
Zejda, Jindrich |
Cerny, Eduard; Rumin, Nicolas C. |
1999 |
Architecture de bibliothèque numérique multi-agents à services extensibles |
Hamard, Kamel |
Kerherve, Brigitte; Nie, Jian-Yun |
1999 |
Représentation hiérarchique de flux lumineux |
Brière, Normand |
Poulin, Pierre |
1999 |
Mouvements et interactions de la chevelure par mèches déformables |
Plante, Éric |
Poulin, Pierre |
1999 |
Classification d'images SPECT du cerveau basée sur une analyse de la texture |
Chaïbi, Yasmina |
Meunier, Jean |
1999 |
Allocation et tarification des accès réseaux |
Jamoussi, Walid |
Dssouli, Rachida; Robert, Jacques |
1999 |
Génération de machines virtuelles pour l'exécution de programmes compressés |
Latendresse, Mario |
Feeley, Marc |
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 |
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 |
Quality of services adaptation model for distributed multimedia application based on RTP protocol on IP network |
Guo, Yong |
Dssouli, Rachida |
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 |
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 |
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 |
Diagnostic des protocoles de communication fondé sur les automates à états finis étendus |
Boumaraf, Samira |
Dssouli, Rachida |
2000 |
Protocoles cryptographiques avec des participants limités en espace mémoire |
Marcil, Julien |
Crépeau, Claude |
2000 |
Critères d'optimisation d'algorithmes d'apprentissage en gestion de portefeuille |
Chapados, Nicolas |
Bengio, Yoshua |
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 |
Calculs multipartites |
Stiglic, Anton |
Crépeau, Claude |
2000 |
Architecture et services pour la distribution de charge dans les systèmes distribués objet |
Badidi, Elarbi |
Keller, Rudolf; Kropf, Peter G. |
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 |
Problème d'affectation dynamique sur un réseau de transport |
Rubio-Ardanaz, Jose M. |
Florian, Michael; Wu, Jia Hao |
2000 |
Planification de l'exploitation forestière par des méthodes heuristiques |
Roussel, Sylvie |
Ferland, Jacques |
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 |
An H.323-based adaptive QoS architecture |
Ng, Jean-Marc Wing Keng |
Dssouli, Rachida |
2000 |
Évaluation qualitative et quantitative d'outils de visualisation logicielle |
Bassil, Sarita |
Keller, Rudolf |
2000 |
Optimisation des interactions au sein d'un réseau de connaissances |
Bélanger, Simon |
Aïmeur, Esma; Frasson, Claude |
2000 |
Extraction et intégration des données à partir des pages WEB |
Snoussi, Hicham |
Magnin, Laurent; Nie, Jian-Yun |
2000 |
Étude et réalisation d'un agent pédagogique explicatif |
Zouaq, Amal |
Frasson, Claude |
2000 |
QoS architecture and monitoring for videoconferencing applications |
Poirier, Mathieu J. |
Dssouli, Rachida |
2000 |
Propagation et rendu de feu |
Beaudoin, Philippe |
Poulin, Pierre |
2000 |
Architecture et programme d'entraînement pour agents qui apprennent par renforcement |
Desaulniers, Julien |
Bengio, Yoshua; Gendreau, Michel |
2000 |
Spécifications en XML d'un langage de génération d'exercices pédagogiques |
Boukherouaa, El Bachir |
Frasson, Claude |
2000 |
Générateurs de nombres pseudo-aléatoires utilisant des récurrences linéaires modulo 2 |
Panneton, François |
L'Ecuyer, Pierre |
2000 |
Développement de cours pour un environnement distribué de formation à distance |
Gardouh, El Bachir |
Frasson, Claude |
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 |
Covérification des systèmes intégrés |
Azizi, Mostafa |
Aboulhamid, El Mostapha; Tabar, Sofiene |
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 |
Timing verification of interface specifications and controllers |
Jin, Fen |
Cerny, Eduard |