.:. Browse > By year > 2000 .:.

1084 documents ordered by : Date Title first author name document type Submit date

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

New Codecs : State-of-the-Art Techniques and Prototypes Mignot J.-C. N° RR-4074 (2000) [inria-00072559 - version 1]

Vers la certification du compilateur v5 d'Esterel dans Coq Kaplan-Terrasse D. N° RR-4092 (2000) [inria-00072540 - 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]

Approches langages pour la conception et la mise en oeuvre de programmes Fradet P. Université Rennes 1 (10/11/2000), Jean-Pierre Banâtre (Pr.) [tel-00011212 - version 1]

A Hensel Lifting to Replace Factorization in List-Decoding of Algebraic-Geometric and Reed-Solomon Codes Augot D., Pecquet L. Information Theory, IEEE Transactions on 46, 7 (2000) 2605 - 2614 [inria-00509339 - version 1]

Camera Calibration and 3D Reconstruction from a Single Image Guillou E., Meneveaux D., Maisel E., Bouatouch K. Visual Computer 16, 7 (2000) 396-410 [hal-00337790 - version 1]

Genome screen for asthma and related phenotypes in the French EGEA study. Dizier M.H., Besse-Schmittler C., Guilloud-Bataille M., Annesi-Maesano I., Boussaha M., Bousquet J., Charpin D., Degioanni A., Gormand F., Grimfeld A. et al American Journal of Respiratory and Critical Care Medicine 162, 5 (2000) 1812-8 [hal-00596438 - 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]