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

Filter your results

548 Results
Deposit type : Fulltext
Image document

Spécification d'une architecture émergente fondée sur le raisonnement par analogie. Application aux références bibliographiques

François Parmentier
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 1998. Français. ⟨NNT : ⟩
Theses tel-00003024v1
Image document

Propriétés de correction séquentielle dans un langage parallèle à mémoire partagée

Gilbert Caplain
Réseaux et télécommunications [cs.NI]. Ecole des Ponts ParisTech, 1998. Français. ⟨NNT : ⟩
Theses tel-00005591v1
Image document

Localisation et modélisation tridimensionnelles par approximations successives du modèle perspectif de caméra

Stéphane Christy
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français. ⟨NNT : ⟩
Theses tel-00004885v1
Image document

Accès à l'information répartie : adressage et protection

Daniel Hagimont
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1998
Habilitation à diriger des recherches tel-00004891v1
Image document

Interactive Modification of Real and Virtual Lights forAugmented Reality

Céline Loscos , George Drettakis , Luc Robert
Siggraph technical sketch (SIGGRAPH'98), ACM SIGGRAPH, Jul 1998, Orlando, United States. pp.265-265, ⟨10.1145/280953.282232⟩
Conference papers inria-00606704v1
Image document

Automatic Calculation of Soft Shadow Textures for Fast, High Quality Radiosity

Cyril Soler , François X. Sillion
Eurographics Rendering Workshop 1998, Eurographics, 1998, New York City, NY, United States. pp.199-210
Conference papers inria-00510081v1
Image document

Quelques méthodes d'intelligence artificielle pour la modélisation de l'élève

Dominique Py
Sciences et Techniques Educatives, 1998, 5(2)
Journal articles hal-00190201v1
Image document

2D model-based tracking of complex shapes for visual servoing tasks

N. Giordana , Patrick Bouthemy , François Chaumette , F. Spindler , J.-C. Bordas , et al.
IEEE Workshop on Robust Vision for Vision-based Control of Motion, ICRA'98, 1998, Leuven, Belgium, Belgium
Conference papers inria-00352554v1
Image document

2D 1/2 visual servoing stability analysis with respect to camera calibration errors

E. Malis , François Chaumette , S. Boudet
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'98, 1998, Victoria, Canada, Canada. pp.691-697
Conference papers inria-00352555v1
Image document

Complex object tracking by visual servoing based on 2D image motion

Armel Crétual , François Chaumette , Patrick Bouthemy
Int. Conf on Pattern Recognition, ICPR'98, 1998, Brisbane, Australia, Australia. pp.1251-1254
Conference papers inria-00352563v1
Image document

Can an Underactuated Leg with a Passive Spring at the Knee Achieve a Ballistic Step?

Bernard Espiau , Isabelle Guigues , Roger Pissard-Gibollet
RR-3544, INRIA. 1998
Reports inria-00073140v1
Image document

A Quasi-Score Marginal Approach in Generalized Linear Mixed Models

Catherine Trottier
RR-3522, INRIA. 1998
Reports inria-00073162v1
Image document

Design and Early Implementation of the Cadmium Mobile and Disconnectable Middleware Support

Aline Baggio
[Research Report] RR-3515, INRIA. 1998
Reports inria-00073169v1
Image document

Algorithms seminar, 1997-1998

Bruno Salvy
[Research Report] RR-3504, INRIA. 1998
Reports inria-00073181v1
Image document

Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events

Mireille Ducassé
[Research Report] RR-3489, INRIA. 1998
Reports inria-00073198v1
Image document

SugarCubes Implementation of Causality

Frédéric Boussinot
RR-3487, INRIA. 1998
Reports inria-00073201v1
Image document

On the Computation and Control of the Mass Center of Articulated Chains

Bernard Espiau , Ronan Boulic
RR-3479, INRIA. 1998
Reports inria-00073210v1
Image document

Finding the Collineation Between two Projective Reconstructions

Gabriella Csurka , Radu Horaud
RR-3468, INRIA. 1998
Reports inria-00073222v1
Image document

Theorem Proving Modulo

Gilles Dowek , Thérèse Hardin , Claude Kirchner
[Research Report] RR-3400, INRIA. 1998, pp.27
Reports inria-00077199v1
Image document

Construction et réutilisation de spécifications LOTOS

Samira Sadaoui
AFADL : Approches Formelles dans l'Assistance au développement de Logiciels, 1998, Toulouse, France, 13 p
Conference papers inria-00098706v1
Image document

Using Rewriting and Strategies for Describing the B Predicate Prover

Horatiu Cirstea , Claude Kirchner
Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34
Conference papers inria-00098715v1
Image document

Gestion efficace des polygones complexes pour la radiosité

François Cuny , Christophe Winkler , Laurent Alonso , Nicolas Holzschuch
6ème Journées de l'Association Française d'Informatique Graphique, AFIG, Dec 1998, Dunkerque, France. 10 p
Conference papers inria-00098725v1
Image document

Dichotomy theorem for the generalized unique satisfiability problem

Miki Hermann , Laurent Juban
[Intern report] 98-R-065 || hermann98b, 1998, 11 p
Reports inria-00098730v1
Image document

CTI and Multimedia applications applied to intelligent networks

Xavier Scharff , Pascal Lorenz , Zoubir Mammeri
7th IEEE Intelligent Network Workshop and 5th International Conference on Intelligence in Networks - IN'98, 1998, Bordeaux/France, 10 p
Conference papers inria-00098734v1
Image document

Object-Oriented Frameworks for Distributed Systems : A Survey

Wai Ming Ho , Jean-Marc Jézéquel
[Research Report] RR-3590, INRIA. 1998
Reports inria-00073089v1
Image document

Experiments in Program Compilation by Interpreter Specialization

Scott Thibault , Laurent Bercot , Charles Consel , Renaud Marlet , Gilles Muller , et al.
[Research Report] RR-3588, INRIA. 1998
Reports inria-00073092v1
Image document

On PERT Networks with Alternatives

Fabrice Chauvet , Eugene Levner , Jean-Marie Proth
[Research Report] RR-3583, INRIA. 1998, pp.21
Reports inria-00073098v1
Image document

Confidence Intervals for Adaptive Regression Estimation

Anatoli B. Juditsky , Oleg Lepski
RR-3580, INRIA. 1998
Reports inria-00073101v1
Image document

Requirement Capture, Formal Description and Verification of an Invoicing System

Mihaela Sighireanu , Kenneth J. Turner
RR-3575, INRIA. 1998
Reports inria-00073106v1
Image document

Left Pattern Matching Predictor is Optimal Over Bernoulli Source Models

Philippe Jacquet
[Research Report] RR-3571, INRIA. 1998
Reports inria-00073110v1