|
|
Termination of Order-sorted Rewriting
Isabelle Gnaedig
ALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩
Conference papers
hal-01893012v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Randomization Yields Simple $O(n \log^{\star} n)$ Algorithms for Difficult $\Omega(n)$ Problems
Olivier Devillers
Journal articles
inria-00167206v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On topology in multidimensional discrete
Grégoire Malandain
RR-2098, INRIA. 1993
Reports
inria-00074574v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Fully dynamic Delaunay triangulation in logarithmic expected time per operation
Olivier Devillers
,
Stéphane Meiser
,
Monique Teillaud
[Research Report] RR-1349, INRIA. 1990
Reports
inria-00075210v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Adaptive Parallel Query Execution in DBS3
Luc Bouganim
,
Benont Dageville
,
Patrick Valduriez
[Research Report] RR-2749, INRIA. 1995
Reports
inria-00073943v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Query Reformulation in Multidatabase Systems using Semantic Knowledge
Daniela Florescu
,
Louiqa Raschid
,
Patrick Valduriez
[Research Report] RR-2561, INRIA. 1995
Reports
inria-00074120v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On corner and vertex detection
Gerard Giraudon
,
Rachid Deriche
[Research Report] RR-1439, INRIA. 1991, pp.35
Reports
inria-00075121v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Model Based Method for Characterization and Location of Curved Image Features
Thierry Blaszka
,
Rachid Deriche
[Research Report] RR-2451, INRIA. 1994
Reports
inria-00074224v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Region tracking through image sequences
Bénédicte Bascle
,
Rachid Deriche
RR-2439, INRIA. 1994
Reports
inria-00074236v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Parallel Program Performance Debugging with the Pandore II Environment
Cyrille Bareau
,
Yves Mahéo
,
Jean-Louis Pazat
International Conference on Parallel Computing (ParCo'93), Sep 1993, Grenoble, France. pp.241-248
Conference papers
hal-00426664v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Probabilité stationnaire d'une file d'attente à 2 seuils
Louis-Marie Le Ny
[Rapport de recherche] RR-0663, INRIA. 1987
Reports
inria-00075890v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Environnement pour la compilation dirigée par les données : supports d’exécution et expérimentations
Yves Mahéo
Modélisation et simulation. Université Rennes 1, 1995. Français. ⟨NNT : ⟩
Theses
tel-00497580v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On-the-fly verification of finite transition systems
Claude Jard
,
Thierry Jéron
,
Jean-Claude Fernandez
,
Laurent Mounier
[Research Report] RR-1861, INRIA. 1993
Reports
inria-00074812v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Parallélisation d'un algorithme de détection de mouvement sur une architecture MIMD
Fabrice Heitz
,
Etienne Mémin
,
Thierry Priol
,
Sergui Jufresa
[Rapport de recherche] RR-1738, INRIA. 1992
Reports
inria-00076977v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Early warning of slight changes in systems and plants with application to condition based maintenance
Qinghua Zhang
,
Michèle Basseville
,
Albert Benveniste
[Research Report] RR-1750, INRIA. 1992
Reports
inria-00076990v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Fairness, distances and degrees
Philippe Darondeau
,
Doris Nolte
,
Lutz Priese
,
Serge Yoccoz
[Research Report] RR-1199, INRIA. 1990
Reports
inria-00075359v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Algebraically closed theories
Eric Badouel
[Research Report] RR-1051, INRIA. 1989
Reports
inria-00075508v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
EVA environnement videotex d'applications
Patrick Bosc
,
Alain Chauffaut
,
Mario Dragone
,
Bertrand Hardy
[Rapport de recherche] RT-0078, INRIA. 1987
Reports
inria-00071333v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A model to analyse the causality in synchronous real time systems
Albert Benveniste
[Research Report] RR-0411, INRIA. 1985
Reports
inria-00076145v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Visual servoing using dynamic image parameters
François Chaumette
,
Venkataraman Sundareswaran
,
Patrick Bouthemy
[Research Report] RR-2336, INRIA. 1994
Reports
inria-00074340v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Etude d'algorithmes de quantification vectorielle arborescente pour la compression d'images fixes
Patrick Fiche
,
Vincent Ricordel
,
Claude Labit
[Rapport de recherche] RR-2241, INRIA. 1994
Reports
inria-00074429v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Généralisation de l'analyse factorielle multiple à l'étude des tableaux de fréquence et comparaison avec l'analyse canonique des correspondances
Lila Abdessemed
,
Brigitte Escofier
[Rapport de recherche] RR-1820, INRIA. 1992
Reports
inria-00074852v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dérivation systématique d'un algorithme de segmentation d'images . Un exemple d'application du formalisme GAMMA
Christian Creveuil
,
Gersan Moguerou
[Rapport de recherche] RR-1049, INRIA. 1989
Reports
inria-00075510v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Un algorithme efficace pour la mise en correspondance des segments 2D dans une séquence d'images
Ming Xie
,
Patrick Rives
[Rapport de recherche] RR-0929, INRIA. 1988
Reports
inria-00075627v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Region segmentation according to motion-based criteria
Javier Santillana Rivero
,
Patrick Bouthemy
[Research Report] RR-0629, INRIA. 1987
Reports
inria-00075924v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Complexité de l'élection
Christian Lavault
[Rapport de recherche] RR-2118, INRIA. 1993
Reports
inria-00074554v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An Algorithm for constructing the convex hull of a set of spheres in dimension d
Jean-Daniel Boissonnat
,
André Cerezo
,
Olivier Devillers
,
Jacqueline Duquesne
,
Mariette Yvinec
et al.
[Research Report] RR-2080, INRIA. 1993
Reports
inria-00074591v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Transcient behavior of biological loop models with application to the droop model
Olivier Bernard
,
Jean-Luc Gouzé
[Research Report] RR-2123, INRIA. 1993
Reports
inria-00074549v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dynamic location in an arrangement of line segments in the plane
Olivier Devillers
,
Monique Teillaud
,
Mariette Yvinec
[Research Report] RR-1558, INRIA. 1991
Reports
inria-00075003v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Contextual typesetting of mathematical symbols taking care of optical scaling
Jacques André
,
Irène Vatton
[Research Report] RR-1972, INRIA. 1993
Reports
inria-00074701v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|