.:. Consultation > Liste par année > 2000 .:.

443 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Combining Discriminant Models with new Multi-Class SVMs Guermeur Y. N° A00-R-453 || guermeur00f (2000) [inria-00107869 - version 1]

Génération des séquences de test pour les protocoles de sécurité dans IPv6 Nemchenko V. N° A00-R-450 || nemchenko00a (2000) [inria-00107868 - version 1]

Resolution of polynomial systems Lazard D. Dans 4th Asian Symposium on Computer Mathematics - ASCM 2000 8 (2000) 1 - 8 [inria-00107866 - version 1]

Managing concurrent QoS assured Multicast sessions using a Programmable Network Architecture State R., Festor O., Nataf E. Dans 11th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management - DSOM'2000 (2000) 12 p [inria-00107851 - version 1]

The Rewriting Calculus Cirstea H., Kirchner C. N° A00-R-444 || cirstea00f (2000) [inria-00099076 - version 1]

Combining symbolic and numeric techniques for DL contents classification and analysis Lamirel J.-C., Toussaint Y. Dans First DELOS Workshop on Information seeking, searching and querying in Digital Librairies (2000) [inria-00099063 - version 1]

Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications Stratulat S. Université Henri Poincaré - Nancy I (30/11/2000), Rusinowitch Michael (Dir.) [tel-00001304 - version 1]

Vers une représentation interne stable d'informations multimodales : approche connexionniste Oucherif K., Alexandre F. Dans Colloque invariants et variabilité dans les sciences cognitives (2000) 1 p [inria-00107862 - version 1]

ELAN : Una Red Distribuida y poliglota de recursos linguisticos textuales Cruz-Lara S. Dans Primeras Jornadas de Bibliotecas Digitales - JBIDI'2000 (2000) 10 p [inria-00107853 - version 1]

Rules, strategies and objects in ELAN Dubois H., Kirchner H. N° A00-R-245 || dubois00c (2000) [inria-00099055 - version 1]