Inria
Inria.fr
Inria Channel
Il y a 23 Résultats pour : "automatique"
- AIDA - Modélisation et Apprentissage pour l'Interprétation de Données et l'Aide à la décision
- ALGO - Algorithmes
- ALIEN - algèbre pour Identification et Estimation Numériques
- BIP - Robot bipède
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- COMORE - Contrôle et modélisation de ressources renouvelables
- CONGE - Contrôle géométrique des systèmes non linéaires
- COQ - Spécifications et preuves de programmes
- CORDIAL - Dialogue oral homme-machine
- E-MOTION - Géométrie et probabilité pour le mouvement et l'action
- MODEMIC - Modélisation et Optimisation des Dynamiques des Ecosystèmes MICrobiens
- MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
- ORION - Environnements de résolution de problèmes pour des systèmes autonomes
- PAROLE - Analyse, perception et reconnaissance de la parole
- PROTHEO - Contraintes, déduction automatique et preuves de propriétés de logiciels
- PROVAL - Preuve de programmes
- REPCO - Représentation des connaissances
- SEQUEL - Sequential Learning
- SIGNES - Signes linguistiques, grammaire et sens: algorithmique logique de la langue
- SOSSO - Applications et outils de l'automatique
- TALARIS - Traitement Automatique des Langues : représentation, inférence et sémantique
- TEMIS - Traitement, exploitation et modélisation d'images séquentielles
- TROPICS - Transformations et outils informatiques pour le calcul scientifique
