| 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 |