1999 |
Bounding of switching activity in logic circuits |
Zejda, Jindrich |
Cerny, Eduard; Rumin, Nicolas C. |
2000 |
Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise |
Gerbé, Olivier |
Keller, Rudolf; Mineau, Guy |
2002 |
Étude de transformations grammaticales pour l'entraînement de grammaires probabilistes hors-contexte |
Nguyen, Ngoc Tran |
Langlais, Philippe |
2002 |
A socio-technological approach to sharing knowledge across disciplines |
Paquet, Sébastien |
Aïmeur, Esma; Brassard, Gilles |
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 |
Problèmes de routages dans les réseaux optiques |
Houndété, Alfred |
Hahn, Gena |
2002 |
Expansion de requête dans la recherche d'information : comparaison des ressources et des méthodes |
Jin, Fuman |
Nie, Jian-Yun; Aïmeur, Esma |
2002 |
Recherche de motifs structuraux dans les complexes acides ribonucléiques/protéines |
Drapeau, Mathieu |
Major, François |
2002 |
Demand-driven type analysis for dynamically-typed functional languages |
Dubé, Danny |
Feeley, Marc |
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 |
Weighted finite-state transducers in speech recognition : a compaction algorithm for non-determinizable transducers |
Zhang, Shouwen |
Aïmeur, Esma; Dumouchel, Pierre |
2002 |
Reconnaissance de visages à partir de modèles tridimensionnels |
Beauchesne, Étienne |
Roy, Sébastien |
2002 |
Compilation optimisante à l'aide de métaheuristiques |
Kri, Fernanda |
Feeley, Marc |
2002 |
Compilation statique de Java |
Bergeron, Étienne |
Feeley, Marc |
2003 |
ARM processor modeling at a cycle accurate level in systemC |
Sun, Hongmei |
Aboulhamid, El Mostapha; BOYER, FRANCOIS-R |
2003 |
Le calcul parallèle des plus courts chemins temporels |
Pépin, Jean-Nicolas |
FLORIAN, MICHAEL |
2003 |
Évaluation, par simulation, des performances de serveurs de commerce électronique : étude de cas : le serveur GNP |
Bah, Slimane |
DSSOULI, RACHIDA |
2003 |
Un modèle de validation automatique de mécanismes de sécurisation des communications |
Zemmouri, Fathya |
KROPF, PETER G.; BABIN, GILBERT |
2003 |
Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine |
Mriss, Khalid |
Meunier, Jean |
2003 |
Généralisation d'algorithmes de réduction de dimension |
Paiement, Jean-François |
Bengio, Yoshua |
2003 |
A survey of graph and subgraph isomorphism problems |
Lei, Yaohui |
Brassard, Gilles; Hahn, Gena |
2003 |
Using domain-specific knowledge to improve information retrieval performance |
Liu, Li-Fang |
Nie, Jian-Yun |
2003 |
Modèles et algorithmes pour les enchères combinatoires |
Abrache, Jawad |
Crainic, Teodor Gabriel; Gendreau, Michel |
2003 |
Modèles à noyaux à structure locale |
Vincent, Pascal |
Bengio, Yoshua |
2003 |
ESys.Net : a new .Net based system-level design environment |
Lapalme, James |
David, Jean Pierre; Aboulhamid, El Mostapha |
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 |
De computatione quantica |
Fernandez, José Manuel |
Brassard, Gilles |
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 |
Réalité augmentée en chirurgie : développement d'un pointeur intelligent |
Lewis, Nicolas |
Meunier, Jean |
2003 |
Le problème du postier chinois cumulatif |
Omme, Nikolaj van |
Gendreau, Michel; SORIANO, PATRICK |
2003 |
Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style |
Salehian, Bahram |
Aïmeur, Esma |
2003 |
Atlas numérique spatio-temporel des artères coronaires |
Sherknies, Denis |
Meunier, Jean; Tardif, Jean-Claude |
2003 |
Un cadre d'application pour la visualisation des métriques orientées objet |
Dufresne, Pascal |
Keller, Rudolf |
2003 |
Understanding retargeting compilation techniques for network processors |
Li, Jun |
Aboulhamid, El Mostapha; BOYER, FRANCOIS-R |
2003 |
Determination of software quality through a generic model |
Mehio, Nouha |
Sahraoui, Houari; LOUNIS, HAKIM |
2003 |
Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret |
Ghita, Stela |
Gendreau, Michel; Crainic, Teodor Gabriel |
2003 |
Estimation probabiliste du mouvement de caméra |
Draréni, Jamil |
Roy, Sébastien |
2003 |
Gestion de l'information en temps réel pour un répartiteur de véhicules |
Xu, Ying |
Potvin, Jean-Yves; BENYAHIA, ILHAM |
2003 |
Conception d'un modèle de création générique d'agents de médiation |
Loisier, Frédéric |
KROPF, PETER G. |
2003 |
Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources |
Bouffard, Véronique |
Ferland, Jacques |