Miremby en ligne
Détail de l'éditeur
Institut National de Recherche en Informatique et en Automatique |
Documents disponibles chez cet éditeur (59)
Affiner la recherche Interroger des sources externesApproche de détection du mouvement à partir d'une séquence d'images par filtrage spatio-temporel / Elarbi-Boudihir, M.%Khelifi, S.%Mehnane, A.Corenthin, Alex%Philippe, Bernard-
Titre : Approche de détection du mouvement à partir d'une séquence d'images par filtrage spatio-temporel : *** Auteurs : Elarbi-Boudihir, M.%Khelifi, S.%Mehnane, A.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 351-358 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : VISION DYNAMIQUE%ESTIMATION DU MOUVEMENT%SEGMENTATION%FILTRAGE SPATIO TEMPOREL Résumé : Dans cet article, on présente une méthode de détection et d'estimation du mouvement d'un objet par la segmentation et le suivi temporel d'une séquence d'images. Puisque les composantes du mouvement sont de nature locale, on propose la méthode de filtrage de Gabor qui utilise des filtres dont on peut régler leurs fréquences et limiter leur étendu spatiale. Le principe de la méthode repose sur la considération de la séquence temporelle des images 2 D comme une image spatio-temporelle en 3D. Ensuite, les filtres tri-dimensionnels sont appliqués au volume image dans l'échelle espace-temps. Les résultats expérimentaux montrent la robustesse de l'approche proposée (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Approche de détection du mouvement à partir d'une séquence d'images par filtrage spatio-temporel : *** [] / Elarbi-Boudihir, M.%Khelifi, S.%Mehnane, A.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 351-358 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : VISION DYNAMIQUE%ESTIMATION DU MOUVEMENT%SEGMENTATION%FILTRAGE SPATIO TEMPOREL Résumé : Dans cet article, on présente une méthode de détection et d'estimation du mouvement d'un objet par la segmentation et le suivi temporel d'une séquence d'images. Puisque les composantes du mouvement sont de nature locale, on propose la méthode de filtrage de Gabor qui utilise des filtres dont on peut régler leurs fréquences et limiter leur étendu spatiale. Le principe de la méthode repose sur la considération de la séquence temporelle des images 2 D comme une image spatio-temporelle en 3D. Ensuite, les filtres tri-dimensionnels sont appliqués au volume image dans l'échelle espace-temps. Les résultats expérimentaux montrent la robustesse de l'approche proposée (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37555 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Architecture d'un hypermédia éducatif et coopératif : *** Auteurs : Bensebaa, Tahar%Lafifi, YacineCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 419-426 Format : 24 cm Note générale : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : APPRENTISSAGE COOPERATIF%HYPERMEDIA%TUTEUR INTELLIGENT%REGLES PEDAGOGIQUES%MODELE-ELEVE Résumé : Les hypermédias éducatifs sont devenus des outils indispensables pour enrichir la valeur pédagogique dans la formation. Cependant, outre la surcharge cognitive et la désorientation, les hypermédias présentent un autre inconvénient : l'isolement de l'apprenant. Ce travail présente l'architecture d'un hypermédia conçu de manière à réduire au maximum la surcharge cognitive. Cet hypermédia est en outre capable de conseiller l'apprenant désorienté grace à un couplage avec un tuteur intelligent. Ce même tuteur permet, par ailleurs, aux apprenants de coopérer entre eux annihilant ainsi leur isolement (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Architecture d'un hypermédia éducatif et coopératif : *** [] / Bensebaa, Tahar%Lafifi, YacineCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 419-426 ; 24 cm.
TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : APPRENTISSAGE COOPERATIF%HYPERMEDIA%TUTEUR INTELLIGENT%REGLES PEDAGOGIQUES%MODELE-ELEVE Résumé : Les hypermédias éducatifs sont devenus des outils indispensables pour enrichir la valeur pédagogique dans la formation. Cependant, outre la surcharge cognitive et la désorientation, les hypermédias présentent un autre inconvénient : l'isolement de l'apprenant. Ce travail présente l'architecture d'un hypermédia conçu de manière à réduire au maximum la surcharge cognitive. Cet hypermédia est en outre capable de conseiller l'apprenant désorienté grace à un couplage avec un tuteur intelligent. Ce même tuteur permet, par ailleurs, aux apprenants de coopérer entre eux annihilant ainsi leur isolement (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37563 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Une architecture de métadonnées et d'interface pour une infothèque environnementale : *** Auteurs : Dzeakou, Patricia%Bassano, Jean-Claude%Guilloré, SylvieCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 463-471 Format : 24 cm Note générale : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : INFOTHEQUE ENVIRONNEMENTALE%MODELE DE METADONNEES%ARCHITECTURE DE L'INTERFACE Résumé : Dans cet article, il est proposé une approche de conception d'une infothèque dédiée à une étude spécifique ou à une communauté d'utilisateurs. Elle repose sur : une architecture de métadonnées qui prend en compte tout le cycle vie du document, une architecture d'interface d'exploitation d'une collection de documents- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Une architecture de métadonnées et d'interface pour une infothèque environnementale : *** [] / Dzeakou, Patricia%Bassano, Jean-Claude%Guilloré, SylvieCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 463-471 ; 24 cm.
TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : INFOTHEQUE ENVIRONNEMENTALE%MODELE DE METADONNEES%ARCHITECTURE DE L'INTERFACE Résumé : Dans cet article, il est proposé une approche de conception d'une infothèque dédiée à une étude spécifique ou à une communauté d'utilisateurs. Elle repose sur : une architecture de métadonnées qui prend en compte tout le cycle vie du document, une architecture d'interface d'exploitation d'une collection de documents- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37573 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Calcul du degré de retournement d'un graphe : *** Auteurs : Nzali, Jean-Pierre%Porguy, Koumpo Tanékou%Tapamo, HippolyteCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 57-64 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES D'INFORMATIONS GEOGRAPHIQUES (SIG)%GRAPHE PLANAIRE TOPOLOGIQUE%DEGRE DE RETOURNEMENT CARTES Résumé : Le degré de retournement est une caractéristique des graphes planaires topologiques. Dans cet article, nous proposons une formule générale pour calculer le degré de retournement d'un graphe topologique. Nous proposons ensuite un algorithme pour effectuer ce calcul. Son implémentation sur machine a enfin donné lieu à des tests sur des cas pratiques que nous présentons (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Calcul du degré de retournement d'un graphe : *** [] / Nzali, Jean-Pierre%Porguy, Koumpo Tanékou%Tapamo, HippolyteCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 57-64 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES D'INFORMATIONS GEOGRAPHIQUES (SIG)%GRAPHE PLANAIRE TOPOLOGIQUE%DEGRE DE RETOURNEMENT CARTES Résumé : Le degré de retournement est une caractéristique des graphes planaires topologiques. Dans cet article, nous proposons une formule générale pour calculer le degré de retournement d'un graphe topologique. Nous proposons ensuite un algorithme pour effectuer ce calcul. Son implémentation sur machine a enfin donné lieu à des tests sur des cas pratiques que nous présentons (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37525 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Contribution à la restauration d'images par réseau de hopfield modifié : *** Auteurs : Zénati, N.%Achour, K.%Djekoune, O.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 335-342 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RESEAUX DE NEURONES%RESEAU DE HOPFIELD%RESEAU DE HOPFIELD MODIFIE%RESTAURATION D'IMAGES%ALGORITHME SEQUENTIEL%ALGORITHME N SIMULTANE Résumé : La réduction du bruit et du flou est une tache très importante en traitement d'images. En effet, ces deux types de dégradations sont des composantes indésirables lors des traitements de haut niveau. Dans cet article, nous proposons une méthode d'optimisation basée sur les réseaux de neurones pour résoudre le problème de restauration d'images floues-bruitées. Le réseau de neurones utilisé est le réseau de Hopfield modifié. Nous proposons deux algorithmes utilisant deux modes de mise à jour. L'algorithme avec le mode des mises à jour séquentiel et l'algorithme avec des modes de mise à jour n-simultané. L'efficacité de la méthode mise en oeuvre a été testé sur divers types d'images dégradées (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Contribution à la restauration d'images par réseau de hopfield modifié : *** [] / Zénati, N.%Achour, K.%Djekoune, O.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 335-342 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RESEAUX DE NEURONES%RESEAU DE HOPFIELD%RESEAU DE HOPFIELD MODIFIE%RESTAURATION D'IMAGES%ALGORITHME SEQUENTIEL%ALGORITHME N SIMULTANE Résumé : La réduction du bruit et du flou est une tache très importante en traitement d'images. En effet, ces deux types de dégradations sont des composantes indésirables lors des traitements de haut niveau. Dans cet article, nous proposons une méthode d'optimisation basée sur les réseaux de neurones pour résoudre le problème de restauration d'images floues-bruitées. Le réseau de neurones utilisé est le réseau de Hopfield modifié. Nous proposons deux algorithmes utilisant deux modes de mise à jour. L'algorithme avec le mode des mises à jour séquentiel et l'algorithme avec des modes de mise à jour n-simultané. L'efficacité de la méthode mise en oeuvre a été testé sur divers types d'images dégradées (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37553 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Contribution des systèmes multi-agents au contrôle d'un robot mobile autonome coopératif : *** Auteurs : Ghaoui, Meziane%Sellami, MokhtarCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 169-176 Format : 24 cm Note générale : INTELLIGENCE ARTIFICIELLE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ROBOT MOBILE AUTONOME (RMA)%ARCHITECTURE DE CONTROLE%SYSTEME MULTIAGENTS%MODELISATION DE L'ENVIRONNEMENT%GENERATION DE TRAJECTOIRE%NAVIGATION AUTONOME%EVITEMENT DE COLLISION Résumé : Dans le champ difficile de la robotique mobile, la planification de trajectoires dans un environnement inconnu et/ou incertain pose encore de nombreux problèmes. Dans le but de réaliser la tâche canonique 'va au but', par un robot mobile autonome dans un environnement inconnu, nous présentons dans cet article les agents de perception et de navigation et leurs rôles au sein de notre architecture multi-agents pour robot autonome mobile. La méthode générique inclue les niveaux de perception, de fusion, d'intégration, de modélisation, d'extraction des informations nécessaires et enfin de navigation pour la génération de trajectoire et la prise de décisions stratégiques relatives aux déplacements. Les algorithmes proposés ont été validés par des résultats de simulations (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Bull1 (Theme principale) : INTELLIGENCE ARTIFICIELLE Contribution des systèmes multi-agents au contrôle d'un robot mobile autonome coopératif : *** [] / Ghaoui, Meziane%Sellami, MokhtarCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 169-176 ; 24 cm.
INTELLIGENCE ARTIFICIELLE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ROBOT MOBILE AUTONOME (RMA)%ARCHITECTURE DE CONTROLE%SYSTEME MULTIAGENTS%MODELISATION DE L'ENVIRONNEMENT%GENERATION DE TRAJECTOIRE%NAVIGATION AUTONOME%EVITEMENT DE COLLISION Résumé : Dans le champ difficile de la robotique mobile, la planification de trajectoires dans un environnement inconnu et/ou incertain pose encore de nombreux problèmes. Dans le but de réaliser la tâche canonique 'va au but', par un robot mobile autonome dans un environnement inconnu, nous présentons dans cet article les agents de perception et de navigation et leurs rôles au sein de notre architecture multi-agents pour robot autonome mobile. La méthode générique inclue les niveaux de perception, de fusion, d'intégration, de modélisation, d'extraction des informations nécessaires et enfin de navigation pour la génération de trajectoire et la prise de décisions stratégiques relatives aux déplacements. Les algorithmes proposés ont été validés par des résultats de simulations (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Bull1 (Theme principale) : INTELLIGENCE ARTIFICIELLE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37598 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Un cryptosystème base sur des automates cellulaires : *** Auteurs : Tindo, GilbertCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 159-165 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME DYNAMIQUE AUTOMATE CELLULAIRE REVERSIBLE%CLEF SYMETRIQUE CRYPTOGRAPHIE Résumé : Depuis les travaux de pionnier de Wolfram, plusieurs systèmes dynamiques ont été proposés dans la littérature pour crypter et décrypter des messages. L'objectif est de tirer profit des propriétés globales des systèmes dynamiques qui malgré des constructions locales très simples, sont généralement très complexes. Dans ce papier, nous proposons un système de cryptographie basé sur des automates cellulaires réversibles à une dimension. Le cryptosystème que nous proposons est à clefs symétriques. Une clef est composée des paramètres de l'automate cellulaire et du terme initial d'un générateur de suites pseudo aléatoires. L'avantage de ce système est que le cryptage et le décryptage peuvent se faire en parallèle. De plus, l'algorithme proposé, peut être implémenté et parallèle sur une machine multiprocesseurs (en tirant profit du fait qu'un automate cellulaire n'est rien d'autre qu'un modèle de machine parallèle), augmentant ainsi les performances du système (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Un cryptosystème base sur des automates cellulaires : *** [] / Tindo, GilbertCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 159-165 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME DYNAMIQUE AUTOMATE CELLULAIRE REVERSIBLE%CLEF SYMETRIQUE CRYPTOGRAPHIE Résumé : Depuis les travaux de pionnier de Wolfram, plusieurs systèmes dynamiques ont été proposés dans la littérature pour crypter et décrypter des messages. L'objectif est de tirer profit des propriétés globales des systèmes dynamiques qui malgré des constructions locales très simples, sont généralement très complexes. Dans ce papier, nous proposons un système de cryptographie basé sur des automates cellulaires réversibles à une dimension. Le cryptosystème que nous proposons est à clefs symétriques. Une clef est composée des paramètres de l'automate cellulaire et du terme initial d'un générateur de suites pseudo aléatoires. L'avantage de ce système est que le cryptage et le décryptage peuvent se faire en parallèle. De plus, l'algorithme proposé, peut être implémenté et parallèle sur une machine multiprocesseurs (en tirant profit du fait qu'un automate cellulaire n'est rien d'autre qu'un modèle de machine parallèle), augmentant ainsi les performances du système (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37537 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : DNA sequence assembly algorithms based on clustering approaches : *** Auteurs : Elloumi, MouradCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 255-263 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SEQUENCE D'ADN%ALGORITHME EXACT%ALGORITHME D'APPROXIMATION Résumé : Dans ce papier, nous présentons un algorithme exact et deux algorithmes d'approximation de reconstitution d'une séquence d'ADN (RSA). Les algorithmes d'approximation de RSA sont basés, respectivement, sur l'approche de classification de Zahn et celle de Lu et Fu. Nos algorithmes de RSA opèrent en deux étapes. Durant la première étape, on construit le meilleur ensemble de contigs de poids maximums (MEC). Puis durant la seconde étape, on ordonne les contigs de poids maximum (CPM) du MEC selon leur ordre de chevauchements. Chacun des deux sous problèmes traités, respectivement, durant la première et la seconde étape sont NP complets. Notre algorithme exact traite le premier sous problème en un temps de l'ordre de O (n puissance n), où n est le nombre de chaines puis traite le second en un temps de l'ordre de m puissance m, où m=5n/2° est le nombre de CPMs. Nos algorithmes d'approximation traitent le premier sous problème en un temps de l'ordre de O (n2*l2), puis traitent le second en un temps de l'ordre de O (m2*l2), où l est la longueur d'une chaine (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE DNA sequence assembly algorithms based on clustering approaches : *** [] / Elloumi, MouradCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 255-263 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SEQUENCE D'ADN%ALGORITHME EXACT%ALGORITHME D'APPROXIMATION Résumé : Dans ce papier, nous présentons un algorithme exact et deux algorithmes d'approximation de reconstitution d'une séquence d'ADN (RSA). Les algorithmes d'approximation de RSA sont basés, respectivement, sur l'approche de classification de Zahn et celle de Lu et Fu. Nos algorithmes de RSA opèrent en deux étapes. Durant la première étape, on construit le meilleur ensemble de contigs de poids maximums (MEC). Puis durant la seconde étape, on ordonne les contigs de poids maximum (CPM) du MEC selon leur ordre de chevauchements. Chacun des deux sous problèmes traités, respectivement, durant la première et la seconde étape sont NP complets. Notre algorithme exact traite le premier sous problème en un temps de l'ordre de O (n puissance n), où n est le nombre de chaines puis traite le second en un temps de l'ordre de m puissance m, où m=5n/2° est le nombre de CPMs. Nos algorithmes d'approximation traitent le premier sous problème en un temps de l'ordre de O (n2*l2), puis traitent le second en un temps de l'ordre de O (m2*l2), où l est la longueur d'une chaine (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37546 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Un échéancier systolique et son utilisation dans l'ATM : *** Auteurs : Quinton, Patrice%Tadonki, Claude%Tchuente, MauriceCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 437-444 Format : 24 cm Note générale : LOGICIELS Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ECHEANCIER SYNCHRONE%SYSTOLIQUE%ALGORITHMES%PROCESSEURS Résumé : On décrit un échancier systolique permettant de traiter 2n-1 valeurs à l'aide de n processeurs élémentaires. A tout instant, on peut insérer une nouvelle valeur, ou extraire la valeur minimale l'échéancier. Ce dispositif peut être utilisé pour mettre en oeuvre des algorithmes d'espacement de cellules sur un réseau ATM (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : LOGICIELS Un échéancier systolique et son utilisation dans l'ATM : *** [] / Quinton, Patrice%Tadonki, Claude%Tchuente, MauriceCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 437-444 ; 24 cm.
LOGICIELS
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ECHEANCIER SYNCHRONE%SYSTOLIQUE%ALGORITHMES%PROCESSEURS Résumé : On décrit un échancier systolique permettant de traiter 2n-1 valeurs à l'aide de n processeurs élémentaires. A tout instant, on peut insérer une nouvelle valeur, ou extraire la valeur minimale l'échéancier. Ce dispositif peut être utilisé pour mettre en oeuvre des algorithmes d'espacement de cellules sur un réseau ATM (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : LOGICIELS Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37568 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Etude de la parallélisation de la compression d'images par réseaux de neurones multicouches : *** Auteurs : Daoudi, E.M.%Jaàra, E.M.%Cherif, Nait H.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 445-452 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : COMPRESSION D'IMAGES%RESEAU MULTICOUCHES%ALGORITHMES PARALLELES Résumé : Dans ce travail, nous proposons deux algorithmes parallèles pour la compression d'images basée sur les réseaux de neurones multicouches. La première technique de parallélisation consiste en une distribution statique des données. L'avantage de cette distribution est que la phase d'apprentissage (construction du réseau compresseur-décompresseur) ne nécessite aucune communication entre processeurs par contre elle présente l'inconvénient du déséquilibrage de travail entre processeurs. La deuxième technique de parallélisation permet d'améliorer le déséquilibrage de charges mais nécessite des échanges d'information entre processeurs. Dans cette dernière technique, l'affectation des données aux processeurs est réalisée d'une façon dynamique. Nous avons testé et comparé ces deux méthodes sur la machine parallèle à mémoire distribuée TN310 sous l'environnement PVM (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Etude de la parallélisation de la compression d'images par réseaux de neurones multicouches : *** [] / Daoudi, E.M.%Jaàra, E.M.%Cherif, Nait H.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 445-452 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : COMPRESSION D'IMAGES%RESEAU MULTICOUCHES%ALGORITHMES PARALLELES Résumé : Dans ce travail, nous proposons deux algorithmes parallèles pour la compression d'images basée sur les réseaux de neurones multicouches. La première technique de parallélisation consiste en une distribution statique des données. L'avantage de cette distribution est que la phase d'apprentissage (construction du réseau compresseur-décompresseur) ne nécessite aucune communication entre processeurs par contre elle présente l'inconvénient du déséquilibrage de travail entre processeurs. La deuxième technique de parallélisation permet d'améliorer le déséquilibrage de charges mais nécessite des échanges d'information entre processeurs. Dans cette dernière technique, l'affectation des données aux processeurs est réalisée d'une façon dynamique. Nous avons testé et comparé ces deux méthodes sur la machine parallèle à mémoire distribuée TN310 sous l'environnement PVM (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37565 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Extension de l'internet par le modèle d'appel du réseau intelligent : *** Auteurs : El Ouahidi, Bouabid%Bouhdadi, Mohamed%Bourget, DanielCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 409-417 Format : 24 cm Note générale : RESEAUX ET TELEMATIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : TELEPHONE SUR IP%RESEAU INTELLIGENT%MODELE DE TRAITEMENT D'APPEL%BCSM%SIP Résumé : Pour que la téléphonie sur IP (Vol P) puisse se substituer à la téléphonie actuelle, elle doit offrir au moins la même satisfaction. Dans cet article, nous proposons une extension de vol P par les concepts de l'IN. Pour cela, nous utilisons SIP, un protocole de signalisation de Vol P pour mettre en oeuvre le modèle de traitement d'appel de l'IN dans les réseaux Vol P (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE Extension de l'internet par le modèle d'appel du réseau intelligent : *** [] / El Ouahidi, Bouabid%Bouhdadi, Mohamed%Bourget, DanielCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 409-417 ; 24 cm.
RESEAUX ET TELEMATIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : TELEPHONE SUR IP%RESEAU INTELLIGENT%MODELE DE TRAITEMENT D'APPEL%BCSM%SIP Résumé : Pour que la téléphonie sur IP (Vol P) puisse se substituer à la téléphonie actuelle, elle doit offrir au moins la même satisfaction. Dans cet article, nous proposons une extension de vol P par les concepts de l'IN. Pour cela, nous utilisons SIP, un protocole de signalisation de Vol P pour mettre en oeuvre le modèle de traitement d'appel de l'IN dans les réseaux Vol P (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37562 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Face recognition under varying views : *** Auteurs : Sehad, A.%Hocini, H.%Hadid, A.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 375-382 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : VISAGE HUMAIN%RECONNAISSANCE%TRANSFORMATION DE KARHUMEN-LOEVE%REGLE DE DECISION DE LA DISTANCE MINIMUM KARHUMENLO Résumé : Nous allons présenter dans cet article un système de reconnaissance des visages humains basés sur les visages propres. Dans notre système, nous avons élaboré trois espaces de visages chacun formé par une classe 'visages de face, visages de profis, visages de diagonal'. Le système présenté, permettra l'identification des visages sous différents angles de vue, en d'autres terme, il pourra reconnaitre les visages même si des changements considérables apparaissent dans l'orientation (O°, 180°) de la tête dans le plan de l'image. En premier lieu, une représentation compacte du visage entré est réalisé en utilisant la transformation de 'Karhumen-Loeve'. Le visage entré est ensuite, automatiquement classé selon son orientation dans le plan de l'image. Par la suite, nous avons appliqué la règle de décision de la distance minimum pour l'identification des visages (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Face recognition under varying views : *** [] / Sehad, A.%Hocini, H.%Hadid, A.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 375-382 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : VISAGE HUMAIN%RECONNAISSANCE%TRANSFORMATION DE KARHUMEN-LOEVE%REGLE DE DECISION DE LA DISTANCE MINIMUM KARHUMENLO Résumé : Nous allons présenter dans cet article un système de reconnaissance des visages humains basés sur les visages propres. Dans notre système, nous avons élaboré trois espaces de visages chacun formé par une classe 'visages de face, visages de profis, visages de diagonal'. Le système présenté, permettra l'identification des visages sous différents angles de vue, en d'autres terme, il pourra reconnaitre les visages même si des changements considérables apparaissent dans l'orientation (O°, 180°) de la tête dans le plan de l'image. En premier lieu, une représentation compacte du visage entré est réalisé en utilisant la transformation de 'Karhumen-Loeve'. Le visage entré est ensuite, automatiquement classé selon son orientation dans le plan de l'image. Par la suite, nous avons appliqué la règle de décision de la distance minimum pour l'identification des visages (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37567 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Factorisation LDL d'une matrice symétrique d'intervalles : *** Auteurs : Kamgnia, Emmanuel%Philippe, BernardCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 187-194 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : FACTORISATION DE BUNCH KAUFMAN%INTERVALLE%OPERATEUR DE KRAWCZYK Résumé : L'article présente une méthode pour obtenir un encadrement de la factorisation LDL dont la complexité est en O(M3) opérations pour une matrice d'ordre n. La méthode est basée sur le package INTLAB qui permet l'utilisation de l'arithmétique d'intervalles dans le logiciel MATLAB- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Factorisation LDL d'une matrice symétrique d'intervalles : *** [] / Kamgnia, Emmanuel%Philippe, BernardCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 187-194 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : FACTORISATION DE BUNCH KAUFMAN%INTERVALLE%OPERATEUR DE KRAWCZYK Résumé : L'article présente une méthode pour obtenir un encadrement de la factorisation LDL dont la complexité est en O(M3) opérations pour une matrice d'ordre n. La méthode est basée sur le package INTLAB qui permet l'utilisation de l'arithmétique d'intervalles dans le logiciel MATLAB- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37539 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Formalisation de modèles multi-agents par les réseaux de Petri : application à l'étude d'un système de gestion de la chasse à l'Est Cameroun : *** Auteurs : Bakam, Innocent%Kordon, Fabrice%Le Page, ChristopheCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 265-272 Format : 24 cm Note générale : RESEAUX ET TELEMATIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MULTI-AGENT%RESEAUX DE PETRI%MODEL CHECKING CHASSE Résumé : Ce papier présente un cas pratique de formalisation d'un modèle multi-agent appliquée à un problème complexe. Nous utilisons les réseaux de Petri colorés pour appréhender un système multi-agent de gestion de l'activité de chasse. Le modèle multi-agent est brièvement présenté, puis le modèle réseaux de Petri colorés qui en est déduit et l'analyse formelle qui en est faite. Nous comparons les différents résultats obtenus et nous discutons l'intérêt d'une telle démarche (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE Formalisation de modèles multi-agents par les réseaux de Petri : application à l'étude d'un système de gestion de la chasse à l'Est Cameroun : *** [] / Bakam, Innocent%Kordon, Fabrice%Le Page, ChristopheCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 265-272 ; 24 cm.
RESEAUX ET TELEMATIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MULTI-AGENT%RESEAUX DE PETRI%MODEL CHECKING CHASSE Résumé : Ce papier présente un cas pratique de formalisation d'un modèle multi-agent appliquée à un problème complexe. Nous utilisons les réseaux de Petri colorés pour appréhender un système multi-agent de gestion de l'activité de chasse. Le modèle multi-agent est brièvement présenté, puis le modèle réseaux de Petri colorés qui en est déduit et l'analyse formelle qui en est faite. Nous comparons les différents résultats obtenus et nous discutons l'intérêt d'une telle démarche (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37547 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Humans, mosquitoes and parasites in a multi-agent architecture for the dynamics of malaria : *** Auteurs : William, S. Shu%Ngwa, Gideon A.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 177-184 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : DYNAMIQUES DU PALUDISME PALUDISME%METHODE DE SIMULATION%APPLICATION DE L'INFORMATIQUE Résumé : Le paludisme fait une réapparition et bien qu'il y a des modèles pour prédire ses dynamiques, nous devons aujourd'hui les prédire à partir des données insuffisantes et sous des conditions contraires à celles exigées par les modèles utilisés. Alors, on a besoin d'une architecture dans laquelle examiner les modèles computationnels du paludisme et les rapports entre eux, et découvrir des propriétés émergentes quelconques à partir des aspects biologiques du paludisme. Ici, nous proposons une structure où les êtres humains, moustiques et parasites, peuvent être conçus comme des agents computationnels réactifs dans l'étude des dynamiques du paludisme et maladies transmissibles par organismes tiers (vecteurs) (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Humans, mosquitoes and parasites in a multi-agent architecture for the dynamics of malaria : *** [] / William, S. Shu%Ngwa, Gideon A.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 177-184 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : DYNAMIQUES DU PALUDISME PALUDISME%METHODE DE SIMULATION%APPLICATION DE L'INFORMATIQUE Résumé : Le paludisme fait une réapparition et bien qu'il y a des modèles pour prédire ses dynamiques, nous devons aujourd'hui les prédire à partir des données insuffisantes et sous des conditions contraires à celles exigées par les modèles utilisés. Alors, on a besoin d'une architecture dans laquelle examiner les modèles computationnels du paludisme et les rapports entre eux, et découvrir des propriétés émergentes quelconques à partir des aspects biologiques du paludisme. Ici, nous proposons une structure où les êtres humains, moustiques et parasites, peuvent être conçus comme des agents computationnels réactifs dans l'étude des dynamiques du paludisme et maladies transmissibles par organismes tiers (vecteurs) (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37538 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Identification de défauts par des mesures de frontière : *** Auteurs : Jaoua, MohamedCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 21 Format : 24 cm Note générale : MARCHE DES PRODUITS Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : IDENTIFICATION DE DEFAUTS ALGORITHMES%INFORMATIQUE Résumé : Les problématiques relevant de l'identification des défauts par des mesures thermiques ou électriques de frontière fait l'objet de cet exposé en focalisant sur les fissures. Celles-ci sont l'identifiabilité, la stabilité et les algorithmes d'identification- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : MARCHE DES PRODUITS Identification de défauts par des mesures de frontière : *** [] / Jaoua, MohamedCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 21 ; 24 cm.
MARCHE DES PRODUITS
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : IDENTIFICATION DE DEFAUTS ALGORITHMES%INFORMATIQUE Résumé : Les problématiques relevant de l'identification des défauts par des mesures thermiques ou électriques de frontière fait l'objet de cet exposé en focalisant sur les fissures. Celles-ci sont l'identifiabilité, la stabilité et les algorithmes d'identification- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : MARCHE DES PRODUITS Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37518 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Identification des modèles bidimensionnels à moyenne ajustée à l'aide des statistiques d'ordre supérieur : *** Auteurs : Bakrim, M'hamed%Aboutajdine, DrissCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 143-148 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : STATISTIQUE D'ORDRE SUPERIEUR%MODELES MOYENNE AJUSTEE (MA) NON GAUSSIENS BIDIMENSIONNELS A NON MINIMUM DE PHASE (NMP)%IDENTIFICATION AVEUGLE%METHODES GLOBALES DES MOINDRES CARRES%METHODE W SLICE BIDIMENSIONNELLE Résumé : Dans ce papier, nous développons trois méthodes linéaires des moindres carrés dédiés à l'identification des signaux non Gaussiens bidimensionnels à moyenne ajustée (MA), éventuellement à non minimum de phase. La première approche est basée sur l'autocorrélation et les cumulants d'ordre m 2, la deuxième exploite uniquement les cumulants et la troisième est une extension au cas 2 D de la méthode w-slice. Cette dernière utilise les cumulants et l'autocorrélation comme option. Les résultats de simulations obtenus montrent que la deuxième méthode donne une bonne estimation dans le cas non bruité mais en présence d'un bruit additif Gaussien, la méthode w-slice sans autocorrélation semble plus performante aux prix d'une complexité de calcul trop élevée (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Identification des modèles bidimensionnels à moyenne ajustée à l'aide des statistiques d'ordre supérieur : *** [] / Bakrim, M'hamed%Aboutajdine, DrissCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 143-148 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : STATISTIQUE D'ORDRE SUPERIEUR%MODELES MOYENNE AJUSTEE (MA) NON GAUSSIENS BIDIMENSIONNELS A NON MINIMUM DE PHASE (NMP)%IDENTIFICATION AVEUGLE%METHODES GLOBALES DES MOINDRES CARRES%METHODE W SLICE BIDIMENSIONNELLE Résumé : Dans ce papier, nous développons trois méthodes linéaires des moindres carrés dédiés à l'identification des signaux non Gaussiens bidimensionnels à moyenne ajustée (MA), éventuellement à non minimum de phase. La première approche est basée sur l'autocorrélation et les cumulants d'ordre m 2, la deuxième exploite uniquement les cumulants et la troisième est une extension au cas 2 D de la méthode w-slice. Cette dernière utilise les cumulants et l'autocorrélation comme option. Les résultats de simulations obtenus montrent que la deuxième méthode donne une bonne estimation dans le cas non bruité mais en présence d'un bruit additif Gaussien, la méthode w-slice sans autocorrélation semble plus performante aux prix d'une complexité de calcul trop élevée (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37535 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Identification des objets dans les systèmes légataires : *** Auteurs : Sahraoui, Houari A.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 483-491 Format : 24 cm Note générale : LOGICIELS Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : REINGENIERIE DU LOGICIEL%IDENTIFICATION DES OBJETS%TREILLIS DE GALOIS Résumé : Un des plus grands défis auxquels fera face la communauté du génie logiciel dans les années à venir est la migration des systèmes légataires (dits également traditionnels) vers les technologies émergentes et particulièrement celle des objets. Dans cet article, nous présentons une approche permettant de supporter le processus de migration vers la technologie des objets (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : LOGICIELS Identification des objets dans les systèmes légataires : *** [] / Sahraoui, Houari A.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 483-491 ; 24 cm.
LOGICIELS
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : REINGENIERIE DU LOGICIEL%IDENTIFICATION DES OBJETS%TREILLIS DE GALOIS Résumé : Un des plus grands défis auxquels fera face la communauté du génie logiciel dans les années à venir est la migration des systèmes légataires (dits également traditionnels) vers les technologies émergentes et particulièrement celle des objets. Dans cet article, nous présentons une approche permettant de supporter le processus de migration vers la technologie des objets (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : LOGICIELS Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37574 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Identification d'un système non linéaire partiellement observé par la méthode de la distance minimale : *** Auteurs : Kutoyants, Yurii%Gland, François Le%Rakotozafy, RivoCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 135-141 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROCESSUS DE TYPE DIFFUSION%OBSERVATION PARTIELLE%ESTIMATEUR PARAMETRIQUE%ESTIMATEUR DE LA DISTANCE MINIMALE Résumé : Nous considérons le problème de l'estimation de paramètres par la méthode de la distance minimale pour les processus de type de diffusion partiellement observés. Nous construisons l'estimateur de la distance minimale (EDM) à partir de n observations indépendantes et nous montrons la consistance et la normalité asymptotique de l'EDM quand n tend vers l'infini (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Identification d'un système non linéaire partiellement observé par la méthode de la distance minimale : *** [] / Kutoyants, Yurii%Gland, François Le%Rakotozafy, RivoCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 135-141 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROCESSUS DE TYPE DIFFUSION%OBSERVATION PARTIELLE%ESTIMATEUR PARAMETRIQUE%ESTIMATEUR DE LA DISTANCE MINIMALE Résumé : Nous considérons le problème de l'estimation de paramètres par la méthode de la distance minimale pour les processus de type de diffusion partiellement observés. Nous construisons l'estimateur de la distance minimale (EDM) à partir de n observations indépendantes et nous montrons la consistance et la normalité asymptotique de l'EDM quand n tend vers l'infini (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37534 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Implémentation du filtre S. Mallat par le mode de calcul en ligne : *** Auteurs : Bessalah, H.%Alim, F.%Seddiki, S.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 429-436 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ARITHMETIQUE EN LIGNE%ONDELETTES%FILTRE DE S. MALLAT Résumé : Le processus de calcul du filtre de S. Mallat est caractérisé par une structure purement séquentielle. Dans cette perspective, le mode de calcul en ligne (On line) s'avère plus approprié pour la réalisation de cette structure. Cette étude est consacrée à l'introduction de l'arithmétique en ligne au calcul du filtre de S. Mallat et au développement d'une architecture d'un filtre à réponse impulsionnelle finie. L'utilisation d'une représentation Borrow-Save nous a permis de simplifier cette architecture (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Implémentation du filtre S. Mallat par le mode de calcul en ligne : *** [] / Bessalah, H.%Alim, F.%Seddiki, S.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 429-436 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ARITHMETIQUE EN LIGNE%ONDELETTES%FILTRE DE S. MALLAT Résumé : Le processus de calcul du filtre de S. Mallat est caractérisé par une structure purement séquentielle. Dans cette perspective, le mode de calcul en ligne (On line) s'avère plus approprié pour la réalisation de cette structure. Cette étude est consacrée à l'introduction de l'arithmétique en ligne au calcul du filtre de S. Mallat et au développement d'une architecture d'un filtre à réponse impulsionnelle finie. L'utilisation d'une représentation Borrow-Save nous a permis de simplifier cette architecture (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37564 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Intégration of animation and explanation in a modeling and simulation environment : *** Auteurs : Belattar, Brahim%Djoudi, MahieddineCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 455-462 Format : 24 cm Note générale : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MODELISATIONS%INTERFACE GRAPHIQUE%SYSTEMES A BASE DE CONNAISSANCE%ANIMATION GRAPHIQUE SIMULATION DE L'ENVIRONNEMENT%EXPLICATION Résumé : Dans cet article, nous présentons l'architecture d'un environnement de modélisation et de simulation (EMS) basé sur une interface graphique et des techniques d'intelligence artificielle. Cet environnement s'articule d'une part sur un système d'animation graphique dédié à l'animation graphique de modèles de simulation à évènements discrets et d'autre part sur un système expert dédié à l'automatisation du processus de construction d'un modèle de simulation et à l'explication de son comportement dynamique au cours d'une simulation. L'insuffisance des outils de trace, d'animation graphique ou de déblocage interactif est mise en évidence. Une approche d'intégration de l'explication et de l'animation graphique dans l'EMS que nous proposons est présentée et les perspectives d'implémentations sont discutées (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Intégration of animation and explanation in a modeling and simulation environment : *** [] / Belattar, Brahim%Djoudi, MahieddineCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 455-462 ; 24 cm.
TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MODELISATIONS%INTERFACE GRAPHIQUE%SYSTEMES A BASE DE CONNAISSANCE%ANIMATION GRAPHIQUE SIMULATION DE L'ENVIRONNEMENT%EXPLICATION Résumé : Dans cet article, nous présentons l'architecture d'un environnement de modélisation et de simulation (EMS) basé sur une interface graphique et des techniques d'intelligence artificielle. Cet environnement s'articule d'une part sur un système d'animation graphique dédié à l'animation graphique de modèles de simulation à évènements discrets et d'autre part sur un système expert dédié à l'automatisation du processus de construction d'un modèle de simulation et à l'explication de son comportement dynamique au cours d'une simulation. L'insuffisance des outils de trace, d'animation graphique ou de déblocage interactif est mise en évidence. Une approche d'intégration de l'explication et de l'animation graphique dans l'EMS que nous proposons est présentée et les perspectives d'implémentations sont discutées (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37566 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Introduction de la vitesse d'élocution dans un modèle de RAP au cours d'un post traitement : *** Auteurs : Yousfi, Abdellah%Meziane, AbdelouafiCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 75-80 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RECONNAISSANCE AUTOMATIQUE DE PAROLE (RAP)%DUREE DES SONS%VITESSE D'ELOCUTION Résumé : Dans cet article, nous proposons une amélioration du modèle TLHMM centiseconde appliquée à la durée des sons. Les lois de la durée dépendent de la vitesse d'élocution, ce qui nécessite un ajustement de la loi de la durée suivant ce facteur. Cette information est utilisée dans une phase de post-traitement, ce travail fait suite à ceux de A. Meziane et N. Suaudeau- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Introduction de la vitesse d'élocution dans un modèle de RAP au cours d'un post traitement : *** [] / Yousfi, Abdellah%Meziane, AbdelouafiCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 75-80 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RECONNAISSANCE AUTOMATIQUE DE PAROLE (RAP)%DUREE DES SONS%VITESSE D'ELOCUTION Résumé : Dans cet article, nous proposons une amélioration du modèle TLHMM centiseconde appliquée à la durée des sons. Les lois de la durée dépendent de la vitesse d'élocution, ce qui nécessite un ajustement de la loi de la durée suivant ce facteur. Cette information est utilisée dans une phase de post-traitement, ce travail fait suite à ceux de A. Meziane et N. Suaudeau- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37527 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Inverse problem formulation for parameters. Determination using the adjoint method : *** Auteurs : Ngnepieba, Pierre%Dimet, François Xavier leCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 195-202 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MODELE ADJOINT%COUT DE LA FONCTION%INFILTRATION CUMULATIVE%INFILTRATION CUMULATIVE OBSERVEE Résumé : La modélisation inverse est devenue une technique standard pour l'estimation des paramètres en hydrogéologie. Fondamentalement, cette technique est basée sur les méthodes de contrôles optimales qui nécessitent des observations et un modèle pour le calcul des dérivés du premier ordre. Nous utilisons cette approche pour l'identification des paramètres hydrodynamiques sur un modèle d'écoulement souterrain en zone non saturée (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Inverse problem formulation for parameters. Determination using the adjoint method : *** [] / Ngnepieba, Pierre%Dimet, François Xavier leCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 195-202 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MODELE ADJOINT%COUT DE LA FONCTION%INFILTRATION CUMULATIVE%INFILTRATION CUMULATIVE OBSERVEE Résumé : La modélisation inverse est devenue une technique standard pour l'estimation des paramètres en hydrogéologie. Fondamentalement, cette technique est basée sur les méthodes de contrôles optimales qui nécessitent des observations et un modèle pour le calcul des dérivés du premier ordre. Nous utilisons cette approche pour l'identification des paramètres hydrodynamiques sur un modèle d'écoulement souterrain en zone non saturée (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37540 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : A methode for specifying component-based systems : *** Auteurs : Kotonya, GeraldCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 501-508 Format : 24 cm Note générale : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : COMPOSANTS LOGICIELS%COSEE%COTS%POINT DE VUE INGENIERIE%SPECIFICATIONS TECHNIQUES Résumé : Les systèmes qui sont constitués d'assemblage de composants logiciels sont généralement conçus à partir d'une architecture prédéfinie leur permettant d'interopérer avec d'autres systèmes. Néanmoins, il reste un problème majeur, celui de la correspondance des besoins de l'utilisateur avec l'architecture des composants. Dans ce travail, nous proposons un modèle pour la définition de l'expression des besoins et qui fournit un schema explicite pour la construction et la validation des spécifications des composants selon différentes perspectives sous jacentes (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR A methode for specifying component-based systems : *** [] / Kotonya, GeraldCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 501-508 ; 24 cm.
TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : COMPOSANTS LOGICIELS%COSEE%COTS%POINT DE VUE INGENIERIE%SPECIFICATIONS TECHNIQUES Résumé : Les systèmes qui sont constitués d'assemblage de composants logiciels sont généralement conçus à partir d'une architecture prédéfinie leur permettant d'interopérer avec d'autres systèmes. Néanmoins, il reste un problème majeur, celui de la correspondance des besoins de l'utilisateur avec l'architecture des composants. Dans ce travail, nous proposons un modèle pour la définition de l'expression des besoins et qui fournit un schema explicite pour la construction et la validation des spécifications des composants selon différentes perspectives sous jacentes (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37570 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Méthodologie de conception d'algorithmes efficaces pour le produit tensoriel : *** Auteurs : Tadonki, Claude%Philippe, BernardCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 309-316 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PRODUIT TENSORIEL%ORDONNANCEMENT%PARALLELE%MACHINE A MEMOIRE DISTRIBUEE%COMPLEXITE MATRICES (MATHEMATIQUES)%COMMUNICATION Résumé : Dans cet article, nous présentons un ensemble de résultats algorithmiques relatifs aux opérations de l'algèbre tensorielle. Principalement, nous étudions la multiplication d'un vecteur par un produit tensoriel de matrices. Nos résultats sont dérivés d'un modèle de calcul basé sur la factorisation canonique et une représentation multidimensionnelle des opérandes. Dans le cas séquentiel, nous donnons un algorithme général et ensuite une version régulière et naturellement vectorisable pour le cas de matrices de mêmes tailles. Dans le cas parallèle, sur machine à mémoire distribuée, nous développons un algorithme qui minimise le coût des communications entre les processeurs et la mémoire locale de chaque processeur. - Une étude de complexité montre que, pour p, un quelconque diviseur de la taille du problème, le coût minimal pour la multiplication sur p processeurs implique log (p) étapes de communication. Cette borne est revue en fonction des différentes topologies standards. Quelques résultats expérimentaux sur la CRAY confirment l'efficacité de nos algorithmes (Résumé d'auteur)- - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Méthodologie de conception d'algorithmes efficaces pour le produit tensoriel : *** [] / Tadonki, Claude%Philippe, BernardCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 309-316 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PRODUIT TENSORIEL%ORDONNANCEMENT%PARALLELE%MACHINE A MEMOIRE DISTRIBUEE%COMPLEXITE MATRICES (MATHEMATIQUES)%COMMUNICATION Résumé : Dans cet article, nous présentons un ensemble de résultats algorithmiques relatifs aux opérations de l'algèbre tensorielle. Principalement, nous étudions la multiplication d'un vecteur par un produit tensoriel de matrices. Nos résultats sont dérivés d'un modèle de calcul basé sur la factorisation canonique et une représentation multidimensionnelle des opérandes. Dans le cas séquentiel, nous donnons un algorithme général et ensuite une version régulière et naturellement vectorisable pour le cas de matrices de mêmes tailles. Dans le cas parallèle, sur machine à mémoire distribuée, nous développons un algorithme qui minimise le coût des communications entre les processeurs et la mémoire locale de chaque processeur. - Une étude de complexité montre que, pour p, un quelconque diviseur de la taille du problème, le coût minimal pour la multiplication sur p processeurs implique log (p) étapes de communication. Cette borne est revue en fonction des différentes topologies standards. Quelques résultats expérimentaux sur la CRAY confirment l'efficacité de nos algorithmes (Résumé d'auteur)- - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37556 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Les microprocesseurs hautes performances : panorama et nouveaux défis : *** Auteurs : Seznec, AndréCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 27 Format : 24 cm Note générale : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MICROPROCESSEURS%CIRCUITS D'ORDINATEUR Résumé : Le texte résume l'exposé qui va développer un panorama sur l'architecture de ces processeurs : jeu d'instructions, microarchitecture, parallélisme interne, hiérarchie, mémoire, parallélisme de processus. Puis, il va essayer de dégager les nouvelles difficultés (techniques) et donc les nouveaux défis de recherches pour les nouvelles générations de processeurs- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Les microprocesseurs hautes performances : panorama et nouveaux défis : *** [] / Seznec, AndréCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 27 ; 24 cm.
TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MICROPROCESSEURS%CIRCUITS D'ORDINATEUR Résumé : Le texte résume l'exposé qui va développer un panorama sur l'architecture de ces processeurs : jeu d'instructions, microarchitecture, parallélisme interne, hiérarchie, mémoire, parallélisme de processus. Puis, il va essayer de dégager les nouvelles difficultés (techniques) et donc les nouveaux défis de recherches pour les nouvelles générations de processeurs- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37521 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : La mise en valeur d'une approche floue pour l'évaluation du coût de développement de logiciels : *** Auteurs : Idri, Ali%Kjiri, LailaCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 247-254 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MESURE DE LOGICIELS%MODELES D'ESTIMATION%COCOMO'81%LOGIQUE FLOUE Résumé : Au début des années 90, grace aux travaux de Zadeh et autres, la logique floue a connu un succès considérable au niveau du développement de ses fondements théoriques ainsi qu'au niveau de ses applications aux différents domaines (robotique, médecine, ...). Or comme la plupart des modèles d'estimation ont été publiés dans la décade précédente, plusieurs des concepts utilisés actuellement dans ces modèles sont encore basés sur la logique classique. En effet, plusieurs facteurs de ces modèles, tels que l'expérience des programmeurs et la fiabilité d'un logiciel, sont mesurés sur une échelle ordinale composée de qualifications (valeurs linguistiques en logique floue) telles que très bas et bas. Ces valeurs linguistiques sont représentées, dans ces modèles, par des intervalles classiques. Cette représentation pose de sérieux problèmes dans le processus d'estimation. Pour remédier à ceci, nous avons jugé utile d'appliquer quelques concepts de la logique floue aux modèles d'estimation du coût. Notre première application concerne le modèle COCOMO'81 (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE La mise en valeur d'une approche floue pour l'évaluation du coût de développement de logiciels : *** [] / Idri, Ali%Kjiri, LailaCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 247-254 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MESURE DE LOGICIELS%MODELES D'ESTIMATION%COCOMO'81%LOGIQUE FLOUE Résumé : Au début des années 90, grace aux travaux de Zadeh et autres, la logique floue a connu un succès considérable au niveau du développement de ses fondements théoriques ainsi qu'au niveau de ses applications aux différents domaines (robotique, médecine, ...). Or comme la plupart des modèles d'estimation ont été publiés dans la décade précédente, plusieurs des concepts utilisés actuellement dans ces modèles sont encore basés sur la logique classique. En effet, plusieurs facteurs de ces modèles, tels que l'expérience des programmeurs et la fiabilité d'un logiciel, sont mesurés sur une échelle ordinale composée de qualifications (valeurs linguistiques en logique floue) telles que très bas et bas. Ces valeurs linguistiques sont représentées, dans ces modèles, par des intervalles classiques. Cette représentation pose de sérieux problèmes dans le processus d'estimation. Pour remédier à ceci, nous avons jugé utile d'appliquer quelques concepts de la logique floue aux modèles d'estimation du coût. Notre première application concerne le modèle COCOMO'81 (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37545 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : MoalimCo : intégration de la dimension coopérative dans un système auteur de tuteurs intelligents : *** Auteurs : Talhi, Said%Djoudi, Mahieddine%Zidani, AbdelmadjidCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 281-288 Format : 24 cm Note générale : INTELLIGENCE ARTIFICIELLE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES TUTEURS INTELLIGENTS (STI)%SYSTEMES ACTEURS COOPERATIVES%COLLLECTIEL%COOPERATION SYNCHRONE%MODELE CLIENTS/SERVEUR Résumé : Nous proposons une intégration de la dimension coopérative au sein d'un système auteur de STI initialement mono-usager (Moalim). Ceci permettra à plusieurs auteurs géographiquement dispersés de collaborer pour produire un STI. Nous envisageons alors, de leur créer un espace de travail commun et nous définissons les mécanismes permettant de gérer la rétroaction de groupe au sein de cet espace ainsi qu'un support pour assurer l'intégrité des données dispersées à travers les différents sites impliqués (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INTELLIGENCE ARTIFICIELLE MoalimCo : intégration de la dimension coopérative dans un système auteur de tuteurs intelligents : *** [] / Talhi, Said%Djoudi, Mahieddine%Zidani, AbdelmadjidCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 281-288 ; 24 cm.
INTELLIGENCE ARTIFICIELLE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES TUTEURS INTELLIGENTS (STI)%SYSTEMES ACTEURS COOPERATIVES%COLLLECTIEL%COOPERATION SYNCHRONE%MODELE CLIENTS/SERVEUR Résumé : Nous proposons une intégration de la dimension coopérative au sein d'un système auteur de STI initialement mono-usager (Moalim). Ceci permettra à plusieurs auteurs géographiquement dispersés de collaborer pour produire un STI. Nous envisageons alors, de leur créer un espace de travail commun et nous définissons les mécanismes permettant de gérer la rétroaction de groupe au sein de cet espace ainsi qu'un support pour assurer l'intégrité des données dispersées à travers les différents sites impliqués (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INTELLIGENCE ARTIFICIELLE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37549 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Des modèles mathématiques et informatiques pour la croissance et l'architecture des plantes et leurs applications : *** Auteurs : Reffye, Philippe deCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 23-24 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CROISSANCE DES PLANTES%ARCHITECTURE DES PLANTES MODELES MATHEMATIQUES%INFORMATIQUE%APPLICATIONS DE L'INFORMATIQUE%VEGETAUX Résumé : Les modèles mathémathiques de la croissance et de l'architecture des plantes s'appuient sur la modélisation du fonctionnement des bourgeons et sur la modélisation de la fabrication de la matière végétale et de son allocation dans l'architecture- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Des modèles mathématiques et informatiques pour la croissance et l'architecture des plantes et leurs applications : *** [] / Reffye, Philippe deCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 23-24 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CROISSANCE DES PLANTES%ARCHITECTURE DES PLANTES MODELES MATHEMATIQUES%INFORMATIQUE%APPLICATIONS DE L'INFORMATIQUE%VEGETAUX Résumé : Les modèles mathémathiques de la croissance et de l'architecture des plantes s'appuient sur la modélisation du fonctionnement des bourgeons et sur la modélisation de la fabrication de la matière végétale et de son allocation dans l'architecture- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37519 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Molène : un système générique pour la construction d'applications en environnements mobiles : *** Auteurs : André, FrançoiseCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 25 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ORDINATEURS PORTABLES%SYSTEME MOLENE APPLICATIONS DE L'INFORMATIQUE Résumé : Le texte traite de façon très condensée les caractéristiques des environnements mobiles, l'état de l'art dans le domaine des applications mobiles, l'approche générique de molène et l'architecture de ce système, la description d'un composant adaptable de Molène avec l'exemple de l'application 'système d'information hospitalier'- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Molène : un système générique pour la construction d'applications en environnements mobiles : *** [] / André, FrançoiseCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 25 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ORDINATEURS PORTABLES%SYSTEME MOLENE APPLICATIONS DE L'INFORMATIQUE Résumé : Le texte traite de façon très condensée les caractéristiques des environnements mobiles, l'état de l'art dans le domaine des applications mobiles, l'approche générique de molène et l'architecture de ce système, la description d'un composant adaptable de Molène avec l'exemple de l'application 'système d'information hospitalier'- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37520 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Noise reduction and compression of non-stationary signals using adaptive segmentation : *** Auteurs : Andrian, Jean H.%Edmonds, Christopher A.%Yen, K.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 67-74 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SEGMENTATION ADAPTIVE%SIGNAL NON STATIONNAIRE Résumé : Les signaux rencontrés dans des situations concrètes sont dans leur immense majorité non stationnaires, une part importante (sinon prépondérante) de l'information qu'ils véhiculent étant précisément portée par les non stationnarités (début ou fin d'évènements, dérivés, ruptures, modulations). Dans ce travail, nous étendons au cas non stationnaire un algorithme de réduction de bruit et de compression développé par Saito pour les signaux stationnaires. Cette extension est réalisée en segmentant adaptativement le signal non stationnaire. Nos résultats prouvent que cette segmentation adaptative améliore la performance dans la réduction de bruit et la compression par rapport à l'algorithme original de Saito (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Noise reduction and compression of non-stationary signals using adaptive segmentation : *** [] / Andrian, Jean H.%Edmonds, Christopher A.%Yen, K.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 67-74 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SEGMENTATION ADAPTIVE%SIGNAL NON STATIONNAIRE Résumé : Les signaux rencontrés dans des situations concrètes sont dans leur immense majorité non stationnaires, une part importante (sinon prépondérante) de l'information qu'ils véhiculent étant précisément portée par les non stationnarités (début ou fin d'évènements, dérivés, ruptures, modulations). Dans ce travail, nous étendons au cas non stationnaire un algorithme de réduction de bruit et de compression développé par Saito pour les signaux stationnaires. Cette extension est réalisée en segmentant adaptativement le signal non stationnaire. Nos résultats prouvent que cette segmentation adaptative améliore la performance dans la réduction de bruit et la compression par rapport à l'algorithme original de Saito (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37526 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Outil de détection de masses cancéreuses du sein par une méthode d'analyse de la texture des images mammographiques : *** Auteurs : Oussena, B.%Belhadj, F.%Habboub, W.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 391-398 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ANALYSE DE TEXTURES%FILTRES DE LAWS%FILTRE EPNSQ%LISSAGE DES ATTRIBUTS%MAMMOGRAPHIE%RELAXATION PROBABILISTE%SEGMENTATION%MASSES%CANCER DU SEIN Résumé : Dans ce présent article, nous mettons en oeuvre la méthode spatiale de Laws dans l'analyse de la texture des images mammographiques pour la détection de masses cancéreuses du sein. Nous présentons un algorithme qui pallie aux inconvénients de la méthode de la segmentation des régions dans l'image. L'algorithme proposé a deux objectifs principaux. L'amélioration des résultats de la segmentation à l'intérieur des régions et plus particulièrement le long des frontières entre les régions et la prise en considération de l'interaction spatiale entre les pixels dans le processus de segmentation des images texturées. Pour mettre en pratique le modèle, nous avons présenté le filtre EPNSQ qui peut être appliqué pour lisser les attributs de segmentation et nous avons implémenté la technique de relaxation probabiliste pour réduire les ambiguités locales qui empêche l'affectation exacte des pixels à une région (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Outil de détection de masses cancéreuses du sein par une méthode d'analyse de la texture des images mammographiques : *** [] / Oussena, B.%Belhadj, F.%Habboub, W.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 391-398 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ANALYSE DE TEXTURES%FILTRES DE LAWS%FILTRE EPNSQ%LISSAGE DES ATTRIBUTS%MAMMOGRAPHIE%RELAXATION PROBABILISTE%SEGMENTATION%MASSES%CANCER DU SEIN Résumé : Dans ce présent article, nous mettons en oeuvre la méthode spatiale de Laws dans l'analyse de la texture des images mammographiques pour la détection de masses cancéreuses du sein. Nous présentons un algorithme qui pallie aux inconvénients de la méthode de la segmentation des régions dans l'image. L'algorithme proposé a deux objectifs principaux. L'amélioration des résultats de la segmentation à l'intérieur des régions et plus particulièrement le long des frontières entre les régions et la prise en considération de l'interaction spatiale entre les pixels dans le processus de segmentation des images texturées. Pour mettre en pratique le modèle, nous avons présenté le filtre EPNSQ qui peut être appliqué pour lisser les attributs de segmentation et nous avons implémenté la technique de relaxation probabiliste pour réduire les ambiguités locales qui empêche l'affectation exacte des pixels à une région (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37560 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Partitionnement matériel/logiciel des systèmes de contrôles d'expériences par les treillis de Galois : *** Auteurs : Kamdem, Romain%Njiwoua, PatrickCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 299-307 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PARTITIONNEMENT%TEMPS REEL%TREILLIS DE GALOIS ORDINATEURS%LOGICIEL Résumé : Dans cet article, il est proposé une méthode de partitionnement matériel/logiciel des tâches d'un système temps réel avec une application à un système de contrôle automatique d'expérience. Cette méthode est basée sur les mécanismes d'ordonnancement statique et le treillis de Galois- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Partitionnement matériel/logiciel des systèmes de contrôles d'expériences par les treillis de Galois : *** [] / Kamdem, Romain%Njiwoua, PatrickCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 299-307 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PARTITIONNEMENT%TEMPS REEL%TREILLIS DE GALOIS ORDINATEURS%LOGICIEL Résumé : Dans cet article, il est proposé une méthode de partitionnement matériel/logiciel des tâches d'un système temps réel avec une application à un système de contrôle automatique d'expérience. Cette méthode est basée sur les mécanismes d'ordonnancement statique et le treillis de Galois- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37572 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Protection de droits d'auteur de données numériques : *** Auteurs : Cohen, Gérard%Encheva, Sylvia%Zémor, GillesCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 151-158 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CODES A L'EPREUVE DU PIRATAGE%CODES INTERSECTIONS DROITS D'AUTEUR Résumé : si Tp est un code paire de longueur n et a et b deux mots de code, c'est dit descendant de a et b si c1 appartient à a, b pour i =1, ..., n. Nous cherchons des codes Tp, ayant la propriété que pour deux mots de code quelconques a et coalition de deux utilisateurs a et b ne peut incriminer à tort un troisième utilisateur c. Nous construisons des codes intersectants sur le corps premier à p éléments avec cette propriété (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Protection de droits d'auteur de données numériques : *** [] / Cohen, Gérard%Encheva, Sylvia%Zémor, GillesCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 151-158 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CODES A L'EPREUVE DU PIRATAGE%CODES INTERSECTIONS DROITS D'AUTEUR Résumé : si Tp est un code paire de longueur n et a et b deux mots de code, c'est dit descendant de a et b si c1 appartient à a, b pour i =1, ..., n. Nous cherchons des codes Tp, ayant la propriété que pour deux mots de code quelconques a et coalition de deux utilisateurs a et b ne peut incriminer à tort un troisième utilisateur c. Nous construisons des codes intersectants sur le corps premier à p éléments avec cette propriété (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37536 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Reactive systems with unbounded event memorization : *** Auteurs : Cassez, Franck%Herbreteau, Frédéric%Roux, OlivierCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 291-298 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES REACTIFS%OUTILS ET LANGAGES SPECIFIQUES%SEMANTIQUE%MEMORISATION ILLIMITEE Résumé : Dans cet article, nous étudions une machine d'états infinie pour modéliser le comportement des systèmes réactifs dans lesquels on prend en compte les mémorisations d'occurences de certains évènements. Nous montrons comment, à partir d'un système de transitions fini qui modélise la partie contrôlé d'un système réactif spécifié dans le langage electre, nous construisons un FIFFO-système de transitions qui permet de modéliser la mémorisation et le traitement des occurences enregistrées d'évènements. Les différentes étapes de cette construction sont illustrées au travers du problème de synchronisation bien connu des lecteurs-écrivains (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Reactive systems with unbounded event memorization : *** [] / Cassez, Franck%Herbreteau, Frédéric%Roux, OlivierCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 291-298 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES REACTIFS%OUTILS ET LANGAGES SPECIFIQUES%SEMANTIQUE%MEMORISATION ILLIMITEE Résumé : Dans cet article, nous étudions une machine d'états infinie pour modéliser le comportement des systèmes réactifs dans lesquels on prend en compte les mémorisations d'occurences de certains évènements. Nous montrons comment, à partir d'un système de transitions fini qui modélise la partie contrôlé d'un système réactif spécifié dans le langage electre, nous construisons un FIFFO-système de transitions qui permet de modéliser la mémorisation et le traitement des occurences enregistrées d'évènements. Les différentes étapes de cette construction sont illustrées au travers du problème de synchronisation bien connu des lecteurs-écrivains (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37550 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Real-time task restructuring using program slicing : *** Auteurs : Kimour, Mohamed T.%Bendelloul, Mohamed S.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 509-517 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CONTRAINTES DE TEMPS%ORDONNANCEMENT A PRIORITES FIXES%RESTRUCTURATION DE PROGRAMMES%SYSTEMES TEMPS REEL%TRANCHES DE PROGRAMMES Résumé : Dans les systèmes temps réel, les programmes doivent non seulement être logiquement corrects, mais aussi ils doivent s'exécuter sans fautes temporelles. Dans ces systèmes, les erreurs dues aux surcharges de ressources sont exposées très tard dans le processus de développement et souvent durant l'exécution. Dans ce cas, les développeurs procèdent habituellement à d'intenses activités d'instrumentation, de mesure, d'analyse et de réarrangement manuelles d'opérations-clées dans le code source et parfois même de reconception. De telles activités sont lentes, coûteuses et non contrôlables.- Dans le but d'aider à réaliser l'ordonnançabilité, nous proposons une approche qui présente une extension à celles décrites dans 9 et 12. Elle permet de restruturer dans la perspective l'ordonnacement, une classe plus large de programmes temps réel multiprocéduraux. En outre, en utilisant un modèle de dépendance plus fin et en décomposant des tâches sélectionnées en sous tâches, elle permet d'appliquer les méthodes généralisées d'ordonnancement à priorités fixes qui permettent d'obtenir une meilleure ordonnançabilité, comparées à celle obtenue par application de la technique rate-monotonic (Résumé d'auteur)- - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Real-time task restructuring using program slicing : *** [] / Kimour, Mohamed T.%Bendelloul, Mohamed S.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 509-517 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CONTRAINTES DE TEMPS%ORDONNANCEMENT A PRIORITES FIXES%RESTRUCTURATION DE PROGRAMMES%SYSTEMES TEMPS REEL%TRANCHES DE PROGRAMMES Résumé : Dans les systèmes temps réel, les programmes doivent non seulement être logiquement corrects, mais aussi ils doivent s'exécuter sans fautes temporelles. Dans ces systèmes, les erreurs dues aux surcharges de ressources sont exposées très tard dans le processus de développement et souvent durant l'exécution. Dans ce cas, les développeurs procèdent habituellement à d'intenses activités d'instrumentation, de mesure, d'analyse et de réarrangement manuelles d'opérations-clées dans le code source et parfois même de reconception. De telles activités sont lentes, coûteuses et non contrôlables.- Dans le but d'aider à réaliser l'ordonnançabilité, nous proposons une approche qui présente une extension à celles décrites dans 9 et 12. Elle permet de restruturer dans la perspective l'ordonnacement, une classe plus large de programmes temps réel multiprocéduraux. En outre, en utilisant un modèle de dépendance plus fin et en décomposant des tâches sélectionnées en sous tâches, elle permet d'appliquer les méthodes généralisées d'ordonnancement à priorités fixes qui permettent d'obtenir une meilleure ordonnançabilité, comparées à celle obtenue par application de la technique rate-monotonic (Résumé d'auteur)- - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37571 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : A reasoning model based on the production of acceptable arguments : *** Auteurs : Amgoud, LeilaCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 239-246 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ARGUMENTATION Résumé : L'argumentation est un modèle de raisonnement basé sur la construction d'arguments et de contre-arguments puis la sélection des plus acceptables. Nous proposons dans cet article de prendre en compte des relations de préférence entre arguments pour calculer ces arguments acceptables. Nous proposons ensuite une théorie de la preuve permettant de vérifier si un argument donné est acceptable (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE A reasoning model based on the production of acceptable arguments : *** [] / Amgoud, LeilaCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 239-246 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : ARGUMENTATION Résumé : L'argumentation est un modèle de raisonnement basé sur la construction d'arguments et de contre-arguments puis la sélection des plus acceptables. Nous proposons dans cet article de prendre en compte des relations de préférence entre arguments pour calculer ces arguments acceptables. Nous proposons ensuite une théorie de la preuve permettant de vérifier si un argument donné est acceptable (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37544 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Reconnaissance des caractères Arabes : *** Titre original : Arabic characters recognition Auteurs : Fakir, Mohamed%Hassani, M.M.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 213-220 Format : 24 cm Note générale : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CARACTERES ARABES%TRANSFORMEE DE HOUGH%EXPANSION DE KARHUNEN LOEVE%CORRECTION DE L'INCLINAISON%EXTRACTION DES PRIMITIVES%PROGRAMMATION DYNAMIQUE%RECONNAISSANCE DES CARACTERES Résumé : Dans cet article, nous présentons une méthode pour la reconnaissance des caractères Arabes imprimés. Le texte Arabe est segmenté en caractères après les processus d'acquisition, du lissage et correction de l'inclinaison. Les primitives sont ensuite extraites par utilisation de l'expansion de Karhunen-Loeve. Les caractères sont classifiés en utilisant la technique de programmation dynamique. Les résultats obtenus indiquent que la méthode proposée offre une meilleure classification par rapport aux méthodes existantes- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Reconnaissance des caractères Arabes = Arabic characters recognition : *** [] / Fakir, Mohamed%Hassani, M.M.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 213-220 ; 24 cm.
TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : CARACTERES ARABES%TRANSFORMEE DE HOUGH%EXPANSION DE KARHUNEN LOEVE%CORRECTION DE L'INCLINAISON%EXTRACTION DES PRIMITIVES%PROGRAMMATION DYNAMIQUE%RECONNAISSANCE DES CARACTERES Résumé : Dans cet article, nous présentons une méthode pour la reconnaissance des caractères Arabes imprimés. Le texte Arabe est segmenté en caractères après les processus d'acquisition, du lissage et correction de l'inclinaison. Les primitives sont ensuite extraites par utilisation de l'expansion de Karhunen-Loeve. Les caractères sont classifiés en utilisant la technique de programmation dynamique. Les résultats obtenus indiquent que la méthode proposée offre une meilleure classification par rapport aux méthodes existantes- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37542 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Reconstruction du volume et extraction de la surface d'un objet 3D : *** Auteurs : Lichioui, A.%Hlou, L.%Mnijel, A.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 327-334 Format : 24 cm Note générale : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROJECTIONS ORTHOGONALES%IMAGE CONTOURS%AMINCISSEMENT%CHAINAGE%LISTE%RECONSTRUCTION 3D%EXTRACTION DE LA SURFACE Résumé : L'extraction de la surface à partir d'un volume d'un objet tridimensionnel (3D) est un objectif abordé par plusieurs chercheurs, les algorithmes permettant une telle reconstruction sont couteux en temps de calcul. Dans cet article, nous abordons le problème de la reconstruction de la surface d'objet 3D à partir d'un fichier contenant les données du volume d'un objet tridimensionnel où ses points sont classés aléatoirement, ce qui rend l'extraction de la surface par la méthode traditionnelle est très longue. Nous présentons en conséquence une méthode de reconstruction optimisée en temps réel de la surface d'un objet 3D. Le fichier contenant les points de volume (sujet de notre traitement) est obtenue par la méthode de reconstruction tridimensionnelle par l'approche de chaînage (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Reconstruction du volume et extraction de la surface d'un objet 3D : *** [] / Lichioui, A.%Hlou, L.%Mnijel, A.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 327-334 ; 24 cm.
TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROJECTIONS ORTHOGONALES%IMAGE CONTOURS%AMINCISSEMENT%CHAINAGE%LISTE%RECONSTRUCTION 3D%EXTRACTION DE LA SURFACE Résumé : L'extraction de la surface à partir d'un volume d'un objet tridimensionnel (3D) est un objectif abordé par plusieurs chercheurs, les algorithmes permettant une telle reconstruction sont couteux en temps de calcul. Dans cet article, nous abordons le problème de la reconstruction de la surface d'objet 3D à partir d'un fichier contenant les données du volume d'un objet tridimensionnel où ses points sont classés aléatoirement, ce qui rend l'extraction de la surface par la méthode traditionnelle est très longue. Nous présentons en conséquence une méthode de reconstruction optimisée en temps réel de la surface d'un objet 3D. Le fichier contenant les points de volume (sujet de notre traitement) est obtenue par la méthode de reconstruction tridimensionnelle par l'approche de chaînage (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37552 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Robust H. filtering for rigid robot manipulators controllers : *** Auteurs : Khelfi, M.F.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 91-108 Format : 24 cm Note générale : INTELLIGENCE ARTIFICIELLE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : FILTRE H00%ROBOTS MANIPULATEURS%SIMULATION%ROBUST CONTROL%SEMI-GLOBAL ASYMTPOTIC STABILITY%PERTURBATION DE TERMES Résumé : Cet article traite la synthèse d'un filtre H00 pour les robots manipulateurs en présence de perturbations externes. La structure proposée est une application aux robots manipulateurs du filtre H00 proposé par De Souza et al à une certaine classe de systèmes non linéaires. Utilisant une loi de commande stabilisante donnée dans des résultats de stabilisation via le filtre robuste basés sur la notion de détectabilité sont développés pour la classe des robots manipulateurs. Les résultats de stabilisation sont validés à travers des simulations sur le modèle dynamique d'un robot manipulateur à deux degrés de liberté détaillé dans les bonnes performances de cette nouvelle approche sont ainsi établies (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INTELLIGENCE ARTIFICIELLE Robust H. filtering for rigid robot manipulators controllers : *** [] / Khelfi, M.F.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 91-108 ; 24 cm.
INTELLIGENCE ARTIFICIELLE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : FILTRE H00%ROBOTS MANIPULATEURS%SIMULATION%ROBUST CONTROL%SEMI-GLOBAL ASYMTPOTIC STABILITY%PERTURBATION DE TERMES Résumé : Cet article traite la synthèse d'un filtre H00 pour les robots manipulateurs en présence de perturbations externes. La structure proposée est une application aux robots manipulateurs du filtre H00 proposé par De Souza et al à une certaine classe de systèmes non linéaires. Utilisant une loi de commande stabilisante donnée dans des résultats de stabilisation via le filtre robuste basés sur la notion de détectabilité sont développés pour la classe des robots manipulateurs. Les résultats de stabilisation sont validés à travers des simulations sur le modèle dynamique d'un robot manipulateur à deux degrés de liberté détaillé dans les bonnes performances de cette nouvelle approche sont ainsi établies (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INTELLIGENCE ARTIFICIELLE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37529 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Segmentation d'image basée sur l'analyse de texture et la théorie des sous ensembles flous : application à la détection des bords de routes : *** Auteurs : Nourine, R.%Elarbi, Boudihir M.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 359-366 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : DETECTION DE BORDS DE ROUTES%SEGMENTATION D'IMAGE%SEUILLAGE%FONCTION D'APPARTENANCE FLOUES%MESURE DE FLOU%ANALYSE DE TEXTURE Résumé : L'article décrit une approche de détection des bords de routes basée sur l'analyse de texture et le traitement flou des images. Cette approche est appliquée sur des images routières caractérisées par un faible contraste entre la surface de la route et les zones hors route. On considère que la diagonale de la matrice de co-occurence représente la répartition des niveaux de gris. On applique alors un processus de seuillage basé sur la minimisation du flou, afin de trouver le seuil séparant la surface de la route et les zones hors route. Sur l'ensemble des séquences que nous avons traité, nous avons constaté que le processus d'extraction des bords de routes est satisfaisant (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Segmentation d'image basée sur l'analyse de texture et la théorie des sous ensembles flous : application à la détection des bords de routes : *** [] / Nourine, R.%Elarbi, Boudihir M.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 359-366 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : DETECTION DE BORDS DE ROUTES%SEGMENTATION D'IMAGE%SEUILLAGE%FONCTION D'APPARTENANCE FLOUES%MESURE DE FLOU%ANALYSE DE TEXTURE Résumé : L'article décrit une approche de détection des bords de routes basée sur l'analyse de texture et le traitement flou des images. Cette approche est appliquée sur des images routières caractérisées par un faible contraste entre la surface de la route et les zones hors route. On considère que la diagonale de la matrice de co-occurence représente la répartition des niveaux de gris. On applique alors un processus de seuillage basé sur la minimisation du flou, afin de trouver le seuil séparant la surface de la route et les zones hors route. Sur l'ensemble des séquences que nous avons traité, nous avons constaté que le processus d'extraction des bords de routes est satisfaisant (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37557 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Speed controller of field. Orientated control of an induction motor using an artificial neural network : *** Auteurs : Barazane, L.%Sellami, Y.%Boukhalfa, S.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 81-89 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RESEAU DE NEURONES ARTIFICIELS%PARAMETRE DE VARIATION%MOTEURS D'INDUCTION%FIELD ORIENTED CONTROL Résumé : Cet article décrit l'analyse théorique des réseaux de neurones artificiels (RNA) avant de les introduire dans la commande vectorielle d'une machine asynchrone alimentée en courant. Un bref aperçu sur ce type de commande est présenté, et est suivi par la proposition d'un réseau de neurones susceptible de supplanter le régulateur de vitesse PI. Ce réseau de neurones est constitué de trois couches entraîné et utilisant l'algorithme de la retro-propagation avec momentum avant d'être mis en ligne. Comme la commande vectorielle est connue pour sa sensibilité vis à vis des variations paramétriques, en particulier, la résistance rotorique, des résultats de simulation numériques sont présentés afin de valider le pouvoir d'approximation et de généralisation des RNA aux cas non appris (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Speed controller of field. Orientated control of an induction motor using an artificial neural network : *** [] / Barazane, L.%Sellami, Y.%Boukhalfa, S.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 81-89 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RESEAU DE NEURONES ARTIFICIELS%PARAMETRE DE VARIATION%MOTEURS D'INDUCTION%FIELD ORIENTED CONTROL Résumé : Cet article décrit l'analyse théorique des réseaux de neurones artificiels (RNA) avant de les introduire dans la commande vectorielle d'une machine asynchrone alimentée en courant. Un bref aperçu sur ce type de commande est présenté, et est suivi par la proposition d'un réseau de neurones susceptible de supplanter le régulateur de vitesse PI. Ce réseau de neurones est constitué de trois couches entraîné et utilisant l'algorithme de la retro-propagation avec momentum avant d'être mis en ligne. Comme la commande vectorielle est connue pour sa sensibilité vis à vis des variations paramétriques, en particulier, la résistance rotorique, des résultats de simulation numériques sont présentés afin de valider le pouvoir d'approximation et de généralisation des RNA aux cas non appris (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37528 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Using approximation in hardy spaces to identify a heat exchange coefficient : *** Auteurs : Chaabane, S.%Jaoua, M.%Leblond, J.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 127-134 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : COEFFICIENT DE RUBIN ALPHA%IDENTIFIABILITE%STABILITE%IDENTIFICATION Résumé : Nous étudions dans ce travail un problème inverse d'identification du coefficient de Robin alpha par des mesures aux bords. Nous présentons trois types de résultats : identifiabilité, stabilité et identification (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Using approximation in hardy spaces to identify a heat exchange coefficient : *** [] / Chaabane, S.%Jaoua, M.%Leblond, J.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 127-134 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : COEFFICIENT DE RUBIN ALPHA%IDENTIFIABILITE%STABILITE%IDENTIFICATION Résumé : Nous étudions dans ce travail un problème inverse d'identification du coefficient de Robin alpha par des mesures aux bords. Nous présentons trois types de résultats : identifiabilité, stabilité et identification (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37533 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Vers l'extension du modèle polyédrique aux transformations irrégulières : *** Auteurs : Slama, Yosr%Jemni, MohamedCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 317-324 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MODELE POLYEDRIQUE%PARALLELISATION AUTOMATIQUE%PARTIE PROGRAMME DESTINATION%TRANSFORMATION IRREGULIERE Résumé : Grâce à son formalisme mathématique, le modèle polyédrique a défini une nouvelle structure de la parallélisation automatique de nids de boucles. La parallélisation par ce modèle consiste à modéliser le nid source par un polytope, appliquer à celui-ci une transformation espace/temps appropriée, puis retransformer le polytope obtenu en un nid parallèle. Le formalisme sur lequel s'appuie ce modèle, à savoir des techniques de l'algèbre linéaire, le restreint à des transformations régulières. Dans le modèle polyédrique de base, seules les transformations affines sont traitables. Récemment, le modèle a été étendu afin de permettre le traitement des transformations affines par instruction et affines par morceaux ainsi que les transformations singulières. Dans cet article, nous proposons une autre extension du modèle polyédrique à une classe particulière de transformations irrégulières (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Vers l'extension du modèle polyédrique aux transformations irrégulières : *** [] / Slama, Yosr%Jemni, MohamedCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 317-324 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MODELE POLYEDRIQUE%PARALLELISATION AUTOMATIQUE%PARTIE PROGRAMME DESTINATION%TRANSFORMATION IRREGULIERE Résumé : Grâce à son formalisme mathématique, le modèle polyédrique a défini une nouvelle structure de la parallélisation automatique de nids de boucles. La parallélisation par ce modèle consiste à modéliser le nid source par un polytope, appliquer à celui-ci une transformation espace/temps appropriée, puis retransformer le polytope obtenu en un nid parallèle. Le formalisme sur lequel s'appuie ce modèle, à savoir des techniques de l'algèbre linéaire, le restreint à des transformations régulières. Dans le modèle polyédrique de base, seules les transformations affines sont traitables. Récemment, le modèle a été étendu afin de permettre le traitement des transformations affines par instruction et affines par morceaux ainsi que les transformations singulières. Dans cet article, nous proposons une autre extension du modèle polyédrique à une classe particulière de transformations irrégulières (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37551 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : WHO_IS : système d'identification de personnes par reconnaissance des visages humains : *** Auteurs : Laskri, Mohamed Tayeb%Chefrour, DjallelCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 383-390 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RECONNAISSANCE DES VISAGES HUMAINS%IDENTIFICATION DE PERSONNES%TRAITEMENT D'IMAGES%APPROCHE GEOMETRIQUE%VECTEUR CARACTERISTIQUE%METHODE DES K-PPV (K PLUS PROCHES VOISINS)%DISTANCE CITTY BLOCK BASES DE DONNEES Résumé : La reconnaissance des visages humains est un domaine difficile à cause de la multitude des paramètres, il faut prendre en compte (variation de posture, éclairage, style de coiffure, port de lunettes, de barbes, de moustaches, vieillesse, ...), il est très important de s'en intéresser vu les nombreux champs d'applications (vérification de personnes, télésurveillance, interfaces homme-machine...). Dans ce travail, nous présentons la mise en oeuvre de WHO-IS, un système d'identification de personne par reconnaissance des visages humains. Nous avons développé un modèle géométrique du visage basé sur un ensemble de points caractéristiques extraits manuellement à partir de l'image du visage. Chaque individu est représenté par un vecteur caractéristique, ce vecteur est utilisé dans la procédure d'identification qui consiste à calculer les K plus proches voisins de l'individu test dans le sens de la distance City Block. Le système WHO-IS a été testé sur un échantillon de 100 personnes. Un taux de reconnaissance correcte de 86 pour cent a été obtenu (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES WHO_IS : système d'identification de personnes par reconnaissance des visages humains : *** [] / Laskri, Mohamed Tayeb%Chefrour, DjallelCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 383-390 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RECONNAISSANCE DES VISAGES HUMAINS%IDENTIFICATION DE PERSONNES%TRAITEMENT D'IMAGES%APPROCHE GEOMETRIQUE%VECTEUR CARACTERISTIQUE%METHODE DES K-PPV (K PLUS PROCHES VOISINS)%DISTANCE CITTY BLOCK BASES DE DONNEES Résumé : La reconnaissance des visages humains est un domaine difficile à cause de la multitude des paramètres, il faut prendre en compte (variation de posture, éclairage, style de coiffure, port de lunettes, de barbes, de moustaches, vieillesse, ...), il est très important de s'en intéresser vu les nombreux champs d'applications (vérification de personnes, télésurveillance, interfaces homme-machine...). Dans ce travail, nous présentons la mise en oeuvre de WHO-IS, un système d'identification de personne par reconnaissance des visages humains. Nous avons développé un modèle géométrique du visage basé sur un ensemble de points caractéristiques extraits manuellement à partir de l'image du visage. Chaque individu est représenté par un vecteur caractéristique, ce vecteur est utilisé dans la procédure d'identification qui consiste à calculer les K plus proches voisins de l'individu test dans le sens de la distance City Block. Le système WHO-IS a été testé sur un échantillon de 100 personnes. Un taux de reconnaissance correcte de 86 pour cent a été obtenu (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37559 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Adaptable reasoning agent Type de document : texte imprimé Auteurs : Okba Kazar, ; Zaidi Sahnoun ; Louis Grécon ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 273-279 Format : 24 cm Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME MULTI-AGENTS AGENT INTELLIGENT CONNAISSANCES RAISONNEMENTS INTELLIGENCE ARTIFICIELLE Résumé : Il existe au moins deux raisons de considérer les architectures d'un agent : la première est d'expliquer et prévoir le comportement d'un agent. C'est-à-dire, décrire comment les décisions d'un agent sont générées à partir de son état interne et comment elles sont influencées par la perception d'un agent. La deuxième raison est celle de servir comme support de la conception d'un système multi-agents. Ceci consiste à fournir les outils et les méthodes pour la conception et l'inter-action des agents d'un système à développer. Une des directions importantes durant la conception d'un agent intelligent est celle d'une architecture en couches. Une conception en couches est l'un des concepts puissants dans la construction d'un système multi-agents. Elle permet une modélisation naturelle avec plusieurs niveaux d'abstraction de la représentation des connaissances et de la modélisation du raisonnement. Cependant, une critique récente de ces architectures est basée sur le fait qu'elles sont souvent motivées par l'intuition et qu'elles sont très complexes pour permettre une formalisation des différentes propriétés de l'agent. L'objectif de cet article est de proposer une architecture qui permet d'expliquer le comportement d'un agent et de supporter la conception d'un système (Résumé d'auteur) Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Adaptable reasoning agent [texte imprimé] / Okba Kazar, ; Zaidi Sahnoun ; Louis Grécon ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 273-279 ; 24 cm.
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME MULTI-AGENTS AGENT INTELLIGENT CONNAISSANCES RAISONNEMENTS INTELLIGENCE ARTIFICIELLE Résumé : Il existe au moins deux raisons de considérer les architectures d'un agent : la première est d'expliquer et prévoir le comportement d'un agent. C'est-à-dire, décrire comment les décisions d'un agent sont générées à partir de son état interne et comment elles sont influencées par la perception d'un agent. La deuxième raison est celle de servir comme support de la conception d'un système multi-agents. Ceci consiste à fournir les outils et les méthodes pour la conception et l'inter-action des agents d'un système à développer. Une des directions importantes durant la conception d'un agent intelligent est celle d'une architecture en couches. Une conception en couches est l'un des concepts puissants dans la construction d'un système multi-agents. Elle permet une modélisation naturelle avec plusieurs niveaux d'abstraction de la représentation des connaissances et de la modélisation du raisonnement. Cependant, une critique récente de ces architectures est basée sur le fait qu'elles sont souvent motivées par l'intuition et qu'elles sont très complexes pour permettre une formalisation des différentes propriétés de l'agent. L'objectif de cet article est de proposer une architecture qui permet d'expliquer le comportement d'un agent et de supporter la conception d'un système (Résumé d'auteur) Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : TYPE, ARCHITECTURE ET FONCTIONNEMENT DE L'ORDINATEUR Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37548 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt Affichage interactif, bidimensionnel et incrémental de formules mathématiques / Naciri, Hanane%Rideau, LaurenceCorenthin, Alex%Philippe, Bernard-
Titre : Affichage interactif, bidimensionnel et incrémental de formules mathématiques Type de document : texte imprimé Auteurs : Naciri, Hanane%Rideau, LaurenceCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 473-480 Format : 24 cm Note générale : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : INTERACTION HOMME MACHIME%OUTILS DE FORMATAGE%AFFICHAGE DE FORMULES MATHEMATIQUES Résumé : Figue est un moteur d'affichage interactif incrémental et bidimensionnel, développé à l'INRIA. Figue et son extension AIOLI (bibliothèque dédiée à la manipulation d'objets structurés) constituent une boite à outils pour le développement d'interfaces graphiques et d'éditeurs d'objets structurés. Dans cet article, nous décrivons comment utiliser et étendre figue pour afficher des formules mathématiques et pour interagir avec ces formules (Résumé d'auteur)- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Affichage interactif, bidimensionnel et incrémental de formules mathématiques [texte imprimé] / Naciri, Hanane%Rideau, LaurenceCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 473-480 ; 24 cm.
INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : INTERACTION HOMME MACHIME%OUTILS DE FORMATAGE%AFFICHAGE DE FORMULES MATHEMATIQUES Résumé : Figue est un moteur d'affichage interactif incrémental et bidimensionnel, développé à l'INRIA. Figue et son extension AIOLI (bibliothèque dédiée à la manipulation d'objets structurés) constituent une boite à outils pour le développement d'interfaces graphiques et d'éditeurs d'objets structurés. Dans cet article, nous décrivons comment utiliser et étendre figue pour afficher des formules mathématiques et pour interagir avec ces formules (Résumé d'auteur)- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37569 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Un algorithme de synthèse automatique de testeurs répartis de protocoles Type de document : texte imprimé Auteurs : Viho, CésarCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 401-408 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROCEDURE DE COORDINATION%TESTEURS REPARTIS%TESTE DE CONFORMITE Résumé : Ce papier présente un algorithme qui, à partir d'un test centralisé, génère automatiquement un test réparti sous la forme d'un ensemble de testeurs parallèles. Il s'agit de s'assurer qu'une implémentation donnée d'un système se comporte correctement conformément à sa spécification- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Un algorithme de synthèse automatique de testeurs répartis de protocoles [texte imprimé] / Viho, CésarCorenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 401-408 ; 24 cm.
METHODES DE PROGRAMMATION ET ALGORITHMIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROCEDURE DE COORDINATION%TESTEURS REPARTIS%TESTE DE CONFORMITE Résumé : Ce papier présente un algorithme qui, à partir d'un test centralisé, génère automatiquement un test réparti sous la forme d'un ensemble de testeurs parallèles. Il s'agit de s'assurer qu'une implémentation donnée d'un système se comporte correctement conformément à sa spécification- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37561 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Analyse lexicale automatique du malgache Type de document : texte imprimé Auteurs : B. Daille, ; J.F. Ranaivoson ; Alex Corenthin ; Bernard Philippe, Auteur Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 229-235 Format : 24 cm Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : LANGUE MALGACHE%ANALYSEUR LEXICAL VARIATION COMBINATOIRE EVALUATION DES PERFORMANCES Résumé : Cet article présente un analyseur lexical à base de règles développés pour la langue malgache. La langue malgache subit des phénomènes d'agglutination et de variation combinatoire qui rendent complexes l'identification des unités lexicales. Nous abordons successivement les descriptions linguistiques de ces phénomènes, les règles qui nous permettent de les traiter et enfin une évaluation des performances de notre analyseur (Résumé d'auteur) Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Analyse lexicale automatique du malgache [texte imprimé] / B. Daille, ; J.F. Ranaivoson ; Alex Corenthin ; Bernard Philippe, Auteur . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 229-235 ; 24 cm.
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : LANGUE MALGACHE%ANALYSEUR LEXICAL VARIATION COMBINATOIRE EVALUATION DES PERFORMANCES Résumé : Cet article présente un analyseur lexical à base de règles développés pour la langue malgache. La langue malgache subit des phénomènes d'agglutination et de variation combinatoire qui rendent complexes l'identification des unités lexicales. Nous abordons successivement les descriptions linguistiques de ces phénomènes, les règles qui nous permettent de les traiter et enfin une évaluation des performances de notre analyseur (Résumé d'auteur) Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37543 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Application de la transformée de hough dans l'appariement des images de scènes Type de document : texte imprimé Auteurs : Djekoune, O.%Benkhelif, M.%Zenati, N.Corenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 343-350 Format : 24 cm Note générale : RESEAUX ET TELEMATIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : STEREOSCOPIE PASSIVE%MISE EN CORRESPONDANCE%VISION ROBOTIQUE%TRANSFORMEE DE HOUGH%SEGMENTS DE DROITES%COEFFICIENT DE SIMILITUDE Résumé : Dans cet article, nous présentons une nouvelle méthode de résolution du problème de la mise en correspondance d'images stéréoscopiques. Chaque image est décrite par un graphe d'adjacence de segments de contours détectés par la transformée de Hough. L'appariement se fait en calculant un coefficient de similitude pour chaque segment de droite d'un graphe et ses correspondants candidats dans l'autre graphe d'adjacence. L'homologue est retenu pour une valeur maximum de ce coefficient. On utilise le graphe d'adjacence pour appliquer un critère de compatibilité pour dégager les appariements corrects. Notre méthode a été testé sur plusieurs paires d'images stéréoscopiques de scènes d'intérieur et d'extérieur et se révèle être robuste et efficace (Résumé d'auteur)- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE Application de la transformée de hough dans l'appariement des images de scènes [texte imprimé] / Djekoune, O.%Benkhelif, M.%Zenati, N.Corenthin, Alex%Philippe, Bernard-, . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 343-350 ; 24 cm.
RESEAUX ET TELEMATIQUE
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : STEREOSCOPIE PASSIVE%MISE EN CORRESPONDANCE%VISION ROBOTIQUE%TRANSFORMEE DE HOUGH%SEGMENTS DE DROITES%COEFFICIENT DE SIMILITUDE Résumé : Dans cet article, nous présentons une nouvelle méthode de résolution du problème de la mise en correspondance d'images stéréoscopiques. Chaque image est décrite par un graphe d'adjacence de segments de contours détectés par la transformée de Hough. L'appariement se fait en calculant un coefficient de similitude pour chaque segment de droite d'un graphe et ses correspondants candidats dans l'autre graphe d'adjacence. L'homologue est retenu pour une valeur maximum de ce coefficient. On utilise le graphe d'adjacence pour appliquer un critère de compatibilité pour dégager les appariements corrects. Notre méthode a été testé sur plusieurs paires d'images stéréoscopiques de scènes d'intérieur et d'extérieur et se révèle être robuste et efficace (Résumé d'auteur)- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : RESEAUX ET TELEMATIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37554 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Bases de données parallèles et distribuées : un état de l'art Type de document : texte imprimé Auteurs : Yahya Slimani ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 19-20 Format : 24 cm Langues : Français (fre) Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES DE GESTION DE BASES DE DONNEES DISTRIBUES ET PARALLELES BASES DE DONNEES APPLICATIONS DE L'INFORMATIQUE Résumé : Ayant pour objectif de faire le point sur les systèmes de gestions des bases de données (SGBD), l'exposé met en évidence les problèmes soulevés par leur mise en oeuvre, ainsi que les solutions utilisées pour les résoudre. Il termine par la présentation de quelques problèmes ouverts. Numéro du document : 04B Niveau Bibliographique : 5 Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Bases de données parallèles et distribuées : un état de l'art [texte imprimé] / Yahya Slimani ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 19-20 ; 24 cm.
Langues : Français (fre)
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES DE GESTION DE BASES DE DONNEES DISTRIBUES ET PARALLELES BASES DE DONNEES APPLICATIONS DE L'INFORMATIQUE Résumé : Ayant pour objectif de faire le point sur les systèmes de gestions des bases de données (SGBD), l'exposé met en évidence les problèmes soulevés par leur mise en oeuvre, ainsi que les solutions utilisées pour les résoudre. Il termine par la présentation de quelques problèmes ouverts. Numéro du document : 04B Niveau Bibliographique : 5 Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37517 A 8544%A 8545 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Classification par division/fusion pour la détection des retinopathies vasculaires sur les images d'angiographie retinienne en fluorescence Type de document : texte imprimé Auteurs : MK Assagba, ; P Bunel Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 367-374 Format : 24 cm Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RETINOPATHIES VASCULAIRES ANGIOGRAPHIE RETINIENNE CORRESPONDANCE DIVISION FUSION CLASSIFICATION Résumé : Dans cet article, nous proposons une nouvelle approche d'analyse de forme pour la détection des rétinopathies vasculaires. La méthode procède à la classification des vaisseaux et quantifie la modification de leur tortuosité sur les images d'angiographie rétinienne en fluorescence. La classification est basée sur une technique de division/fusion. Deux classes sont définies : artère/veine et artériole/véinule. Dans une séquence d'images, les vaisseaux classifiés sont mis en correspondance. La quantification consiste à comparer la tortuosité des vaisseaux classifiés correspondants. La tortuosité est définie par la valeur de l'excentricité déterminée vers les moments invariants 2D d'ordre 2. La méthode est appliquée aux images d'angiographie rétinienne en fluorescence de patients diabétiques et drepanocytaires (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Classification par division/fusion pour la détection des retinopathies vasculaires sur les images d'angiographie retinienne en fluorescence [texte imprimé] / MK Assagba, ; P Bunel . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 367-374 ; 24 cm.
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RETINOPATHIES VASCULAIRES ANGIOGRAPHIE RETINIENNE CORRESPONDANCE DIVISION FUSION CLASSIFICATION Résumé : Dans cet article, nous proposons une nouvelle approche d'analyse de forme pour la détection des rétinopathies vasculaires. La méthode procède à la classification des vaisseaux et quantifie la modification de leur tortuosité sur les images d'angiographie rétinienne en fluorescence. La classification est basée sur une technique de division/fusion. Deux classes sont définies : artère/veine et artériole/véinule. Dans une séquence d'images, les vaisseaux classifiés sont mis en correspondance. La quantification consiste à comparer la tortuosité des vaisseaux classifiés correspondants. La tortuosité est définie par la valeur de l'excentricité déterminée vers les moments invariants 2D d'ordre 2. La méthode est appliquée aux images d'angiographie rétinienne en fluorescence de patients diabétiques et drepanocytaires (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : INFORMATIQUE INDUSTRIELLE ET APPLICATIONS SCIENTIFIQUES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37558 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Development of an aquaculture information system for shrimp farming in warm water environment Type de document : texte imprimé Auteurs : L. Terfai ; W. Schrimpf ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 117-124 Format : 24 cm Langues : Français (fre) Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME D'INFORMATION GEOGRAPHIQUE (SIG) COTES AQUACULTURE GESTION DES PECHES CREVETTE Résumé : Pour un développement durable dans le secteur des ressources marines, il est important de considérer les conflits sociaux potentiels, les problèmes écologiques de l'aquaculture et de faire des efforts afin de les minimiser. Dans ce contexte, le but de cette recherche est de développer un outil permettant aux décideurs d'évaluer les sites existants d'aquaculture de crevettes en prenant en considération autant que possible les problèmes cités précédemment. Ces décideurs auront la possibilité de stimuler des scénarios pour évaluer l'impact de changements éventuels, d'utiliser les techniques de simuler des scénarios pour évaluer l'impact de changements éventuels, d'utiliser les techniques multi-critères pour trouver un compromis entre les conflits mis en évidence par ces différents scénarios et de sélectionner les sites convenables pour aquaculture. La présente publication donne un aperçu du système proposé pour la gestion de l'aquaculture (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Development of an aquaculture information system for shrimp farming in warm water environment [texte imprimé] / L. Terfai ; W. Schrimpf ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 117-124 ; 24 cm.
Langues : Français (fre)
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME D'INFORMATION GEOGRAPHIQUE (SIG) COTES AQUACULTURE GESTION DES PECHES CREVETTE Résumé : Pour un développement durable dans le secteur des ressources marines, il est important de considérer les conflits sociaux potentiels, les problèmes écologiques de l'aquaculture et de faire des efforts afin de les minimiser. Dans ce contexte, le but de cette recherche est de développer un outil permettant aux décideurs d'évaluer les sites existants d'aquaculture de crevettes en prenant en considération autant que possible les problèmes cités précédemment. Ces décideurs auront la possibilité de stimuler des scénarios pour évaluer l'impact de changements éventuels, d'utiliser les techniques de simuler des scénarios pour évaluer l'impact de changements éventuels, d'utiliser les techniques multi-critères pour trouver un compromis entre les conflits mis en évidence par ces différents scénarios et de sélectionner les sites convenables pour aquaculture. La présente publication donne un aperçu du système proposé pour la gestion de l'aquaculture (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37532 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : D-Discover, un outil de découverte de connaissances à partir de bases de données utilisant les graphes latticiels Type de document : texte imprimé Auteurs : L. Admane ; A.R. Ghomari ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 47-55 Format : 24 cm Langues : Français (fre) Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : DECOUVERTE DE CONNAISSANCES A PARTIR DE BASE DE DONNEES FOUILLE DE DONNEES GRAPHE LATTICIEL REGLE DE PRODUCTION Résumé : L'objet de cet article est de présenter un outil de découverte de connaissances à partir de bases de données qui présente deux particularités. D'une part, il couvre tout le cycle du K.D.D. depuis l'accès aux données à partir de leur format source jusqu'à l'expression des connaissances découvertes sous forme de règles de production. Donc directement exploitables par un système à base de connaissances. Il utilise pour cela une base de pilotes pour l'accès aux sources de données. D'autre part, notre outil utilise, dans l'étape de Data Mining (DM) une méthode de fouille de données qui fournit un graphe de décision, ce qui la distingue des autres méthodes de sa catégorie qui, elles, fournissent des arbres de décision. Ceci lui confère une capacité à minimiser le problème, connu, d'émiettement de l'échantillon de données (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES D-Discover, un outil de découverte de connaissances à partir de bases de données utilisant les graphes latticiels [texte imprimé] / L. Admane ; A.R. Ghomari ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 47-55 ; 24 cm.
Langues : Français (fre)
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : DECOUVERTE DE CONNAISSANCES A PARTIR DE BASE DE DONNEES FOUILLE DE DONNEES GRAPHE LATTICIEL REGLE DE PRODUCTION Résumé : L'objet de cet article est de présenter un outil de découverte de connaissances à partir de bases de données qui présente deux particularités. D'une part, il couvre tout le cycle du K.D.D. depuis l'accès aux données à partir de leur format source jusqu'à l'expression des connaissances découvertes sous forme de règles de production. Donc directement exploitables par un système à base de connaissances. Il utilise pour cela une base de pilotes pour l'accès aux sources de données. D'autre part, notre outil utilise, dans l'étape de Data Mining (DM) une méthode de fouille de données qui fournit un graphe de décision, ce qui la distingue des autres méthodes de sa catégorie qui, elles, fournissent des arbres de décision. Ceci lui confère une capacité à minimiser le problème, connu, d'émiettement de l'échantillon de données (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37524 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Modélisation de dataweb : une approche basée sur l'intégration de la sémantique des données et XML Type de document : texte imprimé Auteurs : Lo Moussa ; Amrane Hocine ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 31 Format : 24 cm Langues : Français (fre) Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : BASE DE CONCEPTS DATAWEB ENVIRONNEMENT META DONNEES STRUCTURE SEMATIQUE WEB XML (EXTENSIBLE MARKUP LANGUAGE) DOCUMENTS RECHERCHE DE L'INFORMATION Résumé : Nous proposons un modèle dataweb basé sur XML et l'intégration des données par une base de concepts. Celle-ci comprend un thésaurus capitalisant la connaissance du domaine et une base de méta-données comprenant des informations sur le contenu, la structure s'articule autour de trois modèles structurel, médiatique et de présentation. Le processus d'interrogation associé au data web est basé sur l'exploitation des éléments de la base de concepts et permet ainsi une recherche interactive de documents (ou extraits de documents) pertinents (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Modélisation de dataweb : une approche basée sur l'intégration de la sémantique des données et XML [texte imprimé] / Lo Moussa ; Amrane Hocine ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 31 ; 24 cm.
Langues : Français (fre)
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : BASE DE CONCEPTS DATAWEB ENVIRONNEMENT META DONNEES STRUCTURE SEMATIQUE WEB XML (EXTENSIBLE MARKUP LANGUAGE) DOCUMENTS RECHERCHE DE L'INFORMATION Résumé : Nous proposons un modèle dataweb basé sur XML et l'intégration des données par une base de concepts. Celle-ci comprend un thésaurus capitalisant la connaissance du domaine et une base de méta-données comprenant des informations sur le contenu, la structure s'articule autour de trois modèles structurel, médiatique et de présentation. Le processus d'interrogation associé au data web est basé sur l'exploitation des éléments de la base de concepts et permet ainsi une recherche interactive de documents (ou extraits de documents) pertinents (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37522 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Processus décisionnels à référence spatiale. Apport des SIG et des procédures d'analyse multicritères dans les problématiques de gestion du territoire Type de document : texte imprimé Auteurs : Mohamed Abdelhak Trache ; Hichem Daoud Brikcli ; Rachid Ouiguini ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 109-116 Format : 24 cm Langues : Français (fre) Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME D'INFORMATION GEOGRAPHIQUE (SIG) AIDE A LA DECISION A REFERENCE SPATIALE GESTION DU TERRITOIRE Résumé : Aujourd'hui, les Systèmes d'Information Géographiques constituent de puissants outils de données spatiales. Mais un des aspects qui assurera leur succès dans les processus décisionnels en gestion du territoire est la disponibilité de mécanismes permettant d'intégrer les préférences de décideur et d'opérer des choix dans un contexte de critères conflictuels. L'analyse multicritère est une des réponses à la recherche de compromis dans des situations de choix complexes. La combinaison des possibilités offertes par ces outils va dans le sens d'un système d'aide à la décision à référence spatiale. Pour cela, nous optons pour l'intégration des SIG et des méthodes d'AMC, en particulier les méthodes de surclassement de la famille Electre. Dans ce papier, nous montrons les limites des SIG actuels et la nécessité de cette intégration. A cette fin, nous présentons les solutions conceptuelles et méthodologiques. Un prototype basé sur le SIG MapInfo et les méthodes Electre est présenté et illustré à travers une application réaliste. Les perspectives d'adjonction de fonctionnalités prenant en compte les problèmes de flou inhérent aux données spatiales sont évoquées (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Processus décisionnels à référence spatiale. Apport des SIG et des procédures d'analyse multicritères dans les problématiques de gestion du territoire [texte imprimé] / Mohamed Abdelhak Trache ; Hichem Daoud Brikcli ; Rachid Ouiguini ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 109-116 ; 24 cm.
Langues : Français (fre)
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEME D'INFORMATION GEOGRAPHIQUE (SIG) AIDE A LA DECISION A REFERENCE SPATIALE GESTION DU TERRITOIRE Résumé : Aujourd'hui, les Systèmes d'Information Géographiques constituent de puissants outils de données spatiales. Mais un des aspects qui assurera leur succès dans les processus décisionnels en gestion du territoire est la disponibilité de mécanismes permettant d'intégrer les préférences de décideur et d'opérer des choix dans un contexte de critères conflictuels. L'analyse multicritère est une des réponses à la recherche de compromis dans des situations de choix complexes. La combinaison des possibilités offertes par ces outils va dans le sens d'un système d'aide à la décision à référence spatiale. Pour cela, nous optons pour l'intégration des SIG et des méthodes d'AMC, en particulier les méthodes de surclassement de la famille Electre. Dans ce papier, nous montrons les limites des SIG actuels et la nécessité de cette intégration. A cette fin, nous présentons les solutions conceptuelles et méthodologiques. Un prototype basé sur le SIG MapInfo et les méthodes Electre est présenté et illustré à travers une application réaliste. Les perspectives d'adjonction de fonctionnalités prenant en compte les problèmes de flou inhérent aux données spatiales sont évoquées (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37531 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Reconstruction d'une distribution de contraintes au moyen de mesures de surface Type de document : texte imprimé Auteurs : Ben Abdallah Jalel, ; Marc Bonnet ; Alex Corenthin Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 203-210 Format : 24 cm Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MASSIF ELASTIQUE POINCON CONTACT AXYSYMETRIQUE CONTRAINTES DE CONTACT ESSAI D'IDENTATION Résumé : Lors d'un contact axysymétrique entre un poinçon et un massif élastique semi-infini, on propose une méthode de reconstruction de la distribution de containtes de contact au moyen de mesures de déplacements et de déformations de la surface libre du massif. La méthode a été validée uniquement pour un contact de Hertz avec frottement de Coulomb y compris lorsque on ne dispose que d'une estimation par excès du rayon de la zone de contact (essai d'indentation) (Résumé d'auteur) Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Reconstruction d'une distribution de contraintes au moyen de mesures de surface [texte imprimé] / Ben Abdallah Jalel, ; Marc Bonnet ; Alex Corenthin . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 203-210 ; 24 cm.
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : MASSIF ELASTIQUE POINCON CONTACT AXYSYMETRIQUE CONTRAINTES DE CONTACT ESSAI D'IDENTATION Résumé : Lors d'un contact axysymétrique entre un poinçon et un massif élastique semi-infini, on propose une méthode de reconstruction de la distribution de containtes de contact au moyen de mesures de déplacements et de déformations de la surface libre du massif. La méthode a été validée uniquement pour un contact de Hertz avec frottement de Coulomb y compris lorsque on ne dispose que d'une estimation par excès du rayon de la zone de contact (essai d'indentation) (Résumé d'auteur) Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37541 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Retro-conception des bases de données relationnelles dirigée par l'analyse de formulaires Type de document : texte imprimé Auteurs : Mimoun Malki ; Andrée Flory ; Madjid Ayache ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 39-46 Format : 24 cm Langues : Français (fre) Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RETRO-CONCEPTION DES BASES DE DONNEES RELATIONNEL FORMULAIRES INTEGRATION PREUVE Résumé : Ce papier présente une méthodologie de retro-conception des bases de données relationnelles. Ce processus qui nécessite l'interaction avec le concepteur est basé sur l'analyse de la structure et les instances des formulaires manipulant les bases de données. Notre approche est abordée à travers cinq phases : l'acquisition des formulaires, l'extraction de leur sémantique des données, la construction de leurs schémas relationnels partiels, la transformation de ces schémas en schémas objets partiels, qui seront fusionnés en un schéma objet global et enfin la validation de ce résultat vis à vis de la base de données opérationnelle (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Retro-conception des bases de données relationnelles dirigée par l'analyse de formulaires [texte imprimé] / Mimoun Malki ; Andrée Flory ; Madjid Ayache ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 39-46 ; 24 cm.
Langues : Français (fre)
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : RETRO-CONCEPTION DES BASES DE DONNEES RELATIONNEL FORMULAIRES INTEGRATION PREUVE Résumé : Ce papier présente une méthodologie de retro-conception des bases de données relationnelles. Ce processus qui nécessite l'interaction avec le concepteur est basé sur l'analyse de la structure et les instances des formulaires manipulant les bases de données. Notre approche est abordée à travers cinq phases : l'acquisition des formulaires, l'extraction de leur sémantique des données, la construction de leurs schémas relationnels partiels, la transformation de ces schémas en schémas objets partiels, qui seront fusionnés en un schéma objet global et enfin la validation de ce résultat vis à vis de la base de données opérationnelle (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37523 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
Titre : Système d'information géographique et observatoire urbain. Le cas des infrastructures de la ville d'Antananarivo Type de document : texte imprimé Auteurs : Malalatiana Ravelonary Rajaofara ; Pascal Ramanantsizehena ; Alex Corenthin ; Bernard Philippe Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 101-108 Format : 24 cm Langues : Français (fre) Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : FOND CARTOGRAPHIQUE SYSTEME D'INFORMATION GEOGRAPHIQUE (SIG) RELEVES INFORMATION CLASSIFICATIONS PHOTOGRAPHIEAERIENNE PLANIFICATION DEVELOPPEMENT URBAIN Résumé : Cette étude consiste en la mise en place d'une base de données pour la gestion des infrastructures au sein du Bureau de Développement Urbain de la Commune Urbaine d'Antananarivo et présente toutes les étapes de sa réalisation. Elle démontre également que la base de données est un outil de décision. Les exemples seront pris à travers les infrastructures routières et sur des zones pilotes. Cette étude ne pourra pas assurer le traitement de toutes les données urbaines (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Système d'information géographique et observatoire urbain. Le cas des infrastructures de la ville d'Antananarivo [texte imprimé] / Malalatiana Ravelonary Rajaofara ; Pascal Ramanantsizehena ; Alex Corenthin ; Bernard Philippe . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 101-108 ; 24 cm.
Langues : Français (fre)
Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : FOND CARTOGRAPHIQUE SYSTEME D'INFORMATION GEOGRAPHIQUE (SIG) RELEVES INFORMATION CLASSIFICATIONS PHOTOGRAPHIEAERIENNE PLANIFICATION DEVELOPPEMENT URBAIN Résumé : Cette étude consiste en la mise en place d'une base de données pour la gestion des infrastructures au sein du Bureau de Développement Urbain de la Commune Urbaine d'Antananarivo et présente toutes les étapes de sa réalisation. Elle démontre également que la base de données est un outil de décision. Les exemples seront pris à travers les infrastructures routières et sur des zones pilotes. Cette étude ne pourra pas assurer le traitement de toutes les données urbaines (Résumé d'auteur). Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : BANQUE ET BASE DE DONNEES Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine 37530 A 8544%A 8545%INF 207%INF 208 Livre CIDST Bibliotheque DDI Exclu du prêt
