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 |
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 |
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 |
Cadre conceptuel pour la composition des objets et la spécification du comportement |
Ramazani, Dunia |
Bochmann, Gregor V. |
1999 |
Construction et utilisation de modèles anatomiques |
Guimond, Alexandre |
Meunier, Jean; Thirion, Jean-Philippe |
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 |
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 |
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 |
Interactive visual management of curriculum |
Guo, Ruibiao |
Frasson, Claude; Kaltenbach, Marc |
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 |
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 |
2000 |
Vers la construction automatique d'un module inconnu dans un système composé |
Drissi, Jawad |
Bochmann, Gregor V. |
2000 |
Protocoles cryptographiques avec des participants limités en espace mémoire |
Marcil, Julien |
Crépeau, Claude |
2000 |
Problème d'affectation dynamique sur un réseau de transport |
Rubio-Ardanaz, Jose M. |
Florian, Michael; Wu, Jia Hao |
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 |
Allotment of aircraft spare parts using genetic algorithms |
Batchoun, Pascale |
Cleroux, Robert; Ferland, Jacques |
2000 |
Agent émotif dans un système tutoriel intelligent |
Abou-Jaoude, Sassine C. |
Frasson, Claude |
2000 |
Critères d'optimisation d'algorithmes d'apprentissage en gestion de portefeuille |
Chapados, Nicolas |
Bengio, Yoshua |
2000 |
Architecture et services pour la distribution de charge dans les systèmes distribués objet |
Badidi, Elarbi |
Keller, Rudolf; Kropf, Peter G. |
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 |
Analyse et synthèse de textures structurelles |
Lefebvre, Laurent |
Poulin, Pierre |
2000 |
Improvements brought to graphical user interfaces for insurance illustration systems |
Eid, Imad |
Aïmeur, Esma |
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 |
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 |