| 1996 |
Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes |
Martin, Benoit |
L'Écuyer, Pierre; Vazquez-Abad, Felisa J. |
| 1996 |
Un outil pour la spécification de matériel et la génération de modèles exécutables |
Babkine, Philippe-André |
Cerny, Eduard |
| 1996 |
Reconstruction d'itinéraires optimaux dans un réseau multimodes-multiproduits |
Charland, Yves |
Crainic, Teodor Gabriel; Florian, Michael |
| 1996 |
Approches génétiques pour le problème de répartition de véhicules |
Leclerc, François |
Potvin, Jean-Yves |
| 1996 |
Contribution à l'amélioration des modélisations à objets |
Anquetil, Nicolas |
Vaucher, Jean |
| 1996 |
Environnement auteur exploitant les bases de connaissances dans un système tutoriel intelligent |
Mghayar, Antoine |
Gecsei, Jan |
| 1996 |
Application d'une méthode exacte pour la génération d'horaire en soins infirmiers |
Gagné, Éric |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1996 |
Test de conformité du protocole de signalisation en mode Trames (Frame Relay) |
Ould Mohamed-Salem, Mohamed-Vall |
Bochmann, Gregor V. |
| 1996 |
Satisfaction incrémentielle de contraintes par le biais de la réécriture |
Roy, Gilles |
Vaucher, Jean |
| 1996 |
Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications |
Nkambou, Roger |
Frasson, Claude; Gauthier, Gilles |
| 1996 |
Génération intégrée de textes et de graphiques statistiques |
Fasciano, Massimo |
Lapalme, Guy |
| 1996 |
Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur |
Dionne, Carl |
Desbiens, Jocelyn; Feeley, Marc |
| 1996 |
Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable |
Pigeon, Steven |
Cloutier, Jocelyn |
| 1996 |
Étude et réalisation d'un système conseiller |
Serroud, Abdallah |
Frasson, Claude |
| 1996 |
Spécification formelle de systèmes d'information interactifs par la technique des scénarios |
Kawashita, Ilka |
Babin, Gilbert; Lustman, François |
| 1996 |
Décomposition semi-automatique de diagramme de flot des données (DFD) |
Tamim, Mohamad |
Lustman, François |
| 1996 |
Détermination de la contraction de la surface cardiaque en coronarographie biplan |
Ait Hamou Cheriet, Farida |
Meunier, Jean |
| 1996 |
La sécurité des protocoles de la cryptographie quantique |
Mayers, Dominic |
Brassard, Gilles |
| 1996 |
Developing network management applications using application frameworks and literate programming |
Youssef, Ghassan |
Keller, Rudolf |
| 1996 |
Contributions à l'étude du non-déterminisme restreint |
Caussinus, Hervé |
Beaudry, Martin; Mckenzie, Pierre |
| 1996 |
Multiway decision graphs and their applications in automatic formal verification of RTL designs |
Zhou, Zijian |
Cerny, Eduard; Song, Xiaoyu |
| 1996 |
Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques |
Bennour, Imed-Eddine |
Aboulhamid, El Mostapha |
| 1995 |
Un modèle de l'apprenant basé sur les tâches |
Duperval, Laurent |
Frasson, Claude |
| 1995 |
Éditeur de démonstrations par l'exemple |
Abadie, Christophe |
Frasson, Claude |
| 1995 |
Programmation bi-niveaux et son application au problème d'affection du trafic avec contrôles de signaux |
Yezza, Abdelwahab |
Florian, Michael |
| 1995 |
Problèmes d'affectation avec contraintes d'alternatives et application à la gestion des stages de résidence |
Ichoua, Soumia |
Ferland, Jacques |
| 1995 |
Un système tutorial intelligent basé sur un système critique |
Jebel, Imed |
Aïmeur, Esma; Frasson, Claude |
| 1995 |
Planification des admissions dans un service de chirurgie |
Qazi, Ahmad |
Michelon, Philippe |
| 1995 |
Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet |
Arfi, Amina |
Godin, Robert; Nie, Jian-Yun |
| 1995 |
Contributions au simplexe primal adapté au réseau et implantations séquentielle et parallèle efficaces |
Lebeuf, Denis |
Florian, Michael |
| 1995 |
Architecture d'un système d'aide intelligente à la conception de cours SAICC |
Kjiri, Laila |
Frasson, Claude |
| 1995 |
Évaluation de fonctions sur données privées |
Tapp, Alain |
Brassard, Gilles; Crépeau, Claude |
| 1995 |
Construction incrémentielle de spécifications pour systèmes distribués |
Khendek, Ferhat |
Bochmann, Gregor V. |
| 1995 |
Simulation de protocoles de cryptographie quantique |
Riendeau, Jean-François |
Brassard, Gilles; Crépeau, Claude |
| 1995 |
Horaires du personnel infirmier générés avec approches heuristiques |
Nabli, Imene |
Ferland, Jacques; Michelon, Philippe; Gascon, Viviane |
| 1995 |
Méthode de fusion du volume d'une malformation artério-veineuse reconstruit avec un volume d'images de résonance magnétique |
Lamer, Roland |
Meunier, Jean |
| 1995 |
Machine abstraite catégorique et parallélisme de données |
Foisy, Christian |
Hains, Gaétan |
| 1995 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
| 1995 |
Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles |
Bensalem, Aicha |
Cerny, Eduard |
| 1995 |
Hypermédia astronomique |
Laberge, Patrick |
Gecsei, Jan |
| 1995 |
Architecture de système Tutoriel Intelligent pour l'analyse du raisonnement de l'apprenant |
Djamen, Jean-Yves |
Frasson, Claude; Kaltenbach, Marc |
| 1995 |
Programmation quadratique en variables binaires |
Brossard, Nicolas |
Michelon, Philippe |
| 1995 |
L'ordinateur quantique : complexité et stabilisation des calculs |
Berthiaume, André |
Brassard, Gilles |
| 1995 |
Modélisation et simulation de conversations dans un univers multi-agent |
Rousseau, D. |
Lapalme, Guy; Moulin, Bernard |
| 1995 |
Planification de textes d'instructions : sélectio du contenu et de la structure rhétorique |
Kosseim, Leila |
Kittredge, Richard; Lapalme, Guy |
| 1995 |
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes |
Pesant, Gilles |
Boyer, Michel |
| 1995 |
Études de bornes inférieures pour le problème d'affectation quadratique |
Chouman, Mervat |
Michelon, Philippe |
| 1995 |
Une analyse statique pour la détection de parallélisme emboîté en Dpml |
Vachon, Julie |
Hains, Gaétan |
| 1995 |
Interface iconique pour un système d'aide au diagnostic médical à base de cas |
Talbi, Hichem |
Frasson, Claude |
| 1995 |
Heuristiques pour la planification de réseaux de distribution d'énergie électrique |
Meynard, Yves |
Benchakroum, Abdelhamid; Ferland, Jacques |