2002 |
Compilation optimisante à l'aide de métaheuristiques |
Kri, Fernanda |
Feeley, Marc |
2002 |
Compilation statique de Java |
Bergeron, Étienne |
Feeley, Marc |
2002 |
Weighted finite-state transducers in speech recognition : a compaction algorithm for non-determinizable transducers |
Zhang, Shouwen |
Aïmeur, Esma; Dumouchel, Pierre |
2002 |
Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées |
El Ghazouani, Khalid |
DSSOULI, RACHIDA; Nourelfath, Mustapha |
2002 |
Étude de transformations grammaticales pour l'entraînement de grammaires probabilistes hors-contexte |
Nguyen, Ngoc Tran |
Langlais, Philippe |
2002 |
Synthèse de EFSM observatrices à partir de spécifications HAAD |
Ogoubi, Etienne |
Cerny, Eduard |
2002 |
Confection automatisée des horaires de médecins dans une salle d'urgence |
Forget, Francis |
Ferland, Jacques; Gendron, Bernard |
2002 |
Enhancing and evolving a rule-based system using historical data : a neuro-fuzzy approach |
Mai, Gang |
Lounis, Hakim; Sahraoui, Houari |
2002 |
Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes |
Rousseau, Louis-Martin |
Gendreau, Michel; Pesant, Gilles |
2002 |
Algorithmes pour le réarrangement des génomes par inversions |
Ajana, Yasmine |
El-Mabrouk, Nadia |
2002 |
Tool support for context-based comprehension of large-scale software systems |
Yin, Rui |
Keller, Rudolf |
2002 |
Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités |
Tourillon, Dominique |
Gendron, Bernard |
2002 |
Un protocole de communication pour applications transactionnelles distribuées |
Hamzeh, Wissam |
Feeley, Marc |
2002 |
Analyse des champs de déformation pour la classification d'images SPECT 3D du cerveau |
Laliberté, Jean-François |
Meunier, Jean; Mignotte, Max |
2002 |
Magellan : un agent pour simplifier les achats sur internet |
Paturel, Jonathan |
Frasson, Claude |
2002 |
Construction d'une mosaïque à partir d'une séquence vidéo |
Abbas, Ali |
Roy, Sébastien |
2002 |
Détection non-supervisée de contours et localisation de formes à l'aide de modèles statistiques |
Destrempes, François |
Mignotte, Max |
2002 |
Demand-driven type analysis for dynamically-typed functional languages |
Dubé, Danny |
Feeley, Marc |
2002 |
SSJ : un cadre d'application pour la simulation stochastique en Java |
Meliani, Lakhdar |
L'Ecuyer, Pierre; Nguyen, Sang |
2001 |
Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire |
Guay, Natalie |
Aïmeur, Esma |
2001 |
XMLFinder : an intelligent agent based on CBR for E-Commerce |
Ma, YanPing |
Aïmeur, Esma |
2001 |
Conversion d'informations de protection dans les réseaux optiques |
Lesage, Éric |
Aïmeur, Esma; Dssouli, Rachida |
2001 |
Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC |
Reid, Michel |
Aboulhamid, El Mostapha; Bois, Guy |
2001 |
Évaluation de la performance d'une application de type commerce électronique |
Helou, Charles |
Crainic, Teodor Gabriel; Dssouli, Rachida |
2001 |
Générateurs pseudo-aléatoires combinant des récurrences linéaires et non linéaires |
Granger-Piché, Jacinthe |
L'Ecuyer, Pierre |
2001 |
Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques |
Chabini, Noureddine |
Aboulhamid, El Mostapha; Savaria, Y. |
2001 |
Développement d'une méthode de recherche avec tabous pour un problème de chargement de réseaux de télécommunications |
Queval, Ianis |
Gendron, Bernard; Soriano, Patrick; Potvin, Jean-Yves |
2001 |
Modélisation des effets réseaux dans le transport des matières dangereuses |
Benterki, Amina |
Crainic, Teodor Gabriel; Gendreau, Michel |
2001 |
Heuristiques basées sur la programmation mathématique pour le problème de conception de réseaux avec coûts fixes et capacités |
Hernu, Geneviève |
Crainic, Teodor Gabriel; Gendron, Bernard |
2001 |
Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces |
Zhang, Ying |
Cerny, Eduard |
2001 |
State abstraction in SDL |
Hu, Yun |
Keller, Rudolf; Petrenko, Alexandre |
2001 |
Un modèle bi-niveau pour la gestion du revenu en transport aérien |
Côté, Jean-Philippe |
Marcotte, Patrice; Savard, Gilles |
2001 |
RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels |
St-Denis, Guy |
Keller, Rudolf |
2001 |
CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C |
Methot, Éric |
Crainic, Teodor Gabriel; Gendron, Bernard; Feeley, Marc |
2001 |
Optimisation de circuits lors de la synthèse à partir de langages de haut niveau |
Boyer, François-R. |
Aboulhamid, El Mostapha; Savaria, Y. |
2001 |
Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées |
En-Nouaary, Abdeslam |
Dssouli, Rachida; Khendek, Ferhat |
2001 |
Environnement de test d'un serveur de négociations électroniques |
Ben Najim, El mostafa |
Dssouli, Rachida; Khendek, Ferhat |
2001 |
Le filtrage du protocole SMB |
Eid, Antoine |
Dssouli, Rachida; Hahn, Gena |
2001 |
Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine |
Serhani, Mohamed Adel |
Boukadoum, Mounir; Sahraoui, Houari |
2001 |
"Principes et implantation de vues dans les langages Orientés-objets" |
Dargham, Joumana B. |
Dssouli, Rachida; Mili, H. |
2001 |
Modélisation automatisée de la structure 3-D des ARNs |
Lemieux, Sébastien |
Major, François |
2001 |
Un algorithme génétique pour l'arrimage moléculaire |
Levac, François |
Major, François |
2001 |
Contributions à la compression de données |
Pigeon, Steven |
Bengio, Yoshua |
2001 |
Model reductions in MDG-based model checking |
Hou, Jin |
Cerny, Eduard; Song, Xiaoyu |
2001 |
Integrating MDG variable ordering in a VHDL-MDG design verification system |
Feng, Yi |
Cerny, Eduard |
2001 |
Identification des objets dans les applications léguées basée sur les algorithmes génétiques |
Konkobo, Idrissa |
Sahraoui, Houari |
2001 |
Filtering parallel texts to improve translation model and cross-language information retrieval |
Cai, Jian |
Nie, Jian-Yun |
2001 |
Extraction automatique de filtres dans le cadre de la production automatique de résumés |
Tout, Mazen |
Lapalme, Guy |
2001 |
Recherche de structures secondaires dans les séquences biologiques |
Huang, Houjing |
El-Mabrouk, Nadia |
2001 |
Programmes de branchement restreints pour un problème P-complet |
Gehl, Dominik |
Mckenzie, Pierre |