Archives pour la catégorie “Master ITI”

Déploiement configurable et automatisé de systèmes multi-agents
Belkhatir Noureddine et Demazeau Yves

Approche multi-agents au déploiement de systèmes logiciels
Demazeau Yves et Belkhatir Noureddine

Fusion d’informations issues d’un gant numérique et d’une caméra pour la reconnaissance de gestes
Didier COQUIN, Eric BENOIT

Implantation d’une architecture multi-agents sur système distribué de capteur/actionneurs intelligents pour contrôler leur comportement basé sur une logique dynamique.
R. DAPOIGNY

Fusion de méréologies structurelles à partir de structures en treillis
R. DAPOIGNY

Définition d’un modèle d’interface et d’interaction de composants logiciels en vue d’une mise en oeuvre de scénarios pédagogiques.
THIBAULT CARRON

Scénarios pédagogiques pour la classe
Christine FERRARIS

Utilisation de règles graduelles pour la fusion d’informations
Sylvie Galichet

Segmentation de structures sous-corticales à l’aide de la fusion d’informations dans un cadre multi-agents
Michel Dojat

Analyse d’images volumiques : caractérisation de l’homogénéité par fusion d’indicateurs complémentaires ou redondants avec prise en compte d’une expertise incomplète.
Patrick LAMBERT

Reconfiguration Dynamique de Systèmes de Workflow, Etude de Mécanismes de Gestion de Flux Informationnels
Régis DINDELEUX, David MANSET, LISTIC Génie Logiciel et Méta-Modélisation, Thésame.

Définition d’un style architectural pour la description de systèmes logiciels à base de composants de type COTS, selon une approche  » services Web »
Hervé Verjus, LISTIC, Equipe LTI.

Annotations pour un langage de description d’architectures logicielles permettant leurs animations
Sorana CÎMPAN, Hervé Verjus, LISTIC, Equipe LTI.

Adaptation dynamique pour modèles à composants logiciels
Noureddine Belkhatir, LSR

Génération de tests de conformité pour des programmes Java
Yves LEDRU, Lydie du BOUSQUET, Laboratoire Logiciel Systèmes Réseaux – Equipe VASCO.

Documentation graphique des projets B
Yves LEDRU, Lydie du BOUSQUET, Laboratoire Logiciel Systèmes Réseaux – Equipe VASCO en collaboration avec Keesda.

Gestion des Connaissances
Christophe Roche, LISTIC – Equipe Condillac – Ingénierie de la Connaissance (Bourget du Lac).

Cartographies Sémantiques
Christophe Roche, LISTIC – Equipe Condillac – Ingénierie de la Connaissance (Bourget du Lac).

Replacement dynamique de services dans un contexte d’intelligence distribuée
Stéphane Perrin, LISTIC – LTI.

Un modèle générique de système multi-agents récursif
Michel OCCELLO, LEIBNIZ – IMAG – CNRS équipe CoSy (Valence).

Observation de Systèmes Multi-agents
Michel OCCELLO, LEIBNIZ – IMAG – CNRS équipe CoSy (Valence).

Langage orienté agent centré sur la modélisation des interactions
Jean-Luc Koning, Laboratoire LCIS, équipe CoSy (Valence).

Exploration des agents et des systèmes multi-agents en vue de la simulation des processus de pilotage de systèmes industriels
Georges HABCHI, Ilham ALLOUI, LLP(LISTIC).

Pollution atmosphérique – prévisions de pics d’ozone par une méthode de logique floue
David PEARSON, EURISE (Groupe de Recherche de Roanne).

Réseaux sociaux – du local au global
David PEARSON, EURISE (Groupe de Recherche de Roanne).

Optimisation de réseaux de neurones et d’arbres de décision par des SVM
Marc Bernard, Marc Sebban, EURISE (Groupe de Recherche de Roanne), Université Jean Monnet de Saint-Etienne.

Veille Technologique par des techniques de fouille de données
Christine Largeron (co-encadrement : Francois Jacquenet), EURISE, Université Jean Monnet de Saint-Etienne.

Inférence régulière par fusion et par fission
Colin de la Higuera, EURISE, Université Jean Monnet de Saint-Etienne.

Sur la fusion d’états en apprentissage exact : approches statistiques et géométriques
Jean-Christophe Janodet, Marc Sebban, EURISE, Université Jean Monnet de Saint-Etienne.

Etude des modèles d’entreprise pour la définition d’un style architectural  » Génie Industriel  » adapté à l’EAI
Christian BRAESCH – MC, LISTIC, Equipe LTI.

Ordonnancement temps réel distribué et réactivité
Frédéric Grimaud , Philippe Beaune, ENSM-SE / Centre SIMMO / département {Méthodes Scientifiques pour la Gestion Industrielle , SMA}.

Adoption et rejet de normes par des agents autonomes dans des institutions électroniques
Juliette Rouchier, Olivier Boissier, GREQAM-CNRS, centre SIMMO, ENS des Mines.

Infrastructure Multi-Agents pour une Intelligence Pro-Active dans un monde d’Objets Communicants
Fano Ramparany, Olivier Boissier, Cosmin Carabelea, France Telecom R&D, centre SIMMO, ENS des Mines.

Suivi et exécution de contrats multiples au sein d’institutions électroniques
Djamel Khadraoui, Olivier Boissier, CRPHT – CITI Luxembourg, centre SIMMO, ENS des Mines.

Intégration dynamique d’agents dans des systèmes à connectivité intermittente
Laurent Vercouter, Département SMA, centre SIMMO, ENS des Mines.

Adéquation du modèle probabiliste pour la recherche d’information dans des documents XML
Michel BEIGBEDER, École Nationale Supérieure des Mines de St Etienne, Centre SIMMO, Laboratoire RIM, Équipe COCRI.

Étude des aspects de la multistructuralité de documents XML
Philippe JAILLON, École Nationale Supérieure des Mines de St Etienne, Centre SIMMO, Laboratoire RIM, Équipe VSI.

Étude des structures de données les mieux adaptées pour la recherche d’information dans des corpus structurés
Jean-Jacques GIRARDOT, École Nationale Supérieure des Mines de St Etienne, Centre SIMMO, Laboratoire RIM, Equipe 3I.

Aspects relatifs à la conscience de l’activité de groupe dans un modèle organisationnel
Thibault CARRON, Equipe Systèmes Communicants (SYSCOM).

Problématique de le recherche d’information entre des espaces de travail coopératifs éducatifs
Christian MARTEL, Equipe Systèmes Communicants (SYSCOM).

Implantation d’une ontologie de services sur instruments intelligents
R. DAPOIGNY, LISTIC équipe LTI.

Problématique de l’évaluation en ligne des activités d’entraînement
Christian MARTEL, Equipe Systèmes Communicants (SYSCOM).

Modélisation de l’agent de médiation d’une activité conjointe médiatisée : application au « cartable électronique »
Laurence Vignollet, Equipe Systèmes Communicants (SYSCOM).

Présentation adaptative de documents avec analyse du modèle usager
Jean-Charles MARTY, Equipe Systèmes Communicants (SYSCOM).

Définition de composants élémentaires pour la construction de sc&eacute
;narios
Christine Ferraris, Equipe Systèmes Communicants (SYSCOM).

Un modèle conceptuel de la conscience de l’activité du groupe
Christophe COURTIN, Equipe Systèmes Communicants (SYSCOM).

Typologie des scénarios et formalismes de représentation
Christine Ferraris, Equipe Systèmes Communicants (SYSCOM).

Élaboration et implantation de passerelles entre les systèmes de workflow et les enceintes interactionnelles
Stéphane TALBOT, Equipe Systèmes Communicants (SYSCOM).

Définition d’une notation visuelle fondée sur UML pour les langages de description d’architectures logicielles
Ilham ALLOUI, Flavio OQUENDO, LISTIC/LLP – Groupe Génie Logiciel.

Définition d’un formalisme de spécification de services télécoms adapté à la recherche des interactions de services
Rémy Cave, Farid Ouabdesselam, Jean-Luc Richier, LSR – Équipe VASCO.

Une plateforme d’assistance à l’élaboration, la validation et l’analyse de cartes d’identité moléculaires des tumeurs
Catherine GARBAY, Françoise Giroud, Equipe Systèmes intégrés cognitifs, Equipe de Microscopie Qauntitative, lab. TIMC-IMAG, Grenoble.

Composition de services dans le contexte de composants/conteneurs logiciels : étude approfondie sous l’angle des propriétés
Hervé VERJUS, Ilham ALLOUI, Ecole Supérieure d’Ingénieurs d’Annecy (ESIA) LISTIC, Equipe LTI.

Modèle et outils de conception appliqués à la téléphonie
Johan Tailland (ASCOM HPF SA, Bonneville)

Induction de programmes logiques par Inférence Grammaticale
Marc Bernard (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Inférence grammaticale probabiliste par divergence minimale
Pierre Dupont (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Expérimentation de techniques d’inférence grammaticale sur les données biologiques
Colin de la Higuera (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Data Mining Incrémental
François Jacquenet (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Text Mining pour la Veille Technologique
François Jacquenet (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Simulation multi-agent de migrations intra-urbaines
Humbert Fiorino, Yves Demazeau (IMAG/LEIBNIZ/MAGMA, Grenoble)

Coopération multi-agent de robots
Humbert Fiorino, Yves Demazeau (IMAG/LEIBNIZ/MAGMA, Grenoble)

Conception d’agents coopératifs pour des applications web
Humbert Fiorino (IMAG/LEIBNIZ/MAGMA, Grenoble)

Jeu d’échecs et planification multi-agent
Humbert Fiorino (IMAG/LEIBNIZ/MAGMA, Grenoble)

Agent personnel intelligent
Marc Ayel, Laurent Siklossy (Laboratoire d’Intelligence Artificielle)

Environnement de génie logiciel pour le commerce électronique « business to business » : modélisation et mise en oeuvre d’alliances inter-entreprises sur le Web
Ilham Alloui, Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Modélisation de l’organisation de l’entreprise à partir des courriers électroniques internes et externes
Daniel Beauchêne (Laboratoire LLP/CESALP – Equipe LGIS)

Modélisation de processus et système multi-agents
Christian Braesch (Laboratoire LLP/CESALP)

Styles architecturaux : modélisation, monitoring et application à Java 2 Platform, Enterprise Edition (J2EE)
Sorana Cîmpan, Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Acquisition des Connaissances : application aux ontologies
Françoise Deloule, Christophe Roche (Laboratoire LLP/CESALP – Equipe LGIS – Bourget du Lac)

Définition d’architectures logicielles : une démarche formelle basée sur les patterns
Yves Dumond, Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Analyse et formalisation du processus de simulation des systèmes manufacturiers en vue de son automatisation
Georges Habchi (Laboratoire LLP/CESALP – Equipe Maîtrise et optimisation des processus industriels)

Analyse, modélisation et réalisation orientées objet d’une maquette pour la simulation des systèmes manufacturiers
Georges Habchi (Laboratoire LLP/CESALP – Equipe Maîtrise et optimisation des processus industriels)

Processus de raffinement pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Internet
Prof. Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Outils de vérification pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Java Beans
Prof. Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel), Radu Mateescu (INRIA Rhône-Alpes, Grenoble)

Formalisation d’un espace collaboratif dans une démarche d’ingénierie concourrante
Philippe Pernelle, Alain Courtois (Laboratoire LLP/CESALP),

« Text Mining » : Représentation sémantique de textes techniques
Christophe Roche (Laboratoire LLP/CESALP – Equipe LGIS – Bourget du Lac)

Modèle de logiciel et de configuration pour le déploiement de logiciel via l’internet
Noureddine Belkhatir, Pierre-Yves Cunin (Laboratoire IMAG-LSR GRENOBLE – Equipe Génie Logiciel Adèle)

Ingénierie coopérative Distribuée en Génie-Logiciel
Philippe Morat, Jacky Estublier (Laboratoire IMAG-LSR GRENOBLE – Equipe Génie Logiciel Adèle)

LBD – Ingénierie des Logiciels et Bases de Données
Jacky Estublier (Laboratoire IMAG-LSR GRENOBLE – Equipe Génie Logiciel Adèle)

Testabilité
Lydie du Bousquet, Farid Ouabdesselam (Laboratoire IMAG-LSR GRENOBLE – Equipe Production Fiable de Logiciels)

Outil d’assistance à la construction correcte de systèmes dans la méthode B
Marie-Laure Potet (Laboratoire IMAG-LSR GRENOBLE – Equipe SCOP)

Aide à la négociation et gestion territoriale
Philippe Beaune, Laurent Vercouter (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Modèles de contrat pour des organisations virtuelles
Olivier Boissier, Thibault Carron (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Modèles de négociation pour des organisations virtuelles
Olivier Boissier, Hubert Proton (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Architecture Voyelle d’un Agent pour des organisations virtuelles
Olivier Boissier, Thibault Carron (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Déploiement de méthodes distribuées de Data Mining
F. Gaultier, Philippe Beaune (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Plate-forme Multi-agents pour l’évaluation des performances des Systèmes de production : Application à la production cyclique
Frédéric Grimaud, S. Galland (Département MSGI – centre
SIMMO – ENS des Mines de Saint Etienne)

Modèle de coordination pour la résolution distribuée de problèmes
Olivier Boissier (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne), Danielle Ziebelin (Projet ROMANS, Unité de recherche INRIA Rhône-Alpes)

Dessin de graphes pour la visualisation d’information et l’aide à la navigation dans le World Wide Web
R. Jegou (Département RIM – centre SIMMO – ENS des Mines de Saint Etienne)

Représentation et raisonnement sur les autres agents au sein d’organisations virtuelles
Laurent Vercouter, Philippe Beaune (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Réalisation d’un prototype collecticiel reposant sur un modèle conceptuel de la conscience de l’activité du groupe
Christophe Courtin, Christian Martel (Laboratoire SYSCOM – Equipe Systèmes Communicants)

Modélisation d’usagers en vue d’une adaptation des interfaces du cartable électronique
Jean-Charles Marty, Laurence Vignollet (Laboratoire SYSCOM)

Un système multi-agents pour l’allocation de ressources en planification sanitaire
Catherine Garbay, Georges Weil (Laboratoire TIMC/IMAG – Equipe SIC)

Architectures multi-agents pour la conception d’espaces narratifs mixant réalité virtuelle et réalité augmentée
Catherine Garbay (Laboratoire TIMC/IMAG – Equipe SIC)

Gestion d’alarmes en anesthésie-réanimation : une plateforme multi-agents
Catherine Garbay, Michel Dojat (Laboratoire TIMC/IMAG – Equipe SIC)

Un protocole de négociation pour une infrastructure à objets répartis de type « middleware »
Jean-Marc Andreoli, Stefania Castellani (Laboratoire XRCE Grenoble – Equipe Coordination Technologies)

Modèles Stochastiques pour la Désambiguïsation Syntaxique
Nicola Cancedda (Laboratoire XRCE Grenoble – Equipe Coordination Technologies), Colin de la Higuera (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Modèle et outils de conception appliqués à la téléphonie
Johan Tailland (ASCOM HPF SA, Bonneville)

Induction de programmes logiques par Inférence Grammaticale
Marc Bernard (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Inférence grammaticale probabiliste par divergence minimale
Pierre Dupont (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Expérimentation de techniques d’inférence grammaticale sur les données biologiques
Colin de la Higuera (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Data Mining Incrémental
François Jacquenet (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Text Mining pour la Veille Technologique
François Jacquenet (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Simulation multi-agent de migrations intra-urbaines
Humbert Fiorino, Yves Demazeau (IMAG/LEIBNIZ/MAGMA, Grenoble)

Coopération multi-agent de robots
Humbert Fiorino, Yves Demazeau (IMAG/LEIBNIZ/MAGMA, Grenoble)

Conception d’agents coopératifs pour des applications web
Humbert Fiorino (IMAG/LEIBNIZ/MAGMA, Grenoble)

Jeu d’échecs et planification multi-agent
Humbert Fiorino (IMAG/LEIBNIZ/MAGMA, Grenoble)

Agent personnel intelligent
Marc Ayel, Laurent Siklossy (Laboratoire d’Intelligence Artificielle)

Environnement de génie logiciel pour le commerce électronique « business to business » : modélisation et mise en oeuvre d’alliances inter-entreprises sur le Web
Ilham Alloui, Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Modélisation de l’organisation de l’entreprise à partir des courriers électroniques internes et externes
Daniel Beauchêne (Laboratoire LLP/CESALP – Equipe LGIS)

Modélisation de processus et système multi-agents
Christian Braesch (Laboratoire LLP/CESALP)

Styles architecturaux : modélisation, monitoring et application à Java 2 Platform, Enterprise Edition (J2EE)
Sorana Cîmpan, Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Acquisition des Connaissances : application aux ontologies
Françoise Deloule, Christophe Roche (Laboratoire LLP/CESALP – Equipe LGIS – Bourget du Lac)

Définition d’architectures logicielles : une démarche formelle basée sur les patterns
Yves Dumond, Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Analyse et formalisation du processus de simulation des systèmes manufacturiers en vue de son automatisation
Georges Habchi (Laboratoire LLP/CESALP – Equipe Maîtrise et optimisation des processus industriels)

Analyse, modélisation et réalisation orientées objet d’une maquette pour la simulation des systèmes manufacturiers
Georges Habchi (Laboratoire LLP/CESALP – Equipe Maîtrise et optimisation des processus industriels)

Processus de raffinement pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Internet
Prof. Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel)

Outils de vérification pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Java Beans
Prof. Flavio Oquendo (Laboratoire LLP/CESALP – Equipe Génie Logiciel), Radu Mateescu (INRIA Rhône-Alpes, Grenoble)

Formalisation d’un espace collaboratif dans une démarche d’ingénierie concourrante
Philippe Pernelle, Alain Courtois (Laboratoire LLP/CESALP),

« Text Mining » : Représentation sémantique de textes techniques
Christophe Roche (Laboratoire LLP/CESALP – Equipe LGIS – Bourget du Lac)

Modèle de logiciel et de configuration pour le déploiement de logiciel via l’internet
Noureddine Belkhatir, Pierre-Yves Cunin (Laboratoire IMAG-LSR GRENOBLE – Equipe Génie Logiciel Adèle)

Ingénierie coopérative Distribuée en Génie-Logiciel
Philippe Morat, Jacky Estublier (Laboratoire IMAG-LSR GRENOBLE – Equipe Génie Logiciel Adèle)

LBD – Ingénierie des Logiciels et Bases de Données
Jacky Estublier (Laboratoire IMAG-LSR GRENOBLE – Equipe Génie Logiciel Adèle)

Testabilité
Lydie du Bousquet, Farid Ouabdesselam (Laboratoire IMAG-LSR GRENOBLE – Equipe Production Fiable de Logiciels)

Outil d’assistance à la construction correcte de systèmes dans la méthode B
Marie-Laure Potet (Laboratoire IMAG-LSR GRENOBLE – Equipe SCOP)

Aide à la négociation et gestion territoriale
Philippe Beaune, Laurent Vercouter (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Modèles de contrat pour des organisations virtuelles
Olivier Boissier, Thibault Carron (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Modèles de négociation pour des organisations virtuelles
Olivier Boissier, Hubert Proton (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienn
e)

Architecture Voyelle d’un Agent pour des organisations virtuelles
Olivier Boissier, Thibault Carron (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Déploiement de méthodes distribuées de Data Mining
F. Gaultier, Philippe Beaune (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Plate-forme Multi-agents pour l’évaluation des performances des Systèmes de production : Application à la production cyclique
Frédéric Grimaud, S. Galland (Département MSGI – centre SIMMO – ENS des Mines de Saint Etienne)

Modèle de coordination pour la résolution distribuée de problèmes
Olivier Boissier (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne), Danielle Ziebelin (Projet ROMANS, Unité de recherche INRIA Rhône-Alpes)

Dessin de graphes pour la visualisation d’information et l’aide à la navigation dans le World Wide Web
R. Jegou (Département RIM – centre SIMMO – ENS des Mines de Saint Etienne)

Représentation et raisonnement sur les autres agents au sein d’organisations virtuelles
Laurent Vercouter, Philippe Beaune (Equipe SMA – centre SIMMO – ENS des Mines de Saint Etienne)

Réalisation d’un prototype collecticiel reposant sur un modèle conceptuel de la conscience de l’activité du groupe
Christophe Courtin, Christian Martel (Laboratoire SYSCOM – Equipe Systèmes Communicants)

Modélisation d’usagers en vue d’une adaptation des interfaces du cartable électronique
Jean-Charles Marty, Laurence Vignollet (Laboratoire SYSCOM)

Un système multi-agents pour l’allocation de ressources en planification sanitaire
Catherine Garbay, Georges Weil (Laboratoire TIMC/IMAG – Equipe SIC)

Architectures multi-agents pour la conception d’espaces narratifs mixant réalité virtuelle et réalité augmentée
Catherine Garbay (Laboratoire TIMC/IMAG – Equipe SIC)

Gestion d’alarmes en anesthésie-réanimation : une plateforme multi-agents
Catherine Garbay, Michel Dojat (Laboratoire TIMC/IMAG – Equipe SIC)

Un protocole de négociation pour une infrastructure à objets répartis de type « middleware »
Jean-Marc Andreoli, Stefania Castellani (Laboratoire XRCE Grenoble – Equipe Coordination Technologies)

Modèles Stochastiques pour la Désambiguïsation Syntaxique
Nicola Cancedda (Laboratoire XRCE Grenoble – Equipe Coordination Technologies), Colin de la Higuera (Equipe Universitaire de Recherche en Informatique de Saint-Etienne, Université Jean Monnet)

Sécurité et confiance dans les systèmes multi-agents ouverts
Laurent Vercouter, Olivier Boissier (Département SMA, centre SIMMO, ENS des Mines, 158 cours Fauriel, 42023 Saint Etienne Cedex 2)

Plate-formes et environnements de développement de Systèmes Multi-Agents
Olivier BOISSIER, Laurent VERCOUTER, Stéphane GALLAND (Equipe Systèmes Multi-Agents, EMSE)

Architecture « Voyelle » d’un Agent pour des organisations virtuelles
O. Boissier (Equipe SMA, centre SIMMO, ENS Mines, 158 cours Fauriel, 42023 Saint-Etienne)

Apprentissage par observation au sein d’un Système Multi-Agent ouvert
François Jacquenet (EURISE, Université Jean Monnet) et Olivier Boissier (SMA/SIMMO ENSM-SE)

Définition d’une modélisation sûre d’instruments intelligents
Eric Benoit et Stéphane Perrin (Université de Savoie, LAMII/CESALP, Opération Instrumentation Intelligente)

Modélisation des informations d’un instrument intelligent en vue d’une génération automatique de programme
Stéphane Perrin et Eric Benoit (Université de Savoie, LAMII/CESALP – Annecy)

Mise en oeuvre d’un système multi-agent basé sur la notion de mode de fonctionnement d’un instrument intelligent
R. DAPOIGNY (LAMII-équipe TI)

Architecture SMA de réseaux de terrain pour l’instrumentation de réseaux hydrographiques souterrains
André LAGREZE (MCF UPMF) en collaboration avec Michel OCCELLO (Leibniz/IMAG) pour l’aspect SMA (Laboratoire de Conception et d’Intégration des Systèmes. (LCIS/ESISAR/INPG) 50, Rue Barthélémy de LAFFEMAS 26 902 VALENCE Cedex 09 FRANCE)

Analyse, modélisation et réalisation orientées objet d’une maquette pour la simulation des systèmes manufacturiers
Georges HABCHI (LLP/CESALP – Maîtrise et optimisation des processus industriels)

Génération automatisée de processus de simulation
Georges HABCHI (LLP/CESALP – Maîtrise et optimisation des processus industriels)

« Text Mining » : Représentation sémantique de textes techniques
Christophe ROCHE, Professeur (LLP équipe LGIS (Bourget du Lac))

Acquisition des Connaissances : application aux ontologies
Christophe ROCHE, Professeur et Françoise DELOULE, Maître de Conférences (LLP équipe LGIS (Bourget du Lac))

Description de fédérations d’outils logiciels autonomes sous la forme de styles architecturaux
Hervé VERJUS, Sorana CÎMPAN (Ecole Supérieure d’Ingénieurs d’Annecy (ESIA) – Laboratoire de Logiciels pour la Productique, Equipe Génie Logiciel – B.P. 806, 74016 Annecy Cedex)

Déploiement de composants logiciels sur une plate-forme de TV interactive
Didier DONSEZ (LSR / ADELE)

Formalisation de styles architecturaux pour des développements formels en B
Marie-Laure POTET (LSR-IMAG – Domaine Universitaire – 681, rue de la Passerelle – B.P. 72 – SAINT MARTIN D’HERES CEDEX) et Flavio OQUENDO (LLP/CESALP – Ecole Supérieure d’Ingénieurs d’Annecy (ESIA) – 5, Chemin de Bellevue – 74940 ANNECY-LE-VIEUX – Adresse postale : B.P. 806 – 74016 Annecy Cedex)

Test à partir de spécifications Lustre (3 sujets)
Ioannis Parissis (LSR – IMAG (Grenoble))

Test d’intégration de programmes C et C++
Ioannis Parissis (LSR-IMAG (Grenoble))

Testabilité
Lydie du Bousquet et Farid Ouabdesselam (LSR-IMAG (Grenoble))

Validation d’un traducteur C optimisant la mémoire
Didier BERT et Marie-Laure POTET (LSR-IMAG (Grenoble))

Extensions du langage B en vue d’optimiser la mémoire
Didier BERT et Marie-Laure POTET (LSR-IMAG (Grenoble))

Outils d’aide à la construction correcte de sytèmes dans la méthode B
Marie-Laure POTET (LSR-IMAG (Grenoble))

Exploitation d’objectifs de test
Yves Ledru et Lydie du Bousquet (LSR-IMAG (Grenoble))

Adaptation de l’atelier RoZ à l’activité de test
Yves Ledru et Lydie du Bousquet (LSR-IMAG (Grenoble))

Identification et classification de contraintes dans la spécification des systèmes d’information
Yves Ledru (LSR-IMAG (Grenoble))

Interaction centrée agent pour l’annotation d’images d’oeuvres d’art
Catherine Garbay (Lab. TIMC-IMAG, Equipe SIC, Grenoble) et Paolo Bottoni (Dipartimento di Scienze dell’Informazione – Via Salaria 113 – 00198 Roma – Italy)

Implantation d’un composant de régulation : le gestionnaire de vues
Stéphane TALBOT et Carmen MEZURA-GODOY (équipe  » Systèmes Communicants « , SysCom)

Facteurs d’évolution de l’interfa
ce dans le cadre du projet de « cartable électronique »®
Laurence Vignollet (Equipe Systèmes Communicants)

Un service de mutualisation documentaire dans le cadre du projet de « cartable électronique »®
Thibault Carron et Laurence Vignollet (Equipe Systèmes Communicants)

Composition de fragments d’informations en vue d’une présentation adaptée aux utilisateurs
Jean-Charles MARTY (Equipe Systèmes Communicants (SYSCOM))

Expression des positions des membres d’un groupe de travail dans le cadre d’une activité de mutualisation de références documentaires
C. Ferraris (Equipe SysCom (Systèmes Communicants))

Réalisation d’un prototype collecticiel reposant sur un modèle conceptuel de la conscience de l’activité du groupe
Christophe COURTIN (Equipe  » Systèmes Communicants  » SysCom)

Amélioration d’un système de gestion de processus distribué développé dans le cadre du projet E-Cristal
Sébastien Gaspard (LLP/Thésame) et Régis Dindeleux (Thésame) (LLP (Archware) / CERN (Cristal))

Text Mining pour la Veille Technologique
François Jacquenet (EURISE, Université Jean Monnet de Saint-Etienne)

Extraction de séquences logiques fréquentes conditionnelles sous contraintes
François Jacquenet (EURISE, Université Jean Monnet de Saint-Etienne)

Extraction de connaissances dans une base de données relationnelle
Marc Bernard (EURISE, Université Jean Monnet de Saint-Etienne)

Effets du boosting sur les classifieurs pondérés : complexité, pertinence et efficacité
Marc Sebban (EURISE, Université Jean Monnet de Saint-Etienne)

Inférence grammaticale probabiliste comme modèle de langage
Franck Thollard (EURISE, Université Jean Monnet)

Mise en oeuvre de mécanismes de négociation pour le commerce électronique sur une plateforme générique de négociation entre composants logiciels
Jean-Marc Andreoli et Stefani Castellani (Xerox research Centre Europe – 6, chemin de Maupertuis – F-38240 Meylan)

Fusion d’informations issues d’un gant numérique et d’une caméra pour la reconnaissance de gestes
Didier COQUIN, Eric BENOIT

Implantation d’une architecture multi-agents sur système distribué de capteur/actionneurs intelligents pour contrôler leur comportement basé sur une logique dynamique
R. DAPOIGNY

Fusion de méréologies structurelles à partir de structures en treillis
R. DAPOIGNY

Utilisation de règles graduelles pour la fusion d’informations
Sylvie Galichet

Segmentation de structures sous-corticales à l’aide de la fusion d’informations dans un cadre multi-agents
Michel Dojat, Catherine Garbay

Analyse d’images volumiques : caractérisation de l’homogénéité par fusion d’indicateurs complémentaires ou redondants avec prise en compte d’une expertise incomplète
Patrick LAMBERT

Equivalence entre opérateurs de fusion d’informations à base de règles floues et à base d’intégrales floues
Gilles MAURIS

Architecture générique et outil logiciel pour les systèmes à agents mobiles
F. Oquendo, S. Azaiez

Raisonnement basé sur l’expérience pour la prise de décision en pilotage des systèmes de production
Magali RUET, Georges HABCHI

Pilotage de processus industriels par réseaux de neurones
Maurice Pillet, Jean-Luc Maire

Fusion d’informations multi-sources: application à l’analyse d’images de glaciers alpins
Emmanuel TROUVE

Fusion de classifications pour l’interprétation d’images
Lionel VALET

Déploiement configurable et automatisé de systèmes multi-agents
Belkhatir Noureddine, DemazeauYves

Approche multi-agents au déploiement de systèmes logiciels
Belkhatir Noureddine, DemazeauYves

Pilotage de processus industriels par réseaux de neurones
Jean-Luc Maire et Maurice Pillet

Equivalence entre opérateurs de fusion d’informations à base de règles floues et à base d’intégrales floues
Gilles MAURIS

Architecture générique et outil logiciel pour les systèmes à agents mobiles
F. Oquendo, S. Azaiez

Raisonnement basé sur l’expérience pour la prise de décision en pilotage des systèmes de production
Magali RUET et Georges HABCHI

Fusion d’informations multi-sources: application à l’analyse d’images de glaciers alpins
Emmanuel TROUVE

Fusion de classifications pour l’interprétation d’images
Lionel VALET

Comments Pas de commentaire »

BSCW (Basic Support for Cooperative Work) est un système sécurisé conçu pour partager des fichiers informatiques entre plusieurs utilisateurs et faciliter le travail collaboratif. Au delà d’une interface assez chargée qui peut dérouter au début (qui s’améliore tout de même au fil des versions successives), on peut notamment :

  • Naviguer dans des répertoires et y consulter des documents
  • Créer des répertoires, déposer des fichiers dans ces répertoires avec une annotation explicite, déplacer des fichiers d’un répertoire vers un autre, mettre les fichiers sous contrôle de version
  • Abonner des personnes à la lecture ou modification de répertoires ou fichiers
  • Connaître les personnes qui ont consulté ou modifié les fichiers
  • Etre informé par E-mail des changements intervenus dans les répertoires auxquels on est abonné

Télécharger mon dossier de présentation du BSCW au format PPT

Comments Pas de commentaire »

Etude d’un système pour l’organisation d’une conférence  sur la base du modèle de participation et son implémentation dans le cartable électronique


1. Introduction

L’objectif est de pouvoir créer un système qui permet d’organiser une conférence mais ce n’est pas à partir de Zéro ! C’est à la base du modèle de participation et sur la plate forme du cartable électronique®.

2. Analyse détaillé du système

La conférence par définition est l’union d’un certain nombre de personnes qui vont discuter sur un sujet commun. On peut voir ici presque tous les éléments distinctifs d’un travail en groupe, donc le système s’agit bien d’un Collecticiel.

Je vais commencer par identifier l’enceinte pour cette activité, ensuite identifier les acteurs ou bien les profils des participants, puis identifier les message émis et reçus par chaque acteur, juste après je vais essayer d’énumérer les outils déjà existant dans le cartable électronique® et les possibilités de l’utiliser pour implémenter ce système.

2.1. Identification de l’enceinte

Notre enceinte ici est un groupe parmi tout les groupes de l’université qu’on peut facilement le rejoindre. La modélisation des groupes dans le cartable[1] est sous la forme d’un dossier : Un conteneur d’un certain nombre d’objets.

2.2. Identification des acteurs
Les acteurs de ce système sont :

Anonymes : C’est l’internaute ou le visiteur de l’espace web de la conférence, dans le but d’avoir des informations utiles sur cette conférence (date, lieu, comment s’inscrire, sujet…). Aussi ce profil est celui de tout Rédacteur ou bien Relecteur avant l’inscription. On peut prévoir la désactivation du lien vers l’inscription pour pouvoir fermer les inscriptions. Aussi je pense qu’au moins une page d’accueil est nécessaire pour le groupe.

Super User : Comme d’habitude et pour chaque système, ou moins informatique, il existe un Super User. Mais dans ce contexte, cet acteur aura les privilèges nécessaires pour administrer le système.De préférence le Super User n’aura pas le droit d’intervenir dans le processus après le lancement du système d’inscription : il va juste préparer l’enceinte (le groupe). On peut tester la performance du système par le nombre d’intervention de l’administrateur. Pour ce cas bien précis, l’administrateur doit malheureusement, intervenir pour créer le répertoire personnel de chaque participant.

Rédacteur : Les Rédacteurs ce sont les personnes anonymes qui vont s’inscrire comme « Rédacteur ». Après validation de leurs inscriptions ils vont rédiger et proposer un ou plusieurs article. Le dossier rédacteurs contient tout les dossiers personnels de chaque Rédacteur. A chaque connexion le Rédacteur peut visualiser ces articles : il n’a le droit que de créer ou bien d’importer des fichiers.

La séparation entre l’entête et le corps de l’article permet de garantir la confidentialité des articles mais on voit bien le manque dans le cartable de la relation entre l’utilisateur et son espace de travail. Lorsqu’une personne se connecte à la conférence on va lui affecter un répertoire et comme il ne peut pas créer d’autre répertoire et parcourir les autres et donc il va avoir un seul espace de travail.

L’ajout des articles, je pense bien, qu’il faut être contrôlé par une date ou bien par une validation : Un Rédacteur ne peut pas ajouter des articles ou bien les modifier jusqu’au jour J de la conférence !

Relecteur : Ce sont ceux responsable de la relecture des articles. A chacun un répertoire personnel que le président de la conférence va lui déposer les articles qui va les relire (sans entête) Un ajout de commentaire est possible pour chaque article.

Le même problème pour la gestion de l’espace de travail.

Président de la conférence : En terme de nombre c’est une seule personne dont son rôle est de gérer la distribution des articles aux Relecteurs et gérer la publication. Comme il ne s’agit pas du Super User même que son rôle est bien évidemment un rôle d’administration donc il lui faut une bonne console d’administration pour pouvoir gérer tous les flux (des documents) selon des contraintes bien précises comme le temps(date de dernière relecture, date de publication ).


3. Conclusion
Le cartable électronique® peut servir à une plate forme de création (dans le sens de réalisation) de collecticiels. Mais ça sera mieux si on construit un modèle générique du système sur le quel on peut savoir s’il peut servir à un support pour construire un autre système ou non. Comme ça on peut savoir dès le début si c’est possible ou non de construire notre système sur le cartable. Dans le cas où c’est difficile ou bien impossible, la cause c’est qu’il existe des règles non compatibles entre les deux systèmes. Donc on peut penser à un petit Analyseur de règles qui vérifie que les règles du système à implémenter ne s’oppose pas à celles déjà implémentés dans le cartable. Si il n’y a pas d’opposition (ou bien intersection) on peut dire qu’on peut l’implémenter mais il reste à vérifier les contraintes techniques !
https://www.univ-savoie.fr/Portail/Groupes/conferance/portal_contents


[1] Cartable : Le cartable électronique® de l’université de Savoie.

Comments Pas de commentaire »

Université de Savoie
Ecole Supérieure d’Ingénieurs d’Annecy

Master Recherche    Sciences & Technologies
Mention                       Systèmes Intelligents
Spécialité                    Informatique et Traitement d’Information


Visual Object Recognition With Supervised Learning

Bernd Heisele (MIT Center for Biological and Computational Learning)

Cet article vise l’un des domaines du traitement intelligent de l’information; Il s’agit du domaine de traitement d’image et plus précisément comment reconnaître, identifier et classer un ensemble hétérogène de figures ? Premièrement je vais essayer de présenter brièvement l’approche de l’auteur puis essayer de répondre à cette question : S’agit-il vraiment d’un système intelligent ?

L’apprentissage des figures est un sujet qui traite en même temps les systèmes visuels d’un point de vue neurologique et informatique. Le but est de pouvoir construire des systèmes visuels robustes et réutilisables qui s’adaptent à l’environnement où ils sont plongé et qui peuvent montrer un niveau d’apprentissage plus au moins autonome.

La technique d’apprentissage supervisé permet de construire un système capable de classer (d’une façon automatique) un certain nombre d’objets à partir d’une base d’exemples déjà définie. Donc il faut bien utiliser des algorithmes pour l’extraction de connaissances à partir des scènes visuelles, pour pouvoir les :

  • Classer c’est à dire identifier les classes auxquelles appartiennent les objets à partir de certains traits descriptifs.
  • Identifier les différentes instances d’une seule classe c’est à dire pouvoir distinguer un objet d’un autre appartenant au même groupe.

Cette approche est basée sur une théorie d’apprentissage statistique, probabiliste, la théorie de régularisation (qui permet de choisir la meilleure fonction qui décrie la relation entre une Entré et une Sortie ) et la classification SVM[1] . Mais comment ces programmes s’améliorent dans le temps ?

L’auteur propose une approche à base de composants pour la détection des objets dans les images ; Et vue le nombre important des variations pour une classe d’objet par exemple dans le cas des images prises de plusieurs angles différents ou bien dans le cas des scènes 3D.

L’approche à base de composants nécessite la mise en œuvre d’un système permettant la description des composants, la représentation des relations entre les différents composants, établir les relations géométriques entre les composants et surtout comment choisir l’ensemble approprié d’éléments pour la classification ?

Parfois c’est très difficile de définir automatiquement les composants, encore il faut choisir ceux parmi l’ensemble qui participent à l’identification de l’objet et bien évidemment ceux qui vont permettre au système de construire le modèle d’apprentissage.

Le système d’identification à base de composants proposé par l’auteur consiste au premier lieu d’extraire les composants à partir de l’image, puis normaliser la taille des composants, ensuite les combiner dans un seul vecteur, enfin les enregistrer dans le classificateur.

Interpréter des scènes ! Je pense que maintenant c’est possible, mais comment ? Tout simplement parce qu’on peut reconnaître et séparer les différentes classes d’objets dans une scène et grâce aux relations (je parle ici des relations géométriques et spatiales) de corrélations entre les objets on peut imaginer un grand nombre de systèmes plus au moins intelligents.

Mais il y a plusieurs difficultés à savoir développer la faculté de se souvenir de l’adéquation entre deux exemples, détecter les parasites, nettoyer les exemples des parasites avant de les classer et surtout garder l’intégrité de la base de connaissance ; parfois le système crée une autre classe d’objet parce que le système n’arrive pas à reconnaître l’objet : on a deux classes qui représentent la même catégorie !

Moi, personnellement, je vois un système intelligent est avant tout un système et ce dernier est nécessairement composé d’un certain nombre de composants (parfois hétérogènes). L’intelligence ou bien le comportement intelligent peut être interprété dans les composants ou bientôt dans leurs propriétés (mécanique, thermique, électrique, magnétique, électronique, optique), aussi bien que dans les relations directes et indirectes entre ces composants pour former un système qui répond rapidement aux variations de l’environnement et s’adapte aux différents contextes. Donc il faut que le système fait preuve d’un certain degré d’autonomie associé à d’autres caractéristiques comme la fiabilité, la sécurité, l’efficacité, la résistance aux conditions extrêmes et à ne pas oublier aussi l’auto-(détection de pannes, dépannage, diagnostique… ).Et ce n’est qu’à partir de ces paramètres qu’on peut juger le niveau d’intelligence du système.

Enfin, les systèmes intelligents ont déjà existé dans les films de sciences fictions et dans les gros laboratoires de recherches, mais maintenant il y en à partout (à la maison, au travail et même dans les moyens de transport…). On parle toujours de nouveaux systèmes intelligents, les anciens ne sont plus. Enfin la naissance d’un système intelligent est tout simplement l’association entre les sciences et leurs applications ; c’est la Technologie !


[1] SVM : Support Vector Machine (machine à base de vecteurs)

Comments Pas de commentaire »