Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

427 résultats
Type de dépôt : Document
Image document

Clustering criteria for discrete data and latent class models

Gilles Celeux , Gérard Govaert
[Research Report] RR-1122, INRIA. 1989, pp.9
Rapport inria-00075437v1
Image document

Extraction de programmes dans le Calcul des Constructions

Christine Paulin-Mohring
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français. ⟨NNT : ⟩
Thèse tel-00431825v1
Image document

An autograph primer

Valérie Roy , Robert de Simone
[Research Report] RT-0112, INRIA. 1989, pp.30
Rapport inria-00070054v1
Image document

Optimal scheduling in some multi-queue single-server systems

Zhen Liu , Philippe Nain
[Research Report] RR-1147, INRIA. 1989
Rapport inria-00075412v1
Image document

Methode des developpements asymptotiques pour un probleme de plaque thermoelastique

Christophe Lebeltel
RR-1108, INRIA. 1989
Rapport inria-00075451v1
Image document

The mapping of linear recurrence equations on regular arrays

Patrice Quinton , Vincent van Dongen
[Research Report] RR-1093, INRIA. 1989
Rapport inria-00075466v1
Image document

Implementing atomic rendez-vous within a transactional framework

Jean-Pierre Banâtre , Michel Banâtre , Christine Morin
[Research Report] RR-1092, Inria. 1989
Rapport inria-00075467v1
Image document

Resolution d'equations de petit degre modulo de grands nombres premiers

F. Morain
RR-1085, INRIA. 1989
Rapport inria-00075474v1
Image document

Un outil d'acquisition et de representation des taches oriente-objet

Christine Pierret-Golbreich , I. Delouis , Dominique Scapin
RR-1063, INRIA. 1989
Rapport inria-00075496v1
Image document

A simple graph construction of semilinear reachability sets of vector addition systems

Gilles Lesventes
[Research Report] RR-1060, INRIA. 1989
Rapport inria-00075499v1
Image document

Using rewriting techniques to produce code-generators and proving them correct

A. Despland , M. Mazaud , Rivo Rakotozafy
RR-1046, INRIA. 1989
Rapport inria-00075513v1
Image document

Systeme de gestion de fichiers base sur le hachage sequentiel binaire

J. Kouacou Gnrangbe
RR-1043, INRIA. 1989
Rapport inria-00075515v1
Image document

Atomic actions

Gérard Boudol
[Research Report] RR-1026, INRIA. 1989, pp.8
Rapport inria-00075532v1
Image document

Quasiconvex sets and size X curvature condition. Application to non linear inversion

Guy Chavent
[Research Report] RR-1017, INRIA. 1989
Rapport inria-00075541v1
Image document

MESSIE : un systeme multi specialistes en vision. Application a l'interpretation en imagerie aerienne

Philippe Garnesson , Gérard Giraudon , Philippe Montesinos
[Rapport de recherche] RR-1012, INRIA. 1989
Rapport inria-00075546v1
Image document

Speeding up the computations on an elliptic curve using addition-subtraction chains

F. Morain , J. Olivos
RR-0983, INRIA. 1989
Rapport inria-00075576v1
Image document

Mise en oeuvre d'algorithmes numériques sur un hypercube

Brigitte Vital
[Rapport de recherche] RR-0975, INRIA. 1989
Rapport inria-00075584v1
Image document

Parallel branch and bound algorithms- an overview

C. Roucairol
RR-0962, INRIA. 1989
Rapport inria-00075597v1
Image document

Some new families of finite elements for the Stokes equations

R. Stenberg
RR-0955, INRIA. 1988
Rapport inria-00075604v1
Image document

Alpha Du Centaur : a prototype environment for the design of parallel regular algorithms

Pierrick Gachet , Patrice Quinton , Christophe Mauras , Yannick Saouter
[Research Report] RR-0953, INRIA. 1988
Rapport inria-00075606v1
Image document

Construction méthodique d'un algorithme réparti de détection de la terminaison

Jean-Michel Hélary , Michel Raynal
[Rapport de recherche] RR-0945, INRIA. 1988
Rapport inria-00075613v1
Image document

Diagnosing mechanical changes in vibrating systems

George V. Moustakides , Michèle Basseville , Albert Benveniste , Georges Le Vey
[Research Report] RR-0942, INRIA. 1988
Rapport inria-00075616v1
Image document

Les schemas d'action dans des activites professionnelles. Utilisation et construction de nouveaux schemas dans des taches administratives

S. Sebillotte
RR-0918, INRIA. 1988
Rapport inria-00075637v1
Image document

Closed form solution for the distribution of the total time spent in a subset of states of a homogeneous Markov process during a finite observation period

Bruno Sericola
[Research Report] RR-0903, INRIA. 1988
Rapport inria-00075653v1
Image document

A practical exact motion planning algorithm for polygonal objects amidst polygonal obstacles

Jean-Daniel Boissonnat , Bernard Faverjon , Francis Avnaim
[Research Report] RR-0890, INRIA. 1988
Rapport inria-00075664v1
Image document

Agrégation d'états dans les processus markoviens

Gerardo Rubino , Bruno Sericola
[Rapport de recherche] RR-0858, INRIA. 1988
Rapport inria-00075696v1
Image document

MINIMAC : a high speed access protocol based on a free access tree algorithm

Philippe Jacquet , Paul Mühlethaler
RR-0849, INRIA. 1988
Rapport inria-00075704v1
Image document

Singularity analysis of generating functions

Philippe Flajolet , Andrew M. Odlyzko
[Research Report] RR-0826, INRIA. 1988
Rapport inria-00075725v1
Image document

The finite automaton of an elementary cyclic set

Philippe Le Chenadec
RR-0824, INRIA. 1988
Rapport inria-00075727v1
Image document

Confluence results for the pure strong categorical logic C.C.L. -calculi as sub-systems of C.C.L.

Thérèse Hardin
RR-0822, INRIA. 1988
Rapport inria-00075729v1