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

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

... 11 - 12 - 13 - 14 - 15 - 16 - 17 ...

Implicit conservative upwind schemes for strongly transient flows Fernandez G. N° RR-0873 (1988) [inria-00075681 - version 1]

A type system for a declarative language Kieburtz R. B. N° RR-0874 (1988) [inria-00075680 - version 1]

Distributed bisimulations Castellani I., Hennessy M. N° RR-0875 (1988) [inria-00075679 - version 1]

Lambda-Upsilon-Omega : an assistant algorithms analyzer Flajolet P., Zimmermann P., Salvy B. N° RR-0876 (1988) [inria-00075678 - version 1]

Détermination spatio-temporelle de traceurs dans une séquence d'images sous-marines à des fins de trajectographie Lalande P., Bouthemy P. N° RR-0877 (1988) [inria-00075677 - version 1]

Un schéma (abstrait) d'itération répartie. Application au calcul des chemins de valeurs minimales Hélary J.-M., Raynal M. N° RR-0879 (1988) [inria-00075675 - version 1]

On the stability condition of a precedence-based queueing discipline Baccelli F., Liu Z. N° RR-0880 (1988) [inria-00075674 - version 1]

Compiling temporal logic specifications into observers Drissi-Kaitouni O., Jard C. N° RR-0881 (1988) [inria-00075673 - version 1]

A grammatical view of logic programming Deransart P., Maluszynski J. N° RR-0883 (1988) [inria-00075671 - version 1]

MLE for partially observed diffusions : direct maximization vs. The EM algorithm Campillo F., Le Gland F. N° RR-0884 (1988) [inria-00075670 - version 1]