Catalogue des Mémoires de master
Catégories
Documents disponibles dans cette catégorie (115)
Affiner la recherche
Titre : Fusion de la SVD et la LDA pour la reconnaissance de visages Type de document : texte imprimé Auteurs : Rachida Boulhart, Auteur ; Habiba Chettouf, Auteur ; Lamia Mezai, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 90 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : BiomÄtrie, Reconnaissance de visages, LDA, SVD, Fusion de scores Index. décimale : 004 Traitement de données. Informatique Résumé : La sÄcuritÄ des rÄseaux informatiques est devenue une prioritÄ pour toutes les entreprises, ceci
implique le besoin de s'assurer l'identitÄ des individus. Une mÄthode qui permet de dÄterminer cette
identitÄ est la biomÄtrie. La biomÄtrie s'appuie sur la prise en compte d'ÄlÄments physiologiques ou
comportementaux uniques et propres de chaque individu.
La reconnaissance de visages est un type de biomÄtrie Äquivalent Å l’Ätude des empreintes digitales
ou de l’iris. ComparÄ aux autres mÄthodes biomÄtriques, la reconnaissance de visages s’avÉre plus
avantageuse. Outre, l’acquisition de l’image peut se faire Å distance sans l’avis ou la coopÄration du
sujet. Elle est peu coÑteuse (nÄcessite une seule camÄra) et trÉs rÄpandue.
L’Analyse Discriminante LinÄaire (en anglais, Linear Discriminant Analysis) LDA et la
DÄcomposition en Valeurs SinguliÉres (en anglais, Singular Value Decomposition) SVD sont des
mÄthodes trÉs connus en reconnaissance de visages. La LDA est utilisÄe pour rÄduire la
dimensionnalitÄ des images tout en gardant l’information utile (extraction des paramÉtres) et de faire
une sÄparation en classes. La SVD est une approche algÄbrique d’extraction des caractÄristiques.
La complÄmentaritÄ qui existe entre les techniques utilisÄes dans la reconnaissance de visages, a
menÄ vers des travaux visant Å fusionner deux techniques ou plus, pour exploiter les avantages
apportÄes par chacune d’elles.
Dans ce travail, nous dÄveloppons un systÉme biomÄtrique de reconnaissance de visages basÄ sur
la fusion de la SVD et la LDA pour essayer de voir et exploiter la complÄmentaritÄ entre eux, cette
combinaison est basÄe sur les scores donnÄs par les deux techniques.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7449 Fusion de la SVD et la LDA pour la reconnaissance de visages [texte imprimé] / Rachida Boulhart, Auteur ; Habiba Chettouf, Auteur ; Lamia Mezai, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 90 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : BiomÄtrie, Reconnaissance de visages, LDA, SVD, Fusion de scores Index. décimale : 004 Traitement de données. Informatique Résumé : La sÄcuritÄ des rÄseaux informatiques est devenue une prioritÄ pour toutes les entreprises, ceci
implique le besoin de s'assurer l'identitÄ des individus. Une mÄthode qui permet de dÄterminer cette
identitÄ est la biomÄtrie. La biomÄtrie s'appuie sur la prise en compte d'ÄlÄments physiologiques ou
comportementaux uniques et propres de chaque individu.
La reconnaissance de visages est un type de biomÄtrie Äquivalent Å l’Ätude des empreintes digitales
ou de l’iris. ComparÄ aux autres mÄthodes biomÄtriques, la reconnaissance de visages s’avÉre plus
avantageuse. Outre, l’acquisition de l’image peut se faire Å distance sans l’avis ou la coopÄration du
sujet. Elle est peu coÑteuse (nÄcessite une seule camÄra) et trÉs rÄpandue.
L’Analyse Discriminante LinÄaire (en anglais, Linear Discriminant Analysis) LDA et la
DÄcomposition en Valeurs SinguliÉres (en anglais, Singular Value Decomposition) SVD sont des
mÄthodes trÉs connus en reconnaissance de visages. La LDA est utilisÄe pour rÄduire la
dimensionnalitÄ des images tout en gardant l’information utile (extraction des paramÉtres) et de faire
une sÄparation en classes. La SVD est une approche algÄbrique d’extraction des caractÄristiques.
La complÄmentaritÄ qui existe entre les techniques utilisÄes dans la reconnaissance de visages, a
menÄ vers des travaux visant Å fusionner deux techniques ou plus, pour exploiter les avantages
apportÄes par chacune d’elles.
Dans ce travail, nous dÄveloppons un systÉme biomÄtrique de reconnaissance de visages basÄ sur
la fusion de la SVD et la LDA pour essayer de voir et exploiter la complÄmentaritÄ entre eux, cette
combinaison est basÄe sur les scores donnÄs par les deux techniques.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7449 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110022 MSINF110022 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDFG´en´eration du graphe d’accessibilit´e pour les syst`emes concurrents : Algorithmes et applications / Nazim Sebih
Titre : G´en´eration du graphe d’accessibilit´e pour les syst`emes concurrents : Algorithmes et applications Type de document : texte imprimé Auteurs : Nazim Sebih, Auteur ; Faiza Belala, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 111 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7120 G´en´eration du graphe d’accessibilit´e pour les syst`emes concurrents : Algorithmes et applications [texte imprimé] / Nazim Sebih, Auteur ; Faiza Belala, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 111 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7120 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120037 MSINF120037 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
Titre : Un Générateur d’instances pour l’évaluation des ontologies (Benchmark) Type de document : texte imprimé Auteurs : Malika Benalioua, Auteur ; Hassiba Salem, Auteur ; Bachtarzi, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 82 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7395 Un Générateur d’instances pour l’évaluation des ontologies (Benchmark) [texte imprimé] / Malika Benalioua, Auteur ; Hassiba Salem, Auteur ; Bachtarzi, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 82 f. ; 30 cm.
Une copie electronique PDF disponible au BUC
Langues : Français (fre)
Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7395 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110012 MSINF110012 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
Titre : Génération à la Volée des Graphes par Hybridation de la Fonction de Hachage MD5 et d’une Méta-heuristique Type de document : texte imprimé Auteurs : Chouaïb Chabil, Auteur ; Mohamed Mehdi Benmoussa, Auteur ; Djamel Eddine Saidouni, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 95 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Explosion combinatoire de l’espace d’états, algorithmes distribués, graphes, distribution de graphes, fonction de hachage MD5, métaheuristique. Index. décimale : 004 Traitement de données. Informatique Résumé : La vérification formelle des systèmes informatiques est une des techniques
les plus répandues utilisée dans le domaine des systèmes critiques. Un dysfonctionnement ou une erreur fonctionnelle négligeable rencontrée lors de la
phase de l’exploitation de ceux-ci, est susceptible d’engendrer des pertes de
vies humaines et/ou financières.
A cet effet, pour éviter et surmonter l’occurrence de tels problèmes, des
techniques de vérification formelle et de validation efficace s’imposent le long
du processus de conception de ces systèmes.
La méthode de vérification formelle la plus attractive et qui établit un
bon compromis entre coût et performances est celle basée sur l’évaluation de
modèle (en anglais Model Checking). Cependant, le model checking souffre
du problème de l’explosion combinatoire de l’espace d’états, ce qui rend son
utilisation contraignante du point de vu temps de calcul et espace de stockage.
Dans le but de surmonter les limitations du model checker, la distribution
de graphes ou de l’espace d’états est alors utilisée en vue de la répartition de la
charge du calcul de génération de cet espace d’états et de son stockage sur les
différents sites constituant le réseau. De même, des méthodes de vérification
distribuées basées sur des espaces d’états distribués ont vu le jour et des
recherches sont en cours pour améliorer leurs performances[JOUBERT, 2005,
RIBET, 2005, Benamira, 2006, BOUNEB, 2011].
Les bonnes solutions de distribution de graphes sont celles qui équilibrent
la charge de calcul entre les différents sites d’une part, et réduisent le maximum possible le nombre de connexions inter-sites.
Dans ce contexte, nous proposons un nouvel algorithme basé sur l’hybridation de la fonction de hachage MD5 et d’une méta-heuristique que nous
avons proposée. En outre, pour que l’algorithme soit générique, nous proposons une solution facilement adaptable à différents types de graphes orientés
qui est destinée particulièrement pour traiter les systèmes de transitions, les
systèmes de transitions étiquetées ainsi que les systèmes de transitions étiquetées maximales.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7047 Génération à la Volée des Graphes par Hybridation de la Fonction de Hachage MD5 et d’une Méta-heuristique [texte imprimé] / Chouaïb Chabil, Auteur ; Mohamed Mehdi Benmoussa, Auteur ; Djamel Eddine Saidouni, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 95 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : Explosion combinatoire de l’espace d’états, algorithmes distribués, graphes, distribution de graphes, fonction de hachage MD5, métaheuristique. Index. décimale : 004 Traitement de données. Informatique Résumé : La vérification formelle des systèmes informatiques est une des techniques
les plus répandues utilisée dans le domaine des systèmes critiques. Un dysfonctionnement ou une erreur fonctionnelle négligeable rencontrée lors de la
phase de l’exploitation de ceux-ci, est susceptible d’engendrer des pertes de
vies humaines et/ou financières.
A cet effet, pour éviter et surmonter l’occurrence de tels problèmes, des
techniques de vérification formelle et de validation efficace s’imposent le long
du processus de conception de ces systèmes.
La méthode de vérification formelle la plus attractive et qui établit un
bon compromis entre coût et performances est celle basée sur l’évaluation de
modèle (en anglais Model Checking). Cependant, le model checking souffre
du problème de l’explosion combinatoire de l’espace d’états, ce qui rend son
utilisation contraignante du point de vu temps de calcul et espace de stockage.
Dans le but de surmonter les limitations du model checker, la distribution
de graphes ou de l’espace d’états est alors utilisée en vue de la répartition de la
charge du calcul de génération de cet espace d’états et de son stockage sur les
différents sites constituant le réseau. De même, des méthodes de vérification
distribuées basées sur des espaces d’états distribués ont vu le jour et des
recherches sont en cours pour améliorer leurs performances[JOUBERT, 2005,
RIBET, 2005, Benamira, 2006, BOUNEB, 2011].
Les bonnes solutions de distribution de graphes sont celles qui équilibrent
la charge de calcul entre les différents sites d’une part, et réduisent le maximum possible le nombre de connexions inter-sites.
Dans ce contexte, nous proposons un nouvel algorithme basé sur l’hybridation de la fonction de hachage MD5 et d’une méta-heuristique que nous
avons proposée. En outre, pour que l’algorithme soit générique, nous proposons une solution facilement adaptable à différents types de graphes orientés
qui est destinée particulièrement pour traiter les systèmes de transitions, les
systèmes de transitions étiquetées ainsi que les systèmes de transitions étiquetées maximales.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7047 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120022 MSINF120022 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
Titre : Implémentation des Bigraphes via le système Maude Type de document : texte imprimé Auteurs : Cherif Zentout, Auteur ; Mohamed Abderahim Lamari, Auteur ; Faiza Belala, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 83 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7527 Implémentation des Bigraphes via le système Maude [texte imprimé] / Cherif Zentout, Auteur ; Mohamed Abderahim Lamari, Auteur ; Faiza Belala, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 83 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7527 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110029 MSINF110029 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
PermalinkPermalink
PermalinkPermalinkPermalink
Permalink
PermalinkPermalink
Permalink
