.:. Browse > List by year > 1987 .:.

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

... 14 - 15 - 16 - 17 - 18 - 19 - 20

Determination of a depth map from an image sequence Marcé L., Bouthemy P. N° RR-0765 (1987) [inria-00075787 - version 1]

Un constructeur d'arbres de preuve dirigé par des tactiques Hascoet L. N° RR-0770 (1987) [inria-00075782 - version 1]

Average case complexity analysis of the RETE multi-pattern match algorithm Albert L., Fages F. N° RR-0773 (1987) [inria-00075779 - version 1]

Numerical computation of the chemical dissociation and relaxation phenomena behind a detached strong shock Desideri J.-A., Fezoui L. Fatima, Glinsky N. N° RR-0774 (1987) [inria-00075778 - version 1]

Effective behaviour algebras Darondeau P., Yoccoz S. N° RR-0776 (1987) [inria-00075776 - version 1]

CENTAUR : the system Borras P., Clement D., Despeyroux T., Incerpi J., Kahn G., Lang B., Pascual V. N° RR-0777 (1987) [inria-00075774 - version 1]

Methodes implicites efficaces pour la resolution des equations d'Euler en elements finis Steve H. N° RR-0779 (1987) [inria-00075772 - version 1]

A systolic machine for string correction Frison P., Lavenier D. N° RR-0780 (1987) [inria-00075771 - version 1]

On weak lumpability in Markov chains Rubino G., Sericola B. N° RR-0787 (1987) [inria-00075764 - version 1]

EVA environnement videotex d'applications Bosc P., Chauffaut A., Dragone M., Hardy B. N° RT-0078 (1987) [inria-00071333 - version 1]