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

Filter your results

469 Results
Deposit type : Fulltext
Image document

MODE-PP TeX: A GRM/GDMO Pretty Printing Library based on MODE-FE for the Generation of TeX Documents : Release 1.0 Reference Manual

Olivier Festor
[Technical Report] RT-0192, INRIA. 1996, pp.17
Reports inria-00069979v1
Image document

MODE-FE: A GRM/GDMO Parser and its API : Release 1.0 Reference Manual

Olivier Festor , Emmanuel Nataf , Laurent Andrey
[Technical Report] RT-0190, INRIA. 1996, pp.115
Reports inria-00069981v1
Image document

«ARC»: Simulateur d'architecture de réseaux de communications

Pascal Desnogues , Hery Rakotoarisoa
[Rapport Technique] RT-0187, INRIA. 1996, pp.24
Reports inria-00069984v1
Image document

Géométrie d'un système de N caméras : théorie, estimation et applications

Stéphane Laveau
Interface homme-machine [cs.HC]. Ecole Polytechnique X, 1996. Français. ⟨NNT : ⟩
Theses tel-00267257v1
Image document

Interacting Strings of Characters

Vadim A. A. Malyshev
[Research Report] RR-3057, INRIA. 1996
Reports inria-00073635v1
Image document

Algebraic Way to Derive Discrete Absorbing Boundary Conditions for Wave Equation

Jukka Tuomela , Olivier Vacus
[Research Report] RR-3053, INRIA. 1996
Reports inria-00073639v1
Image document

Proving Data-Parallel Programs : a Unifying Approach

David Cachera , Gil Utard
[Research Report] RR-3032, INRIA. 1996
Reports inria-00073661v1
Image document

Coq en Coq

Bruno Barras
[Research Report] RR-3026, INRIA. 1996
Reports inria-00073667v1
Image document

An Interpretation of Typed Objects Into Typed $\pi$-calculus

Davide Sangiorgi
RR-3000, INRIA. 1996
Reports inria-00073696v1
Image document

Compass-Like Biped Robot Part I : Stability and Bifurcation of Passive Gaits

Ambarish Goswami , Benoît Thuilot , Bernard Espiau
[Research Report] RR-2996, INRIA. 1996
Reports inria-00073701v1
Image document

Specification and Verification of various Distributed Leader Election Algorithm for Unidirectional Ring Networks

Hubert Garavel , Laurent Mounier
[Research Report] RR-2986, INRIA. 1996
Reports inria-00073712v1
Image document

Numerical Computation of a Polynomial GCD and Extensions

Victor Y. Y. Pan
RR-2969, INRIA. 1996
Reports inria-00073729v1
Image document

A Time-Domain Derivation of Optimal and Suboptimal Kirchhoff Quantitative Migrations Via a Least-Squares Approach

Guy Chavent , René-Edouard Plessix
[Research Report] RR-2967, INRIA. 1996
Reports inria-00073731v1
Image document

Comportement asymptotique du coefficient effectif pour un opérateur aléatoire aux différences

Andrey Piatnitski , Elisabeth Remy
RR-3061, INRIA. 1996
Reports inria-00073631v1
Image document

Surveillance d'installations industrielles: démarche générale et conception de l'algorithmique

Michèle Basseville , Albert Benveniste , Qinghua Zhang
[Rapport de recherche] RR-2889, INRIA. 1996
Reports inria-00073801v1
Image document

Approche effective des résidus algébriques

Mohamed Elkadi , Bernard Mourrain
RR-2884, INRIA. 1996
Reports inria-00073806v1
Image document

Tétraédrisation de Delaunay basée sur une approche frontale

Pascal Frey , Houman Borouchaki , Paul-Louis George
[Rapport de recherche] RR-2882, INRIA. 1996
Reports inria-00073808v1
Image document

Colored-Object Programming : Color Graphs, a Visual Formalism for Synthesizing the Behaviour of Objects

Henry J. Borron
[Research Report] RR-2876, INRIA. 1996
Reports inria-00073815v1
Image document

On Piercing Sets of Objects

Matthew J. Katz , Franck Nielsen
RR-2874, INRIA. 1996
Reports inria-00073817v1
Image document

Cooperative Design

Johan Vanwelkenhuysen
RR-2855, INRIA. 1996
Reports inria-00073836v1
Image document

Un algorithme pour trouver la permutation entre deux codes binaires équivalents

Nicolas Sendrier
[Rapport de recherche] RR-2853, INRIA. 1996
Reports inria-00073838v1
Image document

On Coset Weight Distributions of the 3-Error-Correcting BCH- Codes

Pascale Charpin , Victor Zinoviev
[Research Report] RR-2828, INRIA. 1996
Reports inria-00073863v1
Image document

Bishop-Phelps Cones and Convexity: Applications to Stability of Vector Optimization Problems

Ewa M. Bednarczuk
[Research Report] RR-2806, INRIA. 1996, pp.11
Reports inria-00073885v1
Image document

Optimal Loop Parallelization under Register Constraints

Christine Eisenbeis , Antoine Sawaya
[Research Report] RR-2781, INRIA. 1996
Reports inria-00073911v1
Image document

Robust Interpolation and Approximation for ${A(\B})}$ Functions on

Nabil Torkhani
RR-2778, INRIA. 1996
Reports inria-00073914v1
Image document

Attribute Grammars and Folds : Generic Control Operators

Étienne Duris , Didier Parigot , Gilles Roussel , Martin Jourdan
[Research Report] RR-2957, INRIA. 1996
Reports inria-00073741v1
Image document

Maillage de surfaces paramétriques. Partie III: Eléments quadrangulaires

Houman Borouchaki , Pascal Frey , Paul-Louis George
[Rapport de recherche] RR-2954, INRIA. 1996
Reports inria-00073744v1
Image document

Numerical Issues for Stochastic Automata Networks

Paulo Fernandes , Brigitte Plateau , William J. Stewart
[Research Report] RR-2938, INRIA. 1996
Reports inria-00073761v1
Image document

Maillage de surfaces paramétriques. Partie I: Aspects théoriques

Houman Borouchaki , Paul-Louis George
[Rapport de recherche] RR-2928, INRIA. 1996
Reports inria-00073770v1
Image document

Rendu de scènes 3D imitant le style «dessin animé»

Philippe Decaudin
[Rapport de recherche] RR-2919, INRIA. 1996
Reports inria-00073778v1