TermSuite

LS2N

TermSuite est outil libre sous licence Apache 2 dédié à l’extraction terminologique monolingue et à...

The Coq Proof Assistant

Logiciel de vérification de théorèmes et bien plus encore. Il fournit un langage formel pour écrire...

The Sketch Engine

Ce système de gestion de corpus payant est accessible en ligne (il existe aussi une version téléchargeable)....

TouIST

Un langage convivial pour la logique propositionnelle et plus. ToulST permet d'encoder tout problème...

TRAP (Traitement des signaux...

GIPSA-lab +1

Signal processing of speech (Traitement des signaux de Parole). Read and process acoustic data, EMA,...

TXM

La plateforme TXM combine des techniques puissantes et originales pour l’analyse de grands corpus de...

UAM Corpus Tool

The UAM CorpusTool is a state-of-the-art environment for annotation of text corpora. So, whether you...

Veggieventure

LIASD

CNN reconnaissance des différents légumes dans votre potager

Wapiti

LIMSI +2

Wapiti est un outil qui utilise des modèles discriminants pour segmenter et étiqueter très rapidement...