Search - Irisa Access content directly

Filter your results

787 Results
Deposit type : Fulltext
Image document

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
Image document

Randomization Yields Simple $O(n \log^{\star} n)$ Algorithms for Difficult $\Omega(n)$ Problems

Olivier Devillers
International Journal of Computational Geometry and Applications, 1992, 2 (1), pp.97-111. ⟨10.1142/S021819599200007X⟩
Journal articles inria-00167206v1
Image document

On topology in multidimensional discrete

Grégoire Malandain
RR-2098, INRIA. 1993
Reports inria-00074574v1
Image document

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
Image document

Adaptive Parallel Query Execution in DBS3

Luc Bouganim , Benont Dageville , Patrick Valduriez
[Research Report] RR-2749, INRIA. 1995
Reports inria-00073943v1
Image document

Query Reformulation in Multidatabase Systems using Semantic Knowledge

Daniela Florescu , Louiqa Raschid , Patrick Valduriez
[Research Report] RR-2561, INRIA. 1995
Reports inria-00074120v1
Image document

On corner and vertex detection

Gerard Giraudon , Rachid Deriche
[Research Report] RR-1439, INRIA. 1991, pp.35
Reports inria-00075121v1
Image document

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
Image document

Region tracking through image sequences

Bénédicte Bascle , Rachid Deriche
RR-2439, INRIA. 1994
Reports inria-00074236v1
Image document

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
Image document

Probabilité stationnaire d'une file d'attente à 2 seuils

Louis-Marie Le Ny
[Rapport de recherche] RR-0663, INRIA. 1987
Reports inria-00075890v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Fairness, distances and degrees

Philippe Darondeau , Doris Nolte , Lutz Priese , Serge Yoccoz
[Research Report] RR-1199, INRIA. 1990
Reports inria-00075359v1
Image document

Algebraically closed theories

Eric Badouel
[Research Report] RR-1051, INRIA. 1989
Reports inria-00075508v1
Image document

EVA environnement videotex d'applications

Patrick Bosc , Alain Chauffaut , Mario Dragone , Bertrand Hardy
[Rapport de recherche] RT-0078, INRIA. 1987
Reports inria-00071333v1
Image document

A model to analyse the causality in synchronous real time systems

Albert Benveniste
[Research Report] RR-0411, INRIA. 1985
Reports inria-00076145v1
Image document

Visual servoing using dynamic image parameters

François Chaumette , Venkataraman Sundareswaran , Patrick Bouthemy
[Research Report] RR-2336, INRIA. 1994
Reports inria-00074340v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Region segmentation according to motion-based criteria

Javier Santillana Rivero , Patrick Bouthemy
[Research Report] RR-0629, INRIA. 1987
Reports inria-00075924v1
Image document

Complexité de l'élection

Christian Lavault
[Rapport de recherche] RR-2118, INRIA. 1993
Reports inria-00074554v1
Image document

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
Image document

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
Image document

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
Image document

Contextual typesetting of mathematical symbols taking care of optical scaling

Jacques André , Irène Vatton
[Research Report] RR-1972, INRIA. 1993
Reports inria-00074701v1