SomeWhere - Calcul de conséquences en pair-à-pair
Date de dépôt : 01 janvier 1970

Responsable : GOASDOUE François


Système d'inférence pair-à-pair pour le calcul de conséquences dans des théories propositionnelles distribuées.



Logiciel



Activités de recherche
  Représentation des connaissances
  Démonstration automatique
  Pair à Pair

Membres
  CHATALIC Philippe
  GOASDOUE François
  ROUSSET Marie-Christine
  SIMON Laurent

Equipe
  Données et Connaissances Massives et Hétérogènes

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé