Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

237 Results
Deposit type : Fulltext
Image document

Image segmentation using 4 direction line-processes

Josiane Zerubia , Davi Geiger
[Research Report] RR-1338, INRIA. 1990
Reports inria-00075221v1
Image document

An algorithm for the forward kinematics of general 6 D.O.F. parallel manipulators

Jean-Pierre Merlet
[Research Report] RR-1331, INRIA. 1990, pp.27
Reports inria-00075229v1
Image document

Polymorphic type inference and assignment

Xavier Leroy , Pierre Weis
RR-1327, INRIA. 1990
Reports inria-00075233v1
Image document

Random walks in two-dimensional complexes

Guy Fayolle , I.A. Ignatyuk , Vadim A. A. Malyshev , M.V. Menshikov
RR-1312, INRIA. 1990
Reports inria-00075247v1
Image document

Analysis of a distibuted algorithm for mutual exclusion

C. Lavault
RR-1309, INRIA. 1990
Reports inria-00075250v1
Image document

Deduction with symbolic constraints

Claude Kirchner , Hélène Kirchner , Michaël Rusinowitch
[Research Report] RR-1358, INRIA. 1990, pp.46
Reports inria-00077103v1
Image document

Acquisition de connaissances : L'approche de la psychologie cognitive illustrée par le recueil d'expertise en conception

Willemien Visser
JAC'90 - la "Journée Acquisition de Connaissances", Centre National d'Etudes des Télécommunications, en collab. avec PRC-GDR IA and APAST, Apr 1990, Lannion, France
Conference papers hal-00643717v1
Image document

Sur une question d'Erdös et Schinzel

Gérald Tenenbaum
1990, pp.405-443
Conference papers hal-00021869v1
Image document

METANET : a system for network problems study

Claude Gomez , Maurice Goursat
[Research Report] RT-0124, INRIA. 1990, pp.32
Reports inria-00070043v1
Image document

The ZINC experiment : an economical implementation of the ML language

Xavier Leroy
RT-0117, INRIA. 1990, pp.100
Reports inria-00070049v1
Image document

A distributed architecture for programming environments

Dominique Clement
[Research Report] RR-1266, INRIA. 1990
Reports inria-00075293v1
Image document

Efficient routing protocols in nameless networks

Ivan Lavallee , C. Lavault
RR-1254, INRIA. 1990
Reports inria-00075304v1
Image document

A nonlinear boundary value problem solved by spectral methods

Olivier Coulaud , Antoine Henrot
[Research Report] RR-1252, INRIA. 1990, pp.18
Reports inria-00075306v1
Image document

La couleur en vision par ordinateur : 1.une revue

Quang-Tuan Luong
[Rapport de recherche] RR-1251, INRIA. 1990
Reports inria-00075307v1
Image document

Proof methods of declarative properties of definite programs

Pierre Deransart
[Research Report] RR-1248, INRIA. 1990
Reports inria-00075310v1
Image document

Comparison of hybrid minimum laxity / first-in -first-out scheduling policies for real-time multiprocessors

Philippe Nain , Don Towsley
[Research Report] RR-1237, INRIA. 1990
Reports inria-00075321v1
Image document

A lambda-calculus for parallel functions

Gérard Boudol
[Research Report] RR-1231, INRIA. 1990, pp.48
Reports inria-00075327v1
Image document

Unstructured multigridding by volume agglomeration : current status

Marie-Hélène Lallemand , Hervé Steve , Alain Dervieux
[Research Report] RR-1224, INRIA. 1990
Reports inria-00075334v1
Image document

Various nonconforming approximation of thin shell problems and the question of their convergence

P. Trouve
RR-1209, INRIA. 1990
Reports inria-00075349v1
Image document

A dynamic construction of higher order Voronoi diagrams and its randomized analysis

Jean-Daniel Boissonnat , Olivier Devillers , Monique Teillaud
[Research Report] RR-1207, INRIA. 1990
Reports inria-00075351v1
Image document

Multiscale system theory

Albert Benveniste , Ramine Nikoukhah , Alan S. Willsky
[Research Report] RR-1194, INRIA. 1990
Reports inria-00075364v1
Image document

Domain decomposition methods for large linearly elliptic three dimensional problems

Patrick Le Tallec , Yann-Hervé de Roeck , Marina Vidrascu
[Research Report] RR-1182, INRIA. 1990
Reports inria-00075376v1
Image document

Les actions et les concepts generaux d'activites dans l'utilisation d'appareils domestiques

S. Sebillotte
RR-1181, INRIA. 1990
Reports inria-00075377v1
Image document

Simultaneous containment of several polygons : analysis of the contact configurations

Olivier Devillers
[Research Report] RR-1179, INRIA. 1990
Reports inria-00075379v1
Image document

Automatic animation control of physical systems

Georges Dumont , Bruno Arnaldi , Gérard Hégron
[Research Report] RR-1170, INRIA. 1990
Reports inria-00075388v1
Image document

Stability analysis and improvement of the block Gram-Schmidt algorithm

William Jalby , Bernard Philippe
[Research Report] RR-1162, INRIA. 1990
Reports inria-00075396v1
Image document

Une sémantique d'ESTEREL par ensembles partiellement ordonnés de signaux

Guillaume Doumenc
[Rapport de recherche] RR-1161, INRIA. 1990
Reports inria-00075397v1
Image document

Etude descriptive d'une activite de conception- evaluation ergonomique d'un systeme de messagerie vocale

A. Pollier
RR-1160, INRIA. 1990
Reports inria-00075398v1
Image document

Testing for the unboundedness of fifo channels in programs (1)

Thierry Jéron
[Research Report] RR-1159, INRIA. 1990
Reports inria-00075399v1
Image document

Modélisation de systèmes électrotechniques par couplage des équations électriques et magnétiques

Frédéric Hecht , A. Marrocco , F. Piriou , A. Razek
Revue de Physique Appliquée, 1990, 25 (7), pp.649-659. ⟨10.1051/rphysap:01990002507064900⟩
Journal articles jpa-00246229v1