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

294 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 ...

On a Generalization of Kingman's Bounds Liu Z., Nain P., Towsley D. N° RR-2423 (1994) [inria-00074252 - version 1]

Deux variations sur le thème de la consistance d'arcs : maintien et renforcement Berlandier P. N° RR-2426 (1994) [inria-00074249 - version 1]

On the relation between coherence semantics and multiplicative proof nets Retoré C. N° RR-2430 (1994) [inria-00074245 - version 1]

A note on intersection types Retoré C. N° RR-2431 (1994) [inria-00074244 - version 1]

A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences Retoré C. N° RR-2432 (1994) [inria-00074243 - version 1]

3D-2D projective registration of free-form curves and surfaces Feldmar J., Ayache N., Betting F. N° RR-2434 (1994) [inria-00074241 - version 1]

Region tracking through image sequences Bascle B., Deriche R. Dr. N° RR-2439 (1994) [inria-00074236 - version 1]

Modelling Image Redundancy Volden E., Giraudon G., Berthod M. N° RR-2440 (1994) [inria-00074235 - version 1]

The discriminating power of multiplicities in the $\lambda$-calculus Boudol G., Cosimo L. N° RR-2441 (1994) [inria-00074234 - version 1]

Some remarks about the Riemann problem of first order Hamilton--Jacobi equations on general geometries Abgrall R. N° RR-2442 (1994) [inria-00074233 - version 1]