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

Filter your results

461 Results
Deposit type : Fulltext
Image document

Contrôle d'exécution réactif de mouvements de véhicules en environnement dynamique structuré

Philippe Garnier
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1995. Français. ⟨NNT : ⟩
Theses tel-00005045v1
Image document

A New Set of Tools to Describe and Tune Trajectories

Jean-Dominique Gascuel , Christophe Lyon
Computer Animation'95, 1995, Genève, Switzerland
Conference papers inria-00510121v1
Image document

Feature-based Control of Visibility Error: A Multi-Resolution Clustering Algorithm for Global Illumination

François X. Sillion , George Drettakis
SIGGRAPH 95 Conference Proceedings, ACM SIGGRAPH, 1995, Los angeles, United States. pp.145--152
Conference papers inria-00510125v1
Image document

Oriented Particles: A Tool for Shape Memory Objects Modelling

Jean-Christophe Lombardo , Claude Puech
Graphics Interface'95, May 1995, Quebec, Canada. pp.255-262
Conference papers inria-00510134v1
Image document

Incremental Algorithms for Finding the Convex Hulls of Circles and the Lower Envelopes of Parabolas

Olivier Devillers , Mordecai Golin
Information Processing Letters, 1995, 56 (3), pp.157-164. ⟨10.1016/0020-0190(95)00132-V⟩
Journal articles inria-00413163v1
Image document

Specifying and verifying a transformer station in Signal and SignalGTi

Hervé Marchand , Eric Rutten , Mazen Samaan
[Research Report] RR-2521, INRIA. 1995
Reports inria-00074157v1
Image document

Identification and matrix rational $H^2$ approximation : a gradient algorithm based on Schur analysis

Pascale Fulcheri , Martine Olivi
RR-2520, INRIA. 1995
Reports inria-00074158v1
Image document

Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices

Jutta Mitas , Klaus Reuter
[Research Report] RR-2512, INRIA. 1995
Reports inria-00074166v1
Image document

Taylor Expansions for Poisson Driven $(\max,+)$-Linear Systems

François Baccelli , Volker Schmidt
RR-2494, INRIA. 1995
Reports inria-00074181v1
Image document

Control Problems with State Constraints for the Penrose-Fife Phase-field model

Werner Horn , Jan Sokolowski , Jürgen Sprekels
[Research Report] RR-2491, INRIA. 1995, pp.22
Reports inria-00074184v1
Image document

$\lambda\upsilon$, a calculus of explicit substitutions which preserves strong normalisation

Zine-El-Abidine Benaissa , Daniel Briaud , Pierre Lescanne , Jocelyne Rouyer-Degli
[Research Report] RR-2477, INRIA. 1995
Reports inria-00074197v1
Image document

Formal Verification of Concurrent programs: How to specify UNITY using the Larch Prover

Boutheina Chetali
[Research Report] RR-2475, INRIA. 1995
Reports inria-00074199v1
Image document

PARA++ : C++ Bindings for Message Passing Libraries : User Guide

Olivier Coulaud , Eric Dillon
[Technical Report] RT-0174, INRIA. 1995, pp.26
Reports inria-00071200v1
Image document

Construction of Continuous Functions with Prescribed Local Regularity

Khalid Daoudi , Jacques Lévy Véhel , Yves Meyer
[Research Report] RR-2763, INRIA. 1995
Reports inria-00073928v1
Image document

Mailleur bidimensionnel de Delaunay gouverné par une carte de métriques. Partie II: Applications

Houman Borouchaki , Paul-Louis George , Frédéric Hecht , Patrick Laug , Bijan Mohammadi , et al.
[Rapport de recherche] RR-2760, INRIA. 1995
Reports inria-00073932v1
Image document

Optimization of Positive Generalized Polynomials under $l^p$ Constraints

Laurent Baratchart , Marc Berthod , Loïc Pottier
RR-2750, INRIA. 1995
Reports inria-00073942v1
Image document

Implementing Non-Linear Constraints with Cooperative Solvers

Eric Monfroy , Michaël Rusinowitch , René Schott
[Research Report] RR-2747, INRIA. 1995, pp.22
Reports inria-00073945v1
Image document

Upwind Schemes for the Two-Dimensional Shallow Water Equations with Variable Depth Using Unstructured Meshes

Alfredo Bermúdez , Alain Dervieux , Jean-Antoine Desideri , Maria Elena Vázquez
RR-2738, INRIA. 1995
Reports inria-00073955v1
Image document

Scaling Heterogeneous Databases and the Design of Disco

Anthony Tomasic , Louiqa Raschid , Patrick Valduriez
[Research Report] RR-2704, INRIA. 1995
Reports inria-00073986v1
Image document

A Note on Convex Combinations of Stable Polynomials

Vincent Blondel
[Research Report] RR-2694, INRIA. 1995
Reports inria-00073996v1
Image document

A Reactive Object Model for Concurrent Engineering Design

Toan Nguyen
[Research Report] RR-2692, INRIA. 1995
Reports inria-00073999v1
Image document

Mises à jour destructives dans les grammaires attribuées

Étienne Duris , Didier Parigot , Martin Jourdan
[Rapport de recherche] RR-2686, INRIA. 1995
Reports inria-00074005v1
Image document

On the Dimension of the Hull

Nicolas Sendrier
[Research Report] RR-2682, INRIA. 1995
Reports inria-00074009v1
Image document

An Adaptive Local Grid Refinement Method for Nonlinear Filtering

Zhiqiang Cai , François Le Gland , Huilong Zhang
[Rapport de recherche] RR-2679, INRIA. 1995
Reports inria-00074012v1
Image document

Quantification vectorielle par emboîtage d'une hiérarchie de réseaux réguliers de points

Vincent Ricordel , Claude Labit
[Rapport de recherche] RR-2667, INRIA. 1995
Reports inria-00074023v1
Image document

Understanding the Shape Properties of Trihedral Polyhedra

Charlie Rothwell , Julien Stern
RR-2661, INRIA. 1995
Reports inria-00074028v1
Image document

A new method for the generation of strong prime numbers

Yannick Saouter
[Research Report] RR-2657, INRIA. 1995
Reports inria-00074032v1
Image document

Matching Micro-Kernels to Modern Applications using Fine-Grained Memory Protection

Ciaran Bryce , Gilles Muller
[Research Report] RR-2647, INRIA. 1995
Reports inria-00074043v1
Image document

Hierarchical Production Planning for General Jobs Shops : Part 2 : Evaluation and Application

Anshu Mehra , Ioannis Minis , Jean-Marie Proth
[Research Report] RR-2634, INRIA. 1995, pp.34
Reports inria-00074053v1
Image document

Hierarchical Production Planning for General Jobs Shops : Part 1 : Modeling

Anshu Mehra , Ioannis Minis , Jean-Marie Proth
[Research Report] RR-2633, INRIA. 1995, pp.42
Reports inria-00074054v1