Concord-lsf

LISN

Concordancier pour la langue des signes

ConcQuest

ConcQuest est un concordancier dédié à la recherche d'expressions complexes à travers des corpus...

Coquelicot

Bibliothèque Coq conviviale pour l'analyse réelle

Coral - SPCI

Un simulateur de robotique sous-marine

CORIOLIS

Plate-forme pour la synthèse physique de circuits intégrés

COSTO

LS2N +1

COSTO toolbox est une plate-forme Eclipse qui comprend : un module de base avec...

Cubicle

Cubicle est un vérificateur de modèles open source permettant de vérifier les propriétés de sécurité...

DFTS-P2miner

Extracteur de motifs séquentiels fréquents groupés (GFS-patterns) les plus fiables à partir de séries...

DispuTool

DispuTool est un outil basé sur l'intelligence artificielle capable d'analyser les arguments issus des...

Distagger

Détection des disfluences dans les transcriptions de la langue parlée

DNorm

DNorm is an automated method for determining which diseases are mentioned in biomedical text, the...

DtmVic

Logiciel d’analyse exploratoire multidimensionnelle des données numériques, nominales et textuelles....