1998 |
Le raisonnement à base de cas dans la planification financière |
Boudina, Kamel |
Aïmeur, Esma |
1998 |
Modélisation de langages à classes à l'aide de Proto-Reflex |
Montero, Katia |
Lapalme, Guy; Malenfant, Jacques |
1998 |
Une méthode de recherche avec tabous pour la localisation de stations d'inspection sur un réseau de transport |
Parent, Isabelle |
Gendreau, Michel; Laporte, Gilbert |
1998 |
Planification de l'enseignement individualisé dans un système turoriel intelligent à grande échelle |
Lê, Tang-Ho |
Frasson, Claude; Gauthier, Gilles |
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 |
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 |
Model checking for a first-order temporal logic using multiway decision graphs |
Ying, Xu |
Cerny, Eduard; Song, Xiaoyu |
1999 |
Allocation et tarification des accès réseaux |
Jamoussi, Walid |
Dssouli, Rachida; Robert, Jacques |
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 |
Représentation hiérarchique de flux lumineux |
Brière, Normand |
Poulin, Pierre |
1999 |
Classification d'images SPECT du cerveau basée sur une analyse de la texture |
Chaïbi, Yasmina |
Meunier, Jean |
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 |
Enrichissement d'un curriculum par recherche sur Internet |
Ouellet, Michèle |
Gecsei, Jan; Nie, Jian-Yun |
1999 |
Architecture de bibliothèque numérique multi-agents à services extensibles |
Hamard, Kamel |
Kerherve, Brigitte; Nie, Jian-Yun |
1999 |
Mouvements et interactions de la chevelure par mèches déformables |
Plante, Éric |
Poulin, Pierre |
1999 |
Bounding of switching activity in logic circuits |
Zejda, Jindrich |
Cerny, Eduard; Rumin, Nicolas C. |
1999 |
Interactive visual management of curriculum |
Guo, Ruibiao |
Frasson, Claude; Kaltenbach, 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 |
1999 |
Le principe, le théorème et les fonctions de Bloch |
Villeneuve, Jean-Philippe |
Gauthier, Paul M. |
1999 |
Informatique quantique : algorithmes et complexité de la communication |
Tapp, Alain |
Brassard, Gilles; Mckenzie, Pierre |
1999 |
Cadre conceptuel pour la composition des objets et la spécification du comportement |
Ramazani, Dunia |
Bochmann, Gregor V. |