Browsing Titles index

Now showing items 655-674 of 1171

    Titles index
    Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework [1]
    Méthode de recherche à grand voisinage pour un problème de tournées de véhicules avec flotte privée et transporteur externe [1]
    Méthode de génération de colonnes pour les problèmes de conception de réseaux avec coûts d’ajout de capacité [1]
    Une méthode de recherche avec tabous pour la localisation de stations d'inspection sur un réseau de transport [1]
    Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques [1]
    Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie [1]
    Méthodes à noyaux appliquées à la gestion de portefeuille [1]
    Méthodes d'évaluation en extraction d'information ouverte [1]
    Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes [1]
    Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités [1]
    Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens [1]
    Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours [1]
    Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson [1]
    Méthodes exactes et heuristiques pour le problème de tournées de véhicules avec fenêtres de temps et réutilisation de véhicules [1]
    Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables [1]
    Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources [1]
    Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources [1]
    Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques [1]
    Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique [1]
    Méthodologie de conception d'un modèle comportemental pour la vérification formelle [1]