Logiciels

LOGICIELS

BATI Bibliothèque d’Analyse et Traitement de l’Information
FLOULIB Librairie MATLAB qui implémente de la logique floue
KDTL MEREO Librairie Coq qui implémente la méréologie de S. Lesniewski

 

BATI Bibliothèque d’Analyse et Traitement de l’Information
DFTS-P2miner Extracteur de motifs séquentiels fréquents groupés (GFS-patterns) les plus fiables à partir de séries temporelles de champs de déplacement (DFTS) et de leur mesure de confiance
EFIDIR-tools API développée au cours du projet ANR EFIDIR qui fournit de nombreuses fonctions pour manipuler les images radar et calculer des champs de déplacement. Cette API offre aux développeurs un standard de développement commun pour assurer la compatibilité et la cohérence du logiciel développé, faciliter la construction de chaines de traitement et leur exécution distribuée sur des grilles de calcul.
FLOULIB Librairie MATLAB qui implémente de la logique floue
MODÈLES POUR ONTOLOGIES

Modèles décidables pour la spécification d’ontologies

  • Modèle décidable de la Méréologie
  • Modèle décidable de la Topologie générale
SITS-P2miner Extracteur de motifs séquentiels fréquents groupés (GFS-patterns) les plus fiables à partir de séries temporelles d’images satellitaires (SITS)
TEDI Éditeur d’ontoterminologies