1999 |
Calibration, rectification et stéréoscopie |
Roy, Sébastien |
Meunier, Jean |
1999 |
Modélisation des boucles dans les protéines |
Lefebvre, Sébastien |
Major, François |
1999 |
Modèles et algorithmes pour la simulation des systèmes à temps réel |
Nicolae, Ana-Francisca |
Cerny, Eduard |
1999 |
Un générateur de code machine pour le compilateur Gambit |
Beaulieu, Sylvain |
Feeley, Marc |
1999 |
Étude des environnements de microsimulation économique avec agents partiellement rationnels |
Trussart, Vincent |
Major, François; Robert, Jacques |
1999 |
Une librairie orientée-objet pour la simulation des réseaux stochastiques dynamiques |
Demers, Jocelyn |
Crainic, Teodor Gabriel; Gendreau, Michel |
1999 |
Étude et modélisation des connaissances et raisonnement de l'apprenant dans un STI |
Shiri-Ahmadabadi, Mohammad-Ebrahim |
Aïmeur, Esma; Frasson, Claude |
1999 |
Utilisation d'hyper-paramètres pour la sélection de variables |
Latendresse, Simon |
Bengio, Yoshua |
1999 |
Enrichissement d'un curriculum par recherche sur Internet |
Ouellet, Michèle |
Gecsei, Jan; Nie, Jian-Yun |
1999 |
Informatique quantique : algorithmes et complexité de la communication |
Tapp, Alain |
Brassard, Gilles; Mckenzie, Pierre |
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 |