|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Quasi-Score Marginal Approach in Generalized Linear Mixed Models
Catherine Trottier
RR-3522, INRIA. 1998
Reports
inria-00073162v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Design and Early Implementation of the Cadmium Mobile and Disconnectable Middleware Support
Aline Baggio
[Research Report] RR-3515, INRIA. 1998
Reports
inria-00073169v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Algorithms seminar, 1997-1998
Bruno Salvy
[Research Report] RR-3504, INRIA. 1998
Reports
inria-00073181v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
SugarCubes Implementation of Causality
Frédéric Boussinot
RR-3487, INRIA. 1998
Reports
inria-00073201v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the Computation and Control of the Mass Center of Articulated Chains
Bernard Espiau
,
Ronan Boulic
RR-3479, INRIA. 1998
Reports
inria-00073210v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Finding the Collineation Between two Projective Reconstructions
Gabriella Csurka
,
Radu Horaud
RR-3468, INRIA. 1998
Reports
inria-00073222v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Theorem Proving Modulo
Gilles Dowek
,
Thérèse Hardin
,
Claude Kirchner
[Research Report] RR-3400, INRIA. 1998, pp.27
Reports
inria-00077199v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dichotomy theorem for the generalized unique satisfiability problem
Miki Hermann
,
Laurent Juban
[Intern report] 98-R-065 || hermann98b, 1998, 11 p
Reports
inria-00098730v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On PERT Networks with Alternatives
Fabrice Chauvet
,
Eugene Levner
,
Jean-Marie Proth
[Research Report] RR-3583, INRIA. 1998, pp.21
Reports
inria-00073098v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Confidence Intervals for Adaptive Regression Estimation
Anatoli B. Juditsky
,
Oleg Lepski
RR-3580, INRIA. 1998
Reports
inria-00073101v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Requirement Capture, Formal Description and Verification of an Invoicing System
Mihaela Sighireanu
,
Kenneth J. Turner
RR-3575, INRIA. 1998
Reports
inria-00073106v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Left Pattern Matching Predictor is Optimal Over Bernoulli Source Models
Philippe Jacquet
[Research Report] RR-3571, INRIA. 1998
Reports
inria-00073110v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|