28967 articles – 22397 references  [version française]
.:. Browse > By year > 2000 .:.
1084 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access New Codecs : State-of-the-Art Techniques and Prototypes
Mignot J.-C.
N° RR-4074 (2000) [inria-00072559 - version 1]
fulltext access Vers la certification du compilateur v5 d'Esterel dans Coq
Kaplan-Terrasse D.
N° RR-4092 (2000) [inria-00072540 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access 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]
restricted file access 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]
restricted file access 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]
restricted file access Rules, strategies and objects in ELAN
Dubois H., Kirchner H.
N° A00-R-245 || dubois00c (2000) [inria-00099055 - version 1]