| 2002 |
Agents à base de règles pour les négociations électroniques : concepts et infrastructure |
Alj, Hakim |
Keller, Rudolf |
| 2002 |
Synthèse de EFSM observatrices à partir de spécifications HAAD |
Ogoubi, Etienne |
Cerny, Eduard |
| 2002 |
Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources |
Beaulieu, Catherine |
Ferland, Jacques |
| 2002 |
A case-based reasoning diagnosis system for AHU (Air-Handling Unit) |
Zheng, Suoshi |
Sahraoui, Houari |
| 2002 |
Combined negotiations in E-commerce : concepts, architecture, and implementation |
Benyoucef, Morad |
Keller, Rudolf |
| 2002 |
XML-based distributed authoring tool with ontology representing the domain knowledge |
Wang, Lidong |
Nkambou, Roger |
| 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 |
001_correct : un environnement de restructuration des programmes objets piloté par la qualité |
Chawiche, Hassan M. |
Sahraoui, Houari |
| 2002 |
Le système de question-réponse QUANTUM |
Plamondon, Luc |
Kosseim, Leila; Lapalme, Guy |
| 2002 |
Changeabilité des logiciels orientés objet : propriétés architecturales et indicateurs de qualité |
Kabaili, Hind |
Keller, Rudolf; Lustman, François |
| 2002 |
Demand-driven type analysis for dynamically-typed functional languages |
Dubé, Danny |
Feeley, Marc |
| 2002 |
Génération automatique d'une spécification formelle à partir de scénarios temps-réels |
Salah, Aziz |
Dssouli, Rachida; Lapalme, Guy |
| 2002 |
Algorithmes pour le réarrangement des génomes par inversions |
Ajana, Yasmine |
El-Mabrouk, Nadia |
| 2002 |
Magellan : un agent pour simplifier les achats sur internet |
Paturel, Jonathan |
Frasson, Claude |
| 2002 |
Pacha : marché virtuel pour agents mobiles |
Youssef, Mounir |
Frasson, Claude |
| 2003 |
Quelques modèles de langage statistiques et graphiques lissés avec WordNet |
Jauvin, Christian |
Bengio, Yoshua; Langlais, Philippe |
| 2003 |
Gestion de l'information en temps réel pour un répartiteur de véhicules |
Xu, Ying |
Potvin, Jean-Yves; BENYAHIA, ILHAM |
| 2003 |
Estimation probabiliste du mouvement de caméra |
Draréni, Jamil |
Roy, Sébastien |
| 2003 |
Un cadre d'application pour la visualisation des métriques orientées objet |
Dufresne, Pascal |
Keller, Rudolf |
| 2003 |
SecAdvise : un aviseur de mécanismes de sécurité |
Saliba, Rima |
KROPF, PETER G.; BABIN, GILBERT |
| 2003 |
Évaluation, par simulation, des performances de serveurs de commerce électronique : étude de cas : le serveur GNP |
Bah, Slimane |
DSSOULI, RACHIDA |
| 2003 |
Étude des propriétés polyédrales du problème de conception de réseaux multiproduits, avec coût fixe et capacité |
Chouman, Mervat |
Crainic, Teodor Gabriel; Gendron, Bernard |
| 2003 |
Comparaison de deux techniques de décodage pour la traduction probabiliste |
Awdé, Ali |
Langlais, Philippe |
| 2003 |
Réalité augmentée en chirurgie : développement d'un pointeur intelligent |
Lewis, Nicolas |
Meunier, Jean |
| 2003 |
Architecture de communication générique pour un système de bus du commerce électronique |
Tagmouti, Siham |
KROPF, PETER G.; BABIN, GILBERT |
| 2003 |
Modèles et algorithmes pour les enchères combinatoires |
Abrache, Jawad |
Crainic, Teodor Gabriel; Gendreau, Michel |
| 2003 |
Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret |
Ghita, Stela |
Gendreau, Michel; Crainic, Teodor Gabriel |
| 2003 |
Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine |
Mriss, Khalid |
Meunier, Jean |
| 2003 |
SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé |
Dagher, Marian |
KROPF, PETER G.; BABIN, GILBERT |
| 2003 |
Galois lattice dynamics |
Popov, Alexi Ventzeslavov |
Valtchev, Petko |
| 2003 |
ARM processor modeling at a cycle accurate level in systemC |
Sun, Hongmei |
Aboulhamid, El Mostapha; Boyer, François-Raymond |
| 2003 |
Planification pour agents dans un environnement dynamique et incertain |
Bérubé, Jean-François |
Vaucher, Jean; Robert, Jacques |
| 2003 |
Généralisation d'algorithmes de réduction de dimension |
Paiement, Jean-François |
Bengio, Yoshua |
| 2003 |
A domain-specific search engine for the construction sector |
Zhang, Qi |
Nie, Jian-Yun |
| 2003 |
Determination of software quality through a generic model |
Mehio, Nouha |
Sahraoui, Houari; LOUNIS, HAKIM |
| 2003 |
Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis |
Jiang, Di |
Stewart, Neil Frederick |
| 2003 |
Software stability assessment using multiple prediction models |
Zhang, Hong |
Sahraoui, Houari |
| 2003 |
Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique |
Gambs, Sébastien |
Aïmeur, Esma; Brassard, Gilles |
| 2003 |
A survey of graph and subgraph isomorphism problems |
Lei, Yaohui |
Brassard, Gilles; Hahn, Gena |