researcher / Marie-Odile Cordier

Marie-Odile Cordier

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Signal and image processing
Edit Merge See Links

Thesis:

Informations incomplètes et contraintes d'intégrité : le moteur d'inférences sherlock

Directed Thesis:

Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking
Analyse multidimensionnelle interactive de résultats de simulation : aide à la décision dans le domaine de l'agroécologie
Fouille de données sans information a priori sur la structure de la connaissance : application à l’analyse de journaux d’alarmes réseau
Apprentissage symbolique à partir de données issues de simulation pour l’aide à la décision : gestion d’un bassin versant pour une meilleure qualité de l’eau
Une approche décentralisée à base de chroniques pour la surveillance et le diagnostic de services web
Construction de chroniques à partir d'une modélisation du système : application au diagnostic de réseaux de télécommunications
Pilotages d'algorithmes pour la reconnaissance en ligne d'arythmies cardiaques
Apprentissage multisource par programmation logique inductive : application à la caractérisation d'arythmies cardiques
Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables
Diagnostic décentralisé de systèmes à évènements discrets : application aux réseaux de télécommunications
Aide à l'interprétation d'une séquence d'images par la modélisation de l'évolution du système observé : application à la reconnaissance de l'occupation du sol
Apprentissage inductif de scenarios pour la supervision de reseaux de telecommunications
Modelisation de l'apprenant dans un logiciel d'enseignement intelligemment assiste par ordinateur - application a un tutoriel intelligent dedie aux composes anglais
Supervision de reseaux de telecommunication : une approche a base de modeles
Contribution a la planification sous incertitude et en temps contraint
Programmation logique inductive et modelisation de l'apprenant : application a l'analyse des erreurs de raisonnement chez l'aphasique
Carla : acquisition et induction sur le materiau compositionnel
Gestion du temps dans un systeme expert temps reel de traitement d'alarmes
Connaissances expertes, propagation de contraintes et maintien de coherence pour l'aide a la conception. Application a la conception d'equipements electroniques de satellites : le systeme smack
Vers un démonstrateur de théorèmes adaptatif
Explications dans les systemes a base de regles
Validation, acquisition, et mise au point des bases de connaissances : le systeme coco-x fonde sur la coherence
Modelisation par la synthese de programmes : application a la reeducation des aphasiques
Reconnaissance de plan pour l'aide a la démonstration dans un tuteur intelligent de la géometrie
Un modele objectal pour la synthese de dossiers medicaux
ADELE, un outil d'aide à l'acquisition des connaissances basé sur des justifications
Des systèmes d'ordonnancement flexibles et opportunistes
Sur la cohérence et la validation des bases de connaissances : le système COVADIS
Aplusix : un système expert de résolution pédagogique d'exercices d'algèbre
Le problème des explications négatives dans les systèmes experts : le système pourquoi-pas ?