8714 articles  [version française]
.:. Browse > List by year > 1994 .:.
294 documents ordered by :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access On a Generalization of Kingman's Bounds
Liu Z., Nain P., Towsley D.
N° RR-2423 (1994) [inria-00074252 - version 1]
fulltext access Deux variations sur le thème de la consistance d'arcs : maintien et renforcement
Berlandier P.
N° RR-2426 (1994) [inria-00074249 - version 1]
fulltext access On the relation between coherence semantics and multiplicative proof nets
Retoré C.
N° RR-2430 (1994) [inria-00074245 - version 1]
fulltext access A note on intersection types
Retoré C.
N° RR-2431 (1994) [inria-00074244 - version 1]
fulltext access 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]
fulltext access 3D-2D projective registration of free-form curves and surfaces
Feldmar J., Ayache N., Betting F.
N° RR-2434 (1994) [inria-00074241 - version 1]
fulltext access Region tracking through image sequences
Bascle B., Deriche R.
N° RR-2439 (1994) [inria-00074236 - version 1]
fulltext access Modelling Image Redundancy
Volden E., Giraudon G., Berthod M.
N° RR-2440 (1994) [inria-00074235 - version 1]
fulltext access The discriminating power of multiplicities in the $\lambda$-calculus
Boudol G., Cosimo L.
N° RR-2441 (1994) [inria-00074234 - version 1]
fulltext access 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]