Logiciels

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
CISP Sélection de motifs séquentiels complémentaires et informatifs extraits de bases de séquences probabilistes unimodales partielles.
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