| 1992 |
Sélection de tests pour les protocoles de communication |
Dubuc, Martin |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
InterFaces : un gestionnaire d'agents d'interface avec synthèse vocale et animation faciale |
Laferrière, Alain |
Gecsei, Jan |
| 1992 |
Modification dynamique des spécifications dans un environnement orienté-objets |
Erradi, Mohammed |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Modélisation et positionnement de mannequins anthropométriques |
Franco, Jonathan |
Gilbert, Robert; Meunier, Jean |
| 1992 |
Outil pour le développement de programmes pour la composition de musique électro-acoustique |
DesMeules, Stéphane |
Gecsei, Jan; Piché, Jean |
| 1992 |
Algorithmes systoliques pour l'analyse syntaxique de langages hors-contextes sur la Connection Machine |
DesRosiers, Hugo |
Langlois, Laurent |
| 1992 |
Synthèse d'algorithmes de contrôle pour environnement réparti |
Levy, Michel |
Bochmann, Gregor V.; Gecsei, Jan |
| 1992 |
Codage d'image par automates à états finis, du tétrarbre à l'automate |
Quenneville, Charles |
Hahn, Gena; Meunier, Jean |
| 1992 |
Diagnostic tests for protocol implementations modeled by finite state machines |
Ghedamsi, Abderrazak ben Naceur |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde |
Kassardjian, Vahé |
Mckenzie, Pierre |
| 1992 |
MédiÉval: un outil multimédia pour l'évaluation des connaissances linguistiques |
Gagnon, Sylvain |
Gecsei, Jan |
| 1992 |
Méthodologie de programmation d'environnements à objets répartis |
Somé, Stéphane Sotèg |
Vaucher, Jean |
| 1992 |
Système multimédia pour l'enseignement de la médecine dentaire |
Cheng, Richard Jar-Wen |
Demirjian, Arto; Gecsei, Jan |
| 1992 |
Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents |
Ramazani, Dunia |
Bochmann, Gregor V.; Frasson, Claude |
| 1992 |
Signature incontestable et factorisation |
Landreville, Brigitte |
Brassard, Gilles |
| 1991 |
Une coquille de système expert multimédia pour micro-ordinateurs |
Pilon, Alain |
Gecsei, Jan |
| 1991 |
Un modèle de simulation basé sur les graphes de contraintes hiérarchiques |
Dufresne, Mario |
Cerny, Eduard |
| 1991 |
Teachart, un système tutoriel intelligent basé sur l'utilisation de la logique modale |
Gauvin, Daniel |
Lefebvre, Bernard |
| 1991 |
Visionnaire : un outil multimédia pour l'apprentissage des langues |
Lépine, Jean-François |
Gecsei, Jan |
| 1991 |
Analyse en ligne de traces d'exécution appliquée au protocole de transport |
Saba, Fayez |
Bochmann, Gregor V. |
| 1991 |
Traitement de l'incertitude : une implantation de la théorie de Dempster-Shafer en Smalltalk |
Samkocwa, Alain |
Savoy, Jacques |
| 1991 |
Réseaux d'inférence bayesiens dans un hypertexte |
Desbois, Daniel |
Savoy, Jacques |
| 1991 |
Un modèle dynamique de simulation de vêtements avec détection de collisions |
Lafleur, Benoît |
Thalmann, Daniel |
| 1991 |
A study of monotone variational inequalities and their application to network equilibrium problems |
Wu, Jia Hao |
Florian, Michael |
| 1991 |
Un modèle de représentation de l'information géographique dans un système d'analyse spatiale automatisée du terrain |
Carrier, Réjean |
Frasson, Claude; Fugere, Jean |
| 1991 |
Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri |
Barbeau, Michel |
Bochmann, Gregor V. |
| 1991 |
Un environnement d'expérimentation des grammaires de Montague |
Lavier, Fabrice |
Lapalme, Guy |
| 1991 |
Étude de l'oubli dans un modèle connexionniste de mémoire associative |
Agin, Patrick |
Gecsei, Jan; Proulx, Robert |
| 1991 |
Analyse de pannes multiples utilisant une technique d'élimination rapide |
Verreault, Alain |
Aboulhamid, El Mostapha |
| 1991 |
Un modèle de simulation au niveau des commutateurs à contrôle réparti |
Biotteau, Marc |
Cerny, Eduard |
| 1991 |
Modélisation de réactions émotives et application à la génération de récits |
Nault, Georges |
Boyer, Michel |
| 1991 |
Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole |
Millien, Evelyne |
Boyer, Michel |
| 1991 |
Évaluation du langage de spécification MONDEL à la description de protocoles de communication |
Poirier, Stéphane |
Bochmann, Gregor V.; Mondain-Monval, Pierre |
| 1991 |
De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué |
Girodias, Pierre |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1991 |
Outil graphique d'aide à la décision pour la résolution du problème de la distribution de l'énergie électrique |
Fredette, Yves |
Benchakroum, Abdelhamid; Ferland, Jacques |
| 1991 |
Compactage bidimensionnel de circuits intégrés selon la méthode de graphe de contraintes |
Martineau, Jean-Louis |
Cerny, Eduard |
| 1991 |
Heuristique de planification d'un réseau privé commuté par paquets |
Gravel, Hélène |
Ferland, Jacques |
| 1991 |
Animation et contrôle de corps articulés rigides à l'aide des lois de la dynamique |
Gagné, Réjean |
Thalmann, Daniel |
| 1991 |
Détection rapide des erreurs lexicales et syntaxiques en français |
Friha, Mustapha |
Lapalme, Guy |
| 1991 |
Simulation des prises de décision d'un répartiteur par la programmation mathématique |
Dufour, Gina |
Potvin, Jean-Yves; Rousseau, Jean-Marc |
| 1991 |
Générateur intelligent de tests adapté au domaine des protocoles de communication |
Gamache, Paul |
Bochmann, Gregor V.; Vaucher, Jean |
| 1991 |
Complexité des relations sémantiques dans les systèmes de programmation |
Marcoux, Yves |
Brassard, Gilles; Mckenzie, Pierre |
| 1991 |
Un environnement de travail pour le langage de programmation ObjVProlog |
Loyer, Alain |
Lapalme, Guy; Vaucher, Jean |
| 1991 |
Le problème de réconciliation en cryptographie |
Salvail, Louis |
Brassard, Gilles |
| 1990 |
Une méthode efficace pour la compaction bidimensionnelle de circuits intégrés |
Bois, Guy |
Cerny, Eduard |
| 1990 |
L'analyse lexicale dans les interfaces en langue naturelle |
Jolin, Nicolas |
Vaucher, Jean |
| 1990 |
Implantations parallèles d'un algorithme de séparation et évaluation progressive pour résoudre le problème de localisation avec équilibrage |
Gendron, Bernard |
Crainic, Teodor Gabriel; Florian, Michael |
| 1990 |
Des implantations parallèles de l'algorithme d'approximation linéaire pour la résolution du problème d'affectation du trafic |
Chabini, Ismaïl |
Florian, Michael |
| 1990 |
Transformations de programmes logiques : Bases sémantiques et applications |
Tarau, Paul |
Boyer, Michel |
| 1990 |
Système d'aide à la décision et à la formation en matière de planification de réseaux téléphoniques |
Perreault, Marc |
Frasson, Claude |