Browse

ftp://zenon.inria.fr (514)

	ftp://zenon.inria.fr/pub/rapports/RR-1620.ps, 19920220 The Space of Spheres, a Geometric Tool to Unify Duality Results on Voronoi Diagrams L'Espace des Sph eres, un outil g eom etrique unifiant les r esultats de dualit e sur les diagrammes de Vorono Olivier Devillersy Stefan Meiserz Monique Teillaudy February 20, 1992 Programme 4 : Robotique, Image et
	ftp://zenon.inria.fr/pub/rapports/RR-1619.ps, 19920220 Robust and efficient implementation of the Delaunay tree Implantation robuste et efficace de l'arbre de Delaunay Olivier Devillersy Programme 4 : Robotique, Image et Vision. Rapport de recherche INRIA 1619, F evrier 1992. yINRIA, 2004 Route des Lucioles, B.P.109, 06561 Valbonne cedex (France), Phone :
	ftp://zenon.inria.fr/pub/rapports/RR-791.ps, 19920225 PARALLEL MANIPULATORS Part 2 : Theory Singular configurations and Grassmann Geometry Jean-Pierre MERLET Rapport de Recherche INRIA Nffi 791, F?evrier 1988 1 2 R?esum?e: Les manipulateurs parall?eles sont des robots o?u les diff?erents segments ne sont pas plac?es successivement ?a partir de la base
	ftp://zenon.inria.fr/pub/rapports/RR-1155.ps, 19920409 DRIVER : Couche objet virtuelle persistante & raisonnement DRIVER : A persistent virtual object layer for reasoning Franck LEBASTARD INRIA, Sophia-Antipolis e-mail : lebastar@crazy.inria.fr 28 juin 1990 R esum e Cet article d ecrit les sp ecifications et l'implantation de driver1, couche objet virtuelle
	ftp://zenon.inria.fr/pub/rapports/RR-1558.ps, 19920410 Dynamic location in an arrangement of line segments in the plane Localisation dynamique dans un arrangement de segments du plan Olivier Devillersy Monique Teillaudy Mariette Yvinecz Programme 4 : Robotique, Image et Vision. Key words : arrangements, trapezoidal maps, dynamic algorithms, randomized
	ftp://zenon.inria.fr/pub/rapports/RT-136.ps, 19920424 . . UNIT?E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T?el.: 93 65 77 77 Rapports Techniques No136
	ftp://zenon.inria.fr/pub/rapports/RR-1639.ps, 19920424 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1639 Programme 4 Robotique, Image et Vision SCALE-SPACE 3D SURFACE REPRESENTATION A MODEL STUDY Fr
	ftp://zenon.inria.fr/pub/rapports/RR-1658.ps, 19920427 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1658 Programme 4 Robotique, Image et Vision ITERATIVE POINT MATCHING FOR REGISTRATION OF FREE-FORM
	ftp://zenon.inria.fr/pub/rapports/RR-1349.ps, 19920506 Fully Dynamic Delaunay Triangulation in Logarithmic Expected Time per Operation Triangulation de Delaunay pleinement dynamique en temps moyen logarithmique par op eration Olivier Devillersy Stefan Meiserz Monique Teillaudy Once upon a time was a Delaunay tree that wanted to get rid of some site p or
	ftp://zenon.inria.fr/pub/rapports/RR-1331.ps, 19920506 An algorithm for the Forward kinematics of general 6 d.o.f parallel manipulators Un algorithme pour la cin ematique directe des manipulateurs parall eles g en eraux a 6 degr es de libert e Jean-Pierre MERLET Programme 6 Nffi 1331, Novembre 1990 1 R esum e La cin ematique directe des robots parall eles a
	ftp://zenon.inria.fr/pub/rapports/RR-1293.ps, 19920506 International Journal of Computational Geometry & Applications Vol. 1, No. 2 (1991) 187-196. c World Scientific Publishing Company COMPUTING THE UNION OF 3-COLORED TRIANGLES JEAN-DANIEL BOISSONNATy INRIA, 2004 Route des Lucioles, B.P.109, 06561 Valbonne cedex (France) OLIVIER DEVILLERSz INRIA, 2004
	ftp://zenon.inria.fr/pub/rapports/RR-1003.ps, 19920506 R esum e Dans cette troisi eme partie nous allons nous int eresser aux applications potentielles d'un manipulateur parall ele, en particulier du point de vue de la commande par retour d'efforts, ainsi qu' a quelques caract eristiques de ce type de manipulateur qui influe sur leurs commandes. On d ecrira
	ftp://zenon.inria.fr/pub/rapports/RR-1179.ps, 19920506 Simultaneous Containment of Several Polygons : Analysis of the contact configurations Placement de plusieurs polygones : analyse des configurations de contacts Olivier Devillersy Keywords : Analysis of algorithms, computational geometry, polygons containment. Programme 4 : Robotique, Image et Vision
	ftp://zenon.inria.fr/pub/rapports/RR-1588.ps, 19920507 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1588 Programme 2 Calcul symbolique, Programmation et G enie logiciel R ESEAUX DE PROCESSUS R
	ftp://zenon.inria.fr/pub/rapports/RR-1621.ps, 19920507 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1621 Programme 4 Robotique, Image et Vision POLYGONAL APPROXIMATION OVERVIEW AND PERSPECTIVES
	ftp://zenon.inria.fr/pub/rapports/RR-1669.ps, 19920518 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapport de Recherche No1669 Programme 4 Robotique, Image et Vision Using pseudo Kalman-Filters in the presence of
	ftp://zenon.inria.fr/pub/rapports/RT-131.ps, 19920611 . . UNIT?E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T?el.: 93 65 77 77 Rapports Techniques No131
	ftp://zenon.inria.fr/pub/rapports/RR-1140.ps, 19920703 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1140 Programme 4 Robotique, Image et Vision ON THE RANDOMIZED CONSTRUCTION OF THE DELAUNAY TREE
	ftp://zenon.inria.fr/pub/rapports/RR-1698.ps, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1698 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique UNE INTERFACE C++ POUR
	ftp://zenon.inria.fr/pub/rapports/RR-1637.ps, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1637 Programme 1 Architecture parall eles, Bases de donn ees R eseaux et Syst emes distribu es
	ftp://zenon.inria.fr/pub/rapports/RR-1596.ps, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1596 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://zenon.inria.fr/pub/rapports/RR-1731.ps, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1731 Programme 2 Calcul symbolique, Programmation et G enie logiciel LANGUAGE-BASED DOCUMENT
	ftp://zenon.inria.fr/pub/rapports/RR-1568.ps, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1568 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://zenon.inria.fr/pub/rapports/RR-1638.ps, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1638 Programme 1 Architecture parall eles, Bases de donn ees R eseaux et Syst emes distribu es
	ftp://zenon.inria.fr/pub/rapports/RT-140.ps, 19920916 UNIT?E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi140 Programme 2 Calcul symbolique, Programmation et G?enie logiciel A CENTAUR TUTORIAL Ian JACOBS Laurence
	ftp://zenon.inria.fr/pub/rapports/RR-1740.ps, 19920930 UNE METHODE DE PARTITION DE DOMAINE APPLIQUEE A UNE EQUATION D'ADVECTION-DIFFUSION Rapport pour le DEA DE MATHEMATIQUES Option : ANALYSE NUMERIQUE Encadrement : M. D esid eri y et M.C. Ciccoli y y Projet Sinus INRIA Sophia-Antipolis Auteur : Pierre Aubert 25 Juin 1992
	ftp://zenon.inria.fr/pub/rapports/RR-1597.ps, 19921014 FLOW CONTROL USING THE THEORY OF ZERO SUM MARKOV GAMES Eitan ALTMAN INRIA Centre Sophia Antipolis 06565 Valbonne Cedex, France altman@martingale.inria.fr, tel. 93 65 76 73 January 1992
	ftp://zenon.inria.fr/pub/rapports/RT-146.ps, 19921216 UNIT?E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi146 Programme 2 Calcul symbolique, Programmation et G?enie logiciel NMS : UN MODULE MULTI-SP?ECIALISTES POU
	ftp://zenon.inria.fr/pub/rapports/RT-144.ps, 19921216 UNIT? E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi144 Programme 1 Architectures parall?eles, Bases de donn?ees, R?eseaux et Syst?emes distribu?es APPLICABIL
	ftp://zenon.inria.fr/pub/rapports/RT-145.ps, 19921216 UNIT?E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi145 Programme 2 Calcul symbolique, Programmation et G?enie logiciel PROSE : UNE BO^?TE ? A OUTILS FONCTIONN
	ftp://zenon.inria.fr/pub/rapports/RR-1824.ps, 19930209 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1824 Programme 4 Robotique, Image et Vision SURFACE RECONSTRUCTION USING ACTIVE CONTOUR MODELS Laurent COHEN
	ftp://zenon.inria.fr/pub/rapports/RR-1784.ps, 19930209 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1784 Programme 2 Calcul symbolique, Programmation et G enie logiciel CONCEPTION D'UN ALGORITHME DE MAINTIEN
	ftp://zenon.inria.fr/pub/rapports/RR-1812.ps, 19930209 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1812 Programme 2 Calcul symbolique, Programmation et G enie logiciel UN M ECANISME DE PR EDICTION D EDUCTIVE
	ftp://zenon.inria.fr/pub/rapports/RR-1819.ps, 19930209 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1819 Programme 4 Robotique, Image et Vision SCALABLE PARALLEL GEOMETRIC ALGORITHMS FOR COARSE GRAINED
	ftp://zenon.inria.fr/pub/rapports/RR-1834.ps, 19930209 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1834 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es H.261
	ftp://zenon.inria.fr/pub/rapports/RR-1847.ps, 19930302 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1847 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://zenon.inria.fr/pub/rapports/RT-149.ps, 19930302 UNIT? E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi149 Programme 2 Calcul symbolique, Programmation
	ftp://zenon.inria.fr/pub/rapports/RT-150.ps, 19930302 UNIT? E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi150 Programme 2 Calcul symbolique, Programmation et G?enie logiciel THE SOPHTALK REFERENCE MANUAL Ian JACO
	ftp://zenon.inria.fr/pub/rapports/RR-1879.ps, 19930330 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1879 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es BATCH
	ftp://zenon.inria.fr/pub/rapports/RR-1880.ps, 19930330 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1880 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es A
	ftp://zenon.inria.fr/pub/rapports/RR-1882.ps, 19930414 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1882 Programme 4 Robotique, Image et Vision SCALABLE ALGORITHMS FOR BICHROMATIC LINE SEGMENT INTERSECTION
	ftp://zenon.inria.fr/pub/rapports/RR-1883.ps, 19930414 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche N ffi 1883 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique GODUNOV TYPE METHOD ON
	ftp://zenon.inria.fr/pub/rapports/RR-1577.ps, 19930414 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1577 Programme 4 Robotique, Image et Vision ASSERVISSEMENT VISUEL APPLIQUE A UN ROBOT MOBILE : ETAT DE L'ART
	ftp://zenon.inria.fr/pub/rapports/RR-1885.ps, 19930414 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1885 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique UPWIND STABILIZATION OF
	ftp://zenon.inria.fr/pub/rapports/RR-1895.ps, 19930423 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1895 Programme 4 Robotique, Image et Vision A STEREOVISION-BASED NAVIGATION SYSTEM FOR A MOBILE ROBOT Michel
	ftp://zenon.inria.fr/pub/rapports/RR-1893.ps, 19930423 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1893 Programme 4 Robotique, Image et Vision RECURSIVELY IMPLEMENTING THE GAUSSIAN AND ITS DERIVATIVES Rachid
	ftp://zenon.inria.fr/pub/rapports/RR-1894.ps, 19930423 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1894 Programme 4 Robotique, Image et Vision ON DETERMINING THE FUNDAMENTAL MATRIX: ANALYSIS OF DIFFERENT
	ftp://zenon.inria.fr/pub/rapports/RR-1898.ps, 19930423 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1898 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique NODE-NESTED MULTI-GRID WITH
	ftp://zenon.inria.fr/pub/rapports/RT-153.ps, 19930602 UNIT?E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi153 Programme 4 Robotique, Image et Vision MD96 - A MULTI-DSP96002 BOARD Herv?e MATHIEU
	ftp://zenon.inria.fr/pub/rapports/RR-1921.ps, 19930602 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1921 Programme 4 Robotique, Image et Vision MANIPULATEURS PARALL ELES, 6EME PARTIE : D ETERMINATION DES
	ftp://zenon.inria.fr/pub/rapports/RR-1904.ps, 19930602 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1904 Programme 5 Traitement du signal, Automatique et Productique ANALYSE DE SYSTEMES MIN-MAX Geert Jan
	ftp://zenon.inria.fr/pub/rapports/RR-1906.ps, 19930707 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1906 Programme 4 Robotique, Image et Vision D ETECTION D'OBJETS EN MOUVEMENT Bernard GIAI-CHECA Patrick
	ftp://zenon.inria.fr/pub/rapports/RR-1889.ps, 19930707 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1889 Programme 4 Robotique, Image et Vision CLASSICAL MECHANICS AND ROADS DETECTION IN SPOT IMAGES Josiane
	ftp://zenon.inria.fr/pub/rapports/RR-1990.ps, 19930707 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1990 Programme 4 Robotique, Image et Vision ON THE MULTISEARCHING PROBLEM FOR HYPERCUBES Mikhail J. Atallah
	ftp://zenon.inria.fr/pub/rapports/RT-148.ps, 19930707 UNIT? E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports Techniques Nffi148 Programme 2 Calcul symbolique, Programmation et G?enie logiciel QUATERMAN" UNE BIBLIOTH?
	ftp://zenon.inria.fr/pub/rapports/RR-2000.ps, 19930920 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi2000 Programme 3 et 4 Intelligence artificielle, Syst emes cognitifs et Interaction homme-machine et
	ftp://zenon.inria.fr/pub/rapports/RR-2002.ps, 19930920 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi2002 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique M ETHODES NUM ERIQUES POUR LA
	ftp://zenon.inria.fr/pub/wais/topo-wais+www+gopher-v4.ps.gz, 19930928 WAIS Wide Area Information Servers Luc Ottavj Inria Sophia-Antipolis ottavj@sophia.inria.fr Version-4 28 septembre 1993 1 1 Introduction La recherche et l'acc?es aux informations localis?ees sur l'Internet deviennent un probl?eme crucial. Thinking Machines Corporation, Apple Computers et Dow Jones
	ftp://zenon.inria.fr/pub/rapports/RR-2032.ps, 19931025 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 2flCalcul symbolique,flprogrammationflet g nie logicielfl ADAM : Aide au Duel A erien Moderne. Th eorie des jeux diff erentiels et programmation symbolique appliqu ees au probl eme de
	ftp://zenon.inria.fr/pub/rapports/RT-158.ps, 19931025 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 2flCalcul symbolique,flprogrammationflet g?nie logicielfl Games : Gestion d'Arbres d'Etats Multiples en Smeci St?ephane LE M ?ENEC N? 158 Juillet 1993 Games : Gestion d'Arbres d'Etat
	ftp://zenon.inria.fr/pub/rapports/RR-2014.ps, 19931025 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Self-calibration of a stereo rig from unknown camera motions and point correspondences Quang-Tuan LUONG Olivier FAUGERAS N 2014 Juillet 1993
	ftp://zenon.inria.fr/pub/rapports/RR-2078.ps, 19931201 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl A Graphical Representation for Matrices in the (Max,+) Algebra Jean MAIRESSE N 2078 November 1993 A
	ftp://zenon.inria.fr/pub/rapports/RR-2079.ps, 19931201 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Motion of an Uncalibrated Stereo Rig: Self-Calibration and Metric Reconstruction Zhengyou Zhang Quang-Tuan Luong Olivier Faugeras N 2079 Octobre 1993
	ftp://zenon.inria.fr/pub/rapports/RR-2072.ps, 19931201 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Token Tracking in a Cluttered Scene Zhengyou Zhang N 2072 Octobre 1993 Token Tracking in a Cluttered Scene Zhengyou Zhang Programme 4 \| Robotique, image
	ftp://zenon.inria.fr/pub/rapports/RR-2068.ps, 19931201 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 6flCalcul scientifique,flmod lisationflet logiciels num riquesfl Multilevel Optimization : Application to One-Shot Shape Optimum Design Nathalie MARCO and Franc ois BEUX N 2068 Octobre
	ftp://zenon.inria.fr/pub/rapports/RR-2049.ps, 19931201 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Marking Optimization and Parallelism of Marked Graphs Miguel Canales et Bruno Gaujal N 2049 Sept 1993
	ftp://zenon.inria.fr/pub/rapports/RR-2071.ps, 19931201 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Approximation du Changement de Focale et de Mise au Point par une Transformation Affine a Trois Parame tres Reyes Enciso, Thierry Vie ville Olivier
	ftp://zenon.inria.fr/pub/rapports/RR-2004.ps, 19931201 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 2flCalcul symbolique,flprogrammationflet g nie logicielfl De l'Intelligence Artificielle Distribue e aux Syste mes Multi-Agents S. Labidi, W. Lejouad N 2004 Ao ut 1993 De l'Intelligence
	ftp://zenon.inria.fr/pub/rapports/RR-2121.ps, 19931209 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 0fl Adaptive Window Algorithm for Aerial Image Stereo Jean-Luc LOTTI & G rard GIRAUDON N 2121 Novembre 1993 PROGRAMME 4 Robotique, Image et Vision Unit de recherche INRIA Sophia Antipolis
	ftp://zenon.inria.fr/pub/rapports/RR-2113.ps, 19940117 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Suivi de segments dans une se quence d'images monoculaire B. GIAI-CHECA, R. DERICHE, Th. VIE VILLE et O. FAUGERAS N 2113 De cembre 1993 Suivi de segments
	ftp://zenon.inria.fr/pub/rapports/RR-2097.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Trajectory tracking for unicycle-type and two-steering-wheels mobile robots Alain Micaelli , Claude Samson N 2097 Novembre 1993 Trajectory tracking for
	ftp://zenon.inria.fr/pub/rapports/RR-2103.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 2flCalcul symbolique,flprogrammationflet g nie logicielfl Take pity on the user! The RED customization package Vincent Prunet N 2103 Novembre 1993 Take pity on the user! The RED
	ftp://zenon.inria.fr/pub/rapports/RR-2125.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 5flTraitement du signal,flautomatiqueflet productiquefl Identification d'un Syste me Non Line aire Partiellement Observe par la Me thode de la Distance Minimale Yurii Kutoyants Franc ois
	ftp://zenon.inria.fr/pub/rapports/RR-2098.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl On topology in multidimensional discrete spaces Gre goire MALANDAIN N 2098 Novembre 1993 On topology in multidimensional discrete spaces Gr egoire
	ftp://zenon.inria.fr/pub/rapports/RR-2106.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 5flTraitement du signal,flautomatiqueflet productiquefl Filtrage d'une diffusion re fle chie a sauts, observe e a travers un processus ponctuel marque Zusheng RAO N 2106 Novembre 1993
	ftp://zenon.inria.fr/pub/rapports/RR-2111.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Correctness and Robustness of 3D Rigid Matching with Bounded Sensor Error Xavier PENNEC N 2111 Novembre 1993 Correctness and Robustness of 3D Rigid
	ftp://zenon.inria.fr/pub/rapports/RR-1946.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 6flCalcul scientifique,flmod lisationflet logiciels num riquesfl Unstructured Volume-Agglomeration MG : Solution of the Poisson Equation Bruno KOOBUS , Marie-Helene LALLEMAND and Alain
	ftp://zenon.inria.fr/pub/rapports/RR-2126.ps, 19940126 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Time-varying Exponential Stabilization of Nonholonomic Systems in Power Form Jean-Baptiste POMET , Claude SAMSON N 2126 De cembre 1993 Time-varying
	ftp://zenon.inria.fr/pub/rapports/RR-2167.ps, 19940221 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Analyse du mouvement tridimensionnel a partir de se quences d'images en utilisant des surfaces spatio-temporelles The o Papadopoulo, Olivier Faugeras N 2167 Janvier 1994 PROGRAMME 4 Robotique, image
	ftp://zenon.inria.fr/pub/rapports/RR-2168.ps, 19940223 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Motion field of curves : applications The o Papadopoulo, Olivier Faugeras N 2168 Janvier 1994 PROGRAMME 4 Robotique, image et vision Motion field of curves : applications Th eo Papadopoulo , Olivier
	ftp://zenon.inria.fr/pub/rapports/RR-2181.ps, 19940223 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Accessibility Region for a Car that Only Moves Forwards along Optimal Paths Jean-Daniel BOISSONNAT Xu^an-Nam BUI N 2181 Janvier 1994 PROGRAMME 4 Robotique, image et vision Accessibility Region for a
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-11.ps, 19940223 ON THE STABILITY OF MULTIPLE STEADY PLANAR FLAMES WHEN THE LEWIS NUMBER IS LESS THAN 1 Alexis Bonnet1, Bernard Larrouturou2 and Lionel Sainsaulieu3
	ftp://zenon.inria.fr/pub/rapports/RR-2190.ps, 19940223 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Reaching a Goal with Directional Uncertainty Mark de Berg, Leonidas Guibas, Dan Halperin, Mark Overmars, Otfried Schwarzkopf, Micha Sharir et Monique Teillaud N 2190 Janvier 1994 PROGRAMME 4
	ftp://zenon.inria.fr/pub/rapports/RR-2153.ps, 19940223 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl The Shortest Path Synthesis for Non-holonomic Robots Moving Forwards Xu^an-Nam BUI Jean-Daniel BOISSONNAT Philippe SOU ERES Jean-Paul LAUMOND N 2153 De
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-20.ps, 19940224 PARTICLE ALGORITHMS FOR MASSIVELY PARALLEL MACHINES Didier Issautier 1 ; 2
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-16.ps, 19940224 High frequency approximation of integral equations modelizing scattering phenomena. Armel de La Bourdonnaye CERMICS-INRIA BP93 06902 Sophia-Antipolis Cedex France
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-18.ps, 19940224 Semantic analysis of a control-parallel extension of Fortran Gilbert Caplain Ren e Lalement Thierry Salset juin 1993 N o 93{18 Semantic analysis of a control-parallel extension of Fortran Gilbert Caplain Ren e Lalement Thierry Salset CERMICS, Ecole Nationale des Ponts et Chauss ees F{93167
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-17.ps, 19940224 ANALYSIS AND COMPENSATION OF NUMERICAL DAMPING IN A ONE DIMENSIONAL AEROELASTIC PROBLEM Serge Piperno, Bernard Larrouturou CERMICS INRIA, 06902 Sophia-Antipolis Cedex, France, and Michel Lesoinne Dpt. of Aerospace Engineering Sciences, Univ. of Colorado at Boulder, Boulder, CO. 80309-429, USA.
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-5.ps, 19940224 NUMERICAL METHODS USED IN AEROELASTICITY SIMULATIONS Serge Piperno CERMICS INRIA 06902 Sophia-Antipolis Cedex France
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-7.ps, 19940224 DRIVER V1.34 Manuel de R ef erence Franck LEBASTARD CERMICS INRIA 06902 Sophia-Antipolis Cedex France R esum e Ce document constitue la documentation du syst eme driver 1 v1.34, couche objet virtuelle persistante permettant d'utiliser dans un m^eme formalisme objet choisi aussi bien l'information
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-3.ps, 19940224 A PRECONDITIONER FOR INTEGRAL EQUATIONS MODELING HELMHOLTZ EQUATION1 Armel de La Bourdonnaye CERMICS INRIA 06902 Sophia-Antipolis Cedex France
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-13.ps, 19940224 DIVERSES FORMULATIONS DU COUPLAGE ENTRE M ETHODE VOLUMIQUE ET M ETHODE INT EGRALE POUR L' EQUATION DE HELMHOLTZ ET L' ELECTROMAGN ETISME Armel de La Bourdonnaye CERMICS INRIA 06902 Sophia-Antipolis Cedex France
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-22.ps, 19940224 CHOOE Un gestionnaire d'environnement distribu e Franck LEBASTARD CERMICS INRIA 06902 Sophia-Antipolis Cedex France R esum e chooe est un gestionnaire d'environnement distribu e qui permet, d'une part, de facilement d efinir et faire evoluer dynamiquement un r eseau de processus, et d'autre part, de g
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-9.ps, 19940224 EULERIAN MODEL FOR DISPERSED TWO-PHASE FLOWS AND UPWIND NUMERICAL SOLUTION Lionel Sainsaulieu1 and Bernard Larrouturou2
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-6.ps, 19940224 DRIVER : Une couche objet pour les bases de donn ees relationnelles Franck LEBASTARD CERMICS INRIA 06902 Sophia-Antipolis Cedex France R esum e Ce rapport d ecrit les caract eristiques g en erales du syst eme driver 1, couche objet virtuelle persistante permettant d'utiliser dans un m^eme formalisme
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-14.ps, 19940228 A PARALLEL WEIGHTED PARTICLE ALGORITHM FOR SOLVING THE BOLTZMANN (B.G.K.) EQUATION ON THE CONNECTION MACHINE Didier Issautier 1, Fr ed eric Poupaud1,Loula Fezoui2 and Jean-Pierre Cioni3
	ftp://zenon.inria.fr/pub/rapports/RR-2201.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE NUMERICAL SIMULATION OF 3D HYPERSONIC FLOWS Marie-Claude CICCOLI N 2201 Fe vrier 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel nume rique NUMERICAL SIMULATION OF 3D HYPERSONIC FLOWS
	ftp://zenon.inria.fr/pub/rapports/CERMICS-94-26.ps, 19940228 ON THE DERIVATION OF THE MODIFIED EQUATION FOR THE ANALYSIS OF LINEAR NUMERICAL METHODS Romuald CARPENTIER1, Armel de LA BOURDONNAYE2 and Bernard LARROUTUROU3
	ftp://zenon.inria.fr/pub/rapports/RR-2205.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE 3-D Scene Representation as a Collection of Images and Fundamental Matrices Ste phane Laveau, Olivier Faugeras N 2205 Fe vrier 1994 PROGRAMME 4 Robotique, image et vision 3-D Scene Representation as a
	ftp://zenon.inria.fr/pub/rapports/RR-2141.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE About the rational map associated to a parallel robot Bernard Mourrain N 2141 Novembre 93 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel About the rational map associated to a
	ftp://zenon.inria.fr/pub/rapports/RR-2199.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE A Craniofacial Surgery Simulation Testbed Herve Delingette, Ge rard Subsol, Ste phane Cotin, Je ro me Pignon N 2199 Fe vrier 1994 PROGRAMME 4 Robotique, image et vision A Craniofacial Surgery
	ftp://zenon.inria.fr/pub/rapports/RR-2160.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE A note on shortest paths in the plane subject to a constraint on the derivative of the curvature Jean-Daniel Boissonnat Andre Cerezo Juliette Leblond N 2160 Janvier 1994 PROGRAMME 4 Robotique, image
	ftp://zenon.inria.fr/pub/rapports/RR-2180.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Convergence Rate for the Approximation of the Limit Law of Weakly Interacting Particles 1: Smooth Interacting Kernels Mireille BOSSY , Denis TALAY N 2180 Fevrier 1994 PROGRAMME 6 Calcul scientifique,
	ftp://zenon.inria.fr/pub/rapports/RR-2122.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE A Markovian Model For Contour Grouping. Sabine URAGO , Josiane ZERUBIA , Marc BERTHOD N 2122 1994 PROGRAMME 4 Robotique, image et vision A Markovian Model For Contour Grouping. Sabine URAGO , Josiane
	ftp://zenon.inria.fr/pub/rapports/RR-2198.ps, 19940228 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Single Machine Scheduling Subject to Precedence Delays Lucian FINTA Zhen LIU N 2198 Janvier 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes distribue s Single
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-23.ps, 19940303 MOVING GRID NUMERICAL SIMULATIONS OF PLANAR TIME-DEPENDENT DETONATIONS Longting HE1 and Bernard LARROUTUROU2
	ftp://zenon.inria.fr/pub/rapports/RR-2143.ps, 19940322 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Application of Projection Learning to the Detection of Urban Areas in SPOT Satellite Images Konrad Weigl, Ge rard Giraudon & Marc Berthod N 2143 December 1993 PROGRAMME 4 Robotique, image et vision
	ftp://zenon.inria.fr/pub/rapports/RR-2213.ps, 19940322 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Variational Analysis of a Mixed Finite Element/ Finite volume Scheme on General Triangulations Katherine Mer N 2213 Mars 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel nume rique
	ftp://zenon.inria.fr/pub/rapports/RR-2204.ps, 19940322 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Camera Calibration without Feature Extraction Luc Robert N 2204 Fevrier 1994 PROGRAMME 4 Robotique, image et vision Camera Calibration without Feature Extraction Luc Robert Programme 4 \| Robotique,
	ftp://zenon.inria.fr/pub/rapports/RR-2154.ps, 19940322 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Simulation of Compressible Viscous Flows on a Variety of MPPs: Computational Algorithms for Unstructured Dynamic Meshes and Performance Results Charbel Farhat , Ste phane Lanteri N 2154 Janvier 1994
	ftp://zenon.inria.fr/pub/rapports/RR-1993.ps, 19940323 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl On a certain segment process with Voronoi clustering Serguei FOSS, Serguei ZUYEV N 1993 May 1993 On a
	ftp://zenon.inria.fr/pub/rapports/RR-1939.ps, 19940323 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Products of Irreducible Random Matrices in the (Max,+) Algebra - Part I Jean MAIRESSE N 1939 June 1993
	ftp://zenon.inria.fr/pub/rapports/RR-2224.ps, 19940511 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Gro bner bases of toric ideals Lo c Pottier N 2224 Mars 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Gr obner bases of toric ideals Lo c Pottier Programme 2 \| Calcul
	ftp://zenon.inria.fr/pub/rapports/RR-2220.ps, 19940511 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Rigid, Affine and Locally Affine Registration of Free-Form Surfaces Jacques Feldmar, Nicholas Ayache N 2220 March 1994 PROGRAMME 4 Robotique, image et vision Rigid, Affine and Locally Affine
	ftp://zenon.inria.fr/pub/rapports/RR-2216.ps, 19940511 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE First Steps Towards Automatic Building of Anatomical Atlases Ge rard Subsol, Jean-Philippe Thirion, Nicholas Ayache N 2216 Mars 1994 PROGRAMME 4 Robotique, image et vision First Steps Towards
	ftp://zenon.inria.fr/pub/rapports/RR-2223.ps, 19940511 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Optimal Allocation Sequences of Two Processes Sharing a Resource Bruno Gaujal N 2223 Mars 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes distribue s Optimal
	ftp://zenon.inria.fr/pub/rapports/RT-162.ps, 19940516 ISSN 0249-6399apport techniquefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE ASAP a protocol for symbolic computation systems Ste?phane Dalmas Marc Gae?tano Alain Sausse N? 162 Mars 1994 PROGRAMME 2 Calcul symbolique, programmation et ge?nie logiciel ASAP
	ftp://zenon.inria.fr/pub/rapports/RR-2233.ps, 19940516 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Deadlock Free Routing on a Ring: A Performance Evaluation Zhen Liu and Philippe Mussi N 2233 Avril 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes distribue s
	ftp://zenon.inria.fr/pub/rapports/RR-2232.ps, 19940516 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Object Oriented Parallel Discrete Event Simulation: The PROSIT Approach Lionel Mallet and Philippe Mussi N 2232 Avril 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste
	ftp://zenon.inria.fr/pub/rapports/RR-2229.ps, 19940517 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Representing Proof Transformations for Program Optimization Penny Anderson N 2229 Mai 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Representing Proof Transformations for Program
	ftp://zenon.inria.fr/pub/rapports/RR-2235.ps, 19940517 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Object Oriented Simulation: Highlights on The PROSIT Parallel Discrete Event Simulator Patrick Ferrante, Philippe Mussi, G unther Siegel, and Lionel Mallet N 2235 Avril 1994 PROGRAMME 1 Architectures
	ftp://zenon.inria.fr/pub/rapports/RR-2236.ps, 19940517 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Asymptotic Expansions for Functionals of Dilation of Point Processes Alexander A. Borovkov N 2236 January 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes
	ftp://zenon.inria.fr/pub/rapports/RR-2234.ps, 19940517 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE PARSEVAL : A Workbench for Queueing Networks Parallel Simulation Philippe Mussi and Hery Rakotoarisoa N 2234 Avril 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes
	ftp://zenon.inria.fr/pub/rapports/RR-2262.ps, 19940520 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On Lazy Randomized Incremental Construction Mark de Berg, Katrin Dobrindt, Otfried Schwarzkopf N 2262 Mars 1994 PROGRAMME 4 Robotique, image et vision On Lazy Randomized Incremental Construction Mark
	ftp://zenon.inria.fr/pub/rapports/RR-2214.ps, 19940520 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Simplex Meshes: a General Representation for 3D Shape Reconstruction Herve Delingette N 2214 Mars 1994 PROGRAMME 4 Robotique, image et vision Simplex Meshes: a General Representation for 3D Shape
	ftp://zenon.inria.fr/pub/rapports/RR-2263.ps, 19940520 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Dog Bites Postman: Point Location in the Moving Voronoi Diagram and Related Problems Olivier Devillers et Mordecai Golin N 2263 Avril 1994 PROGRAMME 4 Robotique, image et vision Dog Bites Postman: Point
	ftp://zenon.inria.fr/pub/rapports/RR-2261.ps, 19940520 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Program Extraction in a Logical Framework Setting Penny Anderson N 2261 Mai 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Program Extraction in a Logical Framework Setting Penny
	ftp://zenon.inria.fr/pub/rapports/TheseDobrindt.ps.gz, 19940603 THESE pr?esent?ee ?a L'?Ecole Nationale Sup?erieure des Mines de Paris pour obtenir le Titre de Docteur en Sciences Informatique Temps R?eel - Robotique - Automatique par Katrin Dobrindt Algorithmes dynamiques randomis?es pour les arrangements. Application ?a la planification de trajectoires. Souten
	ftp://zenon.inria.fr/pub/rapports/TheseFabri.ps.gz, 19940606 THESE pr?esent?ee ?a L'?Ecole Nationale Sup?erieure des Mines de Paris pour obtenir le Titre de Docteur en Sciences Informatique Temps R?eel - Robotique - Automatique par Andreas Fabri G?eom?etrie algorithmique en parall?ele sur des machines r?eelles Soutenue le 8 Mars 1994 devant la commission d'ex
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-8.ps, 19940615 CLP++, Programmation Logique avec Contraintes en C++ Renaud Keriven1 Rapport de Recherche CERMICS 92.8 Novembre 1992 1Renaud.Keriven@cermics.enpc.fr
	ftp://zenon.inria.fr/pub/rapports/CERMICS-92-4.ps, 19940615 Un Langage Logique Concurrent par Contraintes Dimitrios Souflis Septembre 1992 No 92-4 Un Langage Logique Concurrent par Contraintes Dimitrios Souflis CERMICS La Courtine 93167 NOISY-LE-GRAND Cedex T el. : 43 04 40 98 - Fax : 43 05 83 06 R esum e Les langages logiques concurrents par contraintes offrent
	ftp://zenon.inria.fr/pub/rapports/RR-2273.ps, 19940615 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Robust Technique for Matching Two Uncalibrated Images Through the Recovery of the Unknown Epipolar Geometry Zhengyou ZHANG Rachid DERICHE - Olivier FAUGERAS - Quang-Tuan LUONG N 2273 May 1994
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-21.ps, 19940615 COMPARISON AND ANALYSIS OF SOME NUMERICAL SCHEMES FOR STIFF COMPLEX CHEMISTRY PROBLEMS Yves D'Angelo1 { Bernard Larrouturou CERMICS, INRIA, B.P. 93, 06902 Sophia{Antipolis Cedex
	ftp://zenon.inria.fr/pub/rapports/CERMICS-91-2.ps, 19940615 Quelques r esultats sur l'agr egation d' echelles de pr ef erences individuelles Gilbert Caplain1 Rapport de Recherche CERMICS 91.22 Septembre 1991 1CERMICS-ENPC. e-mail : caplain@enpc.fr 2Cet article a et e publi e dans les Cahiers du CERMA, no12, juin 1991.
	ftp://zenon.inria.fr/pub/rapports/RR-2280.ps, 19940615 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Incremental Algorithms for Finding the Convex Hulls of Circles and the Lower Envelopes of Parabolas Olivier Devillers et Mordecai Golin N 2280 Juin 1994 PROGRAMME 4 Robotique, image et vision
	ftp://zenon.inria.fr/pub/rapports/RR-2275.ps, 19940615 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Time-varying Feedback Stabilization of the Attitude of a Rigid Spacecraft with two controls Pascal MORIN, Claude SAMSON Jean-Baptiste POMET, Zhong-Ping JIANG N 2275 Mai 1994 PROGRAMMES 4 et 5
	ftp://zenon.inria.fr/pub/rapports/RR-2276.ps, 19940615 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Observing distribution in processes: static and dynamic localities Ilaria Castellani N 2276 Mai 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Observing distribution in
	ftp://zenon.inria.fr/pub/rapports/RR-2274.ps, 19940615 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An O(n2) Algorithm for 3D Substructure Matching of Proteins Xavier PENNEC, Nicholas AYACHE N 2274 Mai 1994 PROGRAMME 4 Robotique, image et vision An O(n2) Algorithm for 3D Substructure Matching of
	ftp://zenon.inria.fr/pub/rapports/RR-2244.ps, 19940615 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Law of the Euler Scheme for Stochastic Differential Equations : I. Convergence Rate of the Distribution Function Vlad BALLY , Denis TALAY N 2244 Mars 1994 PROGRAMME 6 Calcul scientifique, mode
	ftp://zenon.inria.fr/pub/rapports/RR-2142.ps, 19940615 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 0fl Reconstruction Of High Resolution 3D Visual Information Marc Berthod, Hassan Shekarforoush, Michael Werman, Josiane Zerubia N 2142 Decembre 1993 PROGRAMME 4 Robotique, image et vision
	ftp://zenon.inria.fr/pub/rapports/RR-2291.ps, 19940701 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Espaces de travail et planification de trajectoire des robots paralle les plans Jean-Pierre MERLET, Nicolas MOULY N 2291 Fe vrier 1994 PROGRAMME 4 Robotique, image et vision Espaces de travail et
	ftp://zenon.inria.fr/pub/rapports/RR-2293.ps, 19940704 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A note on Robust control of nonlinear systems with input unmodeled dynamics" Zhong-Ping Jiang , Jean-Baptiste Pomet N 2293 Juin 1994 PROGRAMMES 4 et 5 Robotique, image et vision Traitement du
	ftp://zenon.inria.fr/pub/rapports/RR-2294.ps, 19940704 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Undiscounted zero sum differential games with stopping times Mabel M. Tidball N 2294 Juin 1994 PROGRAMME 5 Traitement du signal, automatique et productique Undiscounted zero sum differential games
	ftp://zenon.inria.fr/pub/rapports/RR-2292.ps, 19940704 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Higher-order abstract syntax with induction in Coq Joe lle Despeyroux , Andre Hirschowitz N 2292 June 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Higher-order abstract syntax
	ftp://zenon.inria.fr/pub/rapports/RR-2291-part3.ps, 19940711 58 J-P. Merlet, N. Mouly des trajectoires dont la loi d'orientation peut ^etre quelconque. Pratiquement, on peut proc eder a la reconstruction 3D une fois pour toute, puis l'utiliser par la suite pour la g en eration de n'importe quelle trajectoire (pour l'exemple de la figure on a utilis e 20 coupes et
	ftp://zenon.inria.fr/pub/rapports/RR-2291-part2.ps, 19940711 54 J-P. Merlet, N. Mouly A1 A2 A2 Fig. 2.6 - Exemple de trajectoire g en erale pour le robot 2 (x1 = 1,y1 = 21, 1 = 245ffi, x2 = 10,y2 = 4, 2 = 315ffi, temps de calcul: 19632 ms, ae1 2 , ae2 2 , ae3 2 ). des coupes a orientation fix ee. Nous calculons ensuite une approximation po-
	ftp://zenon.inria.fr/pub/rapports/RR-2291-part1.ps, 19940711 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Espaces de travail et planification de trajectoire des robots paralle les plans Jean-Pierre MERLET, Nicolas MOULY N 2291 Fe vrier 1994 PROGRAMME 4 Robotique, image et vision Espaces de travail et
	ftp://zenon.inria.fr/pub/rapports/RR-2302.ps, 19940822 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Scheduling of Parallel Programs in Single-Bus Multiprocessor Systems Lucian FINTA Zhen LIU N 2302 Mai 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes distribue s
	ftp://zenon.inria.fr/pub/rapports/RR-2304.ps, 19940822 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Computing Differential Properties of 3-D Shapes from Stereoscopic Images without 3-D Models Fre de ric Devernay Olivier Faugeras N 2304 Juillet 1994 PROGRAMME 4 Robotique, image et vision Computing
	ftp://zenon.inria.fr/pub/rapports/RR-2303.ps, 19940822 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Poisson Power Tesselations Sergue ZUYEV N 2303 Juillet 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes distribue s Poisson Power Tesselations Sergue ZUYEV
	ftp://zenon.inria.fr/pub/rapports/RR-2225.ps, 19940823 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Perturbation Analysis of Functionals of Random Measures Franc ois BACCELLI , Maurice KLEIN , Serguei ZUYEV N 2225 Mars 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste
	ftp://zenon.inria.fr/pub/rapports/RR-2308.ps, 19940823 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Applications of Non-Metric Vision to Some Visual Guided Tasks Cyril ZELLER Olivier FAUGERAS N 2308 Juillet 1994 PROGRAMME 4 Robotique, image et vision Applications of Non-Metric Vision to Some Visual
	ftp://zenon.inria.fr/pub/rapports/RR-2305.ps, 19940823 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Critical Sets of Lines for Camera Displacement Estimation: A Mixed Euclidean-Projective and Constructive Approach Nassir Navab - Olivier D. Faugeras N 2305 Juillet 1994 PROGRAMME 4 Robotique,
	ftp://zenon.inria.fr/pub/rapports/RR-2298.ps, 19940823 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Objets Conditionnels et Objets Inconnus Christe le Faure N 2298 Juillet 94 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Objets Conditionnels et Objets Inconnus Christ ele Faure
	ftp://zenon.inria.fr/pub/rapports/RR-2306.ps, 19940823 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Evaluating signs of determinants using single-precision arithmetic Francis Avnaim , Jean-Daniel Boissonnat , Olivier Devillers , Franco P. Preparata , Mariette Yvinec N 2306 Juillet 1994 PROGRAMME 4
	ftp://zenon.inria.fr/pub/rapports/RR-2329.ps, 19940920 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Revenge of the Dog: Queries on Voronoi Diagrams of Moving Points Olivier Devillers, Mordecai Golin, Klara Kedem and Stefan Schirra N 2329 Septembre 1994 PROGRAMME 4 Robotique, image et vision Revenge
	ftp://zenon.inria.fr/pub/rapports/RT-165.ps, 19940920 ISSN 0249-6399apport techniquefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Distributed programming environments: an example of a message protocol Anne-Marie Dery , Laurence Rideau N? 165 Ao?ut 1994 PROGRAMME 2 Calcul symbolique, programmation et ge?nie logiciel Distribute
	ftp://zenon.inria.fr/pub/rapports/RR-2272.ps, 19940920 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Gestion de maillages triangulaires de formables Beno t Duval, Herve Guillard N 2272 Juillet 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel nume rique Gestion de maillages
	ftp://zenon.inria.fr/pub/rapports/RR-2310.ps, 19940920 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An Additive Multilevel Preconditioning Method Nathalie MARCO, Bruno KOOBUS and Alain DERVIEUX N 2310 Ao ut 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel nume rique An Additive
	ftp://zenon.inria.fr/pub/rapports/RR-2313.ps, 19940920 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Infinitesimal Brunovsky Form for Nonlinear Systems with Applications to Dynamic Linearization Eduardo Aranda-Bricaire , Claude H. Moog , Jean-Baptiste Pomet N 2313 Juillet 1994 PROGRAMME 5 Traitement
	ftp://zenon.inria.fr/pub/rapports/RR-2311.ps, 19940920 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An Additive Standpoint in Parallel Two-Level Multigrid Algorithms Bruno KOOBUS and Marie-He le ne LALLEMAND N 2311 Aout 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel nume rique An
	ftp://zenon.inria.fr/pub/rapports/RR-2312.ps, 19940920 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Differential Geometric Setting for Dynamic Equivalence and Dynamic Linearization Jean-Baptiste Pomet N 2312 Juillet 1994 PROGRAMME 5 Traitement du signal, automatique et productique A Differential
	ftp://zenon.inria.fr/pub/rapports/RR-2344.ps, 19940921 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Interfe rome trie Radar et De roulement de Phase Ste phane DUPONT et Marc BERTHOD N 2344 Septembre 1994 PROGRAMME 4 Robotique, image et vision Interf erom etrie Radar et D eroulement de Phase St
	ftp://zenon.inria.fr/pub/rapports/RR-2340.ps, 19940922 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Estimating Motion and Structure from Correspondences of Line Segments Between Two Perspective Images Zhengyou Zhang N 2340 September 1994 PROGRAMME 4 Robotique, image et vision Estimating Motion and
	ftp://zenon.inria.fr/pub/rapports/RR-2342.ps, 19941005 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Multiresolution Representation in Unstructured Meshes: I. Preliminary Report Re mi Abgrall et Ami Harten N 2342 Septembre 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel nume rique
	ftp://zenon.inria.fr/pub/rapports/RR-2349.ps, 19941005 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Relative 3D Positioning and 3D Convex Hull Computation from a Weakly Calibrated Stereo Pair Luc Robert Olivier Faugeras N 2349 Septembre 1994 PROGRAMME 4 Robotique, image et vision Relative 3D
	ftp://zenon.inria.fr/pub/rapports/RR-2343.ps, 19941005 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Approximation of the multidimensional Riemann problem of Compressible Fluid Mechanics by a Roe type method Re mi ABGRALL N 2343 Septembre 1994 PROGRAMME 6 Calcul scientifique, mode lisation et
	ftp://zenon.inria.fr/pub/rapports/RR-2352.ps, 19941005 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Regularization and Scale Space Mads Nielsen, Luc Florack, and Rachid Deriche N 2352 Septembre 1994 PROGRAMME 4 Robotique, image et vision Regularization and Scale Space Mads Nielsen, Luc Florack, and
	ftp://zenon.inria.fr/pub/rapports/RR-2351.ps, 19941005 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Adaptive Regularization: Towards Self-Calibrated Reconstruction Mads Nielsen N 2351 Septembre 1994 PROGRAMME 4 Robotique, image et vision Adaptive Regularization: Towards Self-Calibrated
	ftp://zenon.inria.fr/pub/rapports/RR-2353.ps, 19941010 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Surface Reconstruction: GNCs and MFAs Mads Nielsen N 2353 Septembre 1994 PROGRAMME 4 Robotique, image et vision Surface Reconstruction: GNCs and MFAs Mads Nielsen Programme 4 \| Robotique, image et
	ftp://zenon.inria.fr/pub/wais/slides-wais+www+gopher-v6.ps.gz, 19941011 INRIA-Sophia LO-wais-v6 1/66 Wais -Gopher-WWW Wide Area Information Servers Gopher World Wide WEB Luc Ottavj Ottavj@sophia.inria.fr Janvier1994 INRIA-Sophia LO-wais-v6 2/66 Sommaire ? Wais * Pr?sentation g?n?rale * Le protocole Z39.50 * Les logiciels WAIS (client serveur indexation) * Panorama des b
	ftp://zenon.inria.fr/pub/rapports/RR-1672.ps, 19941013 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1672 Programme 4 Robotique, Image et Vision THE 3D MARCHING LINES ALGORITHM AND
	ftp://zenon.inria.fr/pub/rapports/RR-2149.ps, 19941013 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl The Extremal Mesh and the Understanding of 3D Surfaces Jean-Philippe THIRION N 2149 Decembre 1993 The Extremal Mesh and the Understanding of 3D Surfaces
	ftp://zenon.inria.fr/pub/rapports/RR-1881-2.ps, 19941013 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl The Marching Lines Algorithm : new results and proofs Jean-Philippe THIRION, Alexis GOURDON N 1881-2 April 1993 The Marching Lines Algorithm : new
	ftp://zenon.inria.fr/pub/rapports/RR-1787.ps, 19941013 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1787 Programme 4 Robotique, Image et Vision THE GRADIENT AND LAPLACIEN FILTERED BACK PROJECTION OPERATORS
	ftp://zenon.inria.fr/pub/rapports/RR-2377.ps, 19941109 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Hardy approximation to Lp functions on subsets of the circle Laurent Baratchart, Juliette Leblond, Jonathan R. Partington N 2377 Octobre 1994 PROGRAMME 5 Traitement du signal, automatique et
	ftp://zenon.inria.fr/pub/rapports/RR-2398.ps, 19941109 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE From Modular to Distributed Architectures: Centaur and Smeci Experiments Anne-Marie Dery, Wided Lejouad N 2398 Novembre 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel From
	ftp://zenon.inria.fr/pub/rapports/RR-2374.ps, 19941109 52C. Castelluccia, I. Chrisment, W. Dabbous, C. Diot, C. Huitema, E. Siegel, R. de Simone Tailored Protocol Development Using ESTEREL 51 Appendix C Constrained Use of ESTEREL: Pro- gramming Rules Most of the rules we briefly describe in this subsection have been established during the various
	ftp://zenon.inria.fr/pub/rapports/RR-2375.ps, 19941109 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Convex Tours of Bounded Curvature Jean-Daniel Boissonnat, Jurek Czyzowicz, Olivier Devillers, Jean-Marc Robert and Mariette Yvinec N 2375 Octobre 1994 PROGRAMME 4 Robotique, image et vision Convex
	ftp://zenon.inria.fr/pub/rapports/RR-2348.ps, 19941109 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Approximations in dynamic zero-sum games, II Mabel. TIDBALL, Odile. POURTALLIER and Eitan. ALTMAN N 2348 Septembre 1994 PROGRAMME 5 Traitement du signal, automatique et productique Approximations in
	ftp://zenon.inria.fr/pub/rapports/RR-2397.ps, 19941109 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Lyapunov exponents of controlled SDE's and stabilizability property : Some examples Fabien Campillo and Abdoulaye Traore N 2397 Novembre 1994 PROGRAMME 5 Traitement du signal, automatique et
	ftp://zenon.inria.fr/pub/rapports/RR-2365.ps, 19941110 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Multiscale Extraction and Representation of Features from Medical Images Ma rta Fidrich , Jean-Philippe Thirion N 2365 Octobre 1994 PROGRAMME 4 Robotique, image et vision Multiscale Extraction and
	ftp://zenon.inria.fr/pub/rapports/RR-2372.ps, 19941123 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE How to prevent pressure oscillations in multicomponent flow calculations : a quasi conservative approach Re mi ABGRALL N 2372 Octobre 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel
	ftp://zenon.inria.fr/pub/rapports/RT-167.ps, 19941123 ISSN 0249-6399apport techniquefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Paralle?lisme de donne?es et filtrage non line?aire Analyse de performance Herve? Bernier, Fabien Campillo, Fre?de?ric Ce?rou, Franc?ois Le Gland, Rivo Rakotozafy N? 0167 Novembre 1994 PROGRAMME 5 T
	ftp://zenon.inria.fr/pub/rapports/RR-2350.ps, 19941123 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Intrinsic Structure of the Optic Flow Field Luc FLORACK , Mads NIELSEN N 2350 Juillet 1994 PROGRAMME 4 Robotique, image et vision The Intrinsic Structure of the Optic Flow Field Luc FLORACK ,
	ftp://zenon.inria.fr/pub/rapports/RT-168.ps, 19941129 ISSN 0249-6399apport techniquefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Imple?mentation en C de l'arithme?tique de Sisyphe Jose? Grimm N? 168 Novembre 1994 PROGRAMME 2 Calcul symbolique, programmation et ge?nie logiciel Impl?ementation en C de l'arithm?etique de Sisyph
	ftp://zenon.inria.fr/pub/rapports/RR-2389.ps, 19941129 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Sur un the ore me de limite conditionnelle. Application aux syste mes de capacite s finies Adnan Aboulalaa N 2389 Novembre 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et
	ftp://zenon.inria.fr/pub/rapports/RR-2410.ps, 19941207 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Convergence Rate for the Approximation of the Limit Law of Weakly Interacting Particles 2: Application to the Burgers Equation Mireille BOSSY , Denis TALAY N 2410 Novembre 1994 PROGRAMME 6 Calcul
	ftp://zenon.inria.fr/pub/rapports/RR-2411.ps, 19941207 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Structural, temporal and stochastic properties of unbounded free-choice Petri nets Franc ois Baccelli , Sergei Foss et Bruno Gaujal N 2411 Novembre 1994 PROGRAMME 1 Architectures paralle les, bases
	ftp://zenon.inria.fr/pub/rapports/RR-2406.ps, 19941214 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Circular Separability of Polygons Jean-Daniel Boissonnat , Jurek Czyzowicz , Olivier Devillers , Mariette Yvinec N 2406 novembre 94 PROGRAMME 4 Robotique, image et vision Circular Separability of
	ftp://zenon.inria.fr/pub/rapports/RR-2423.ps, 19941214 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On a Generalization of Kingman's Bounds Zhen LIU Philippe NAIN Don TOWSLEY N 2423 De cembre 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes distribue s On a
	ftp://zenon.inria.fr/pub/rapports/RR-2405.ps, 19941214 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Autonomous algorithms for image restoration Meir Griniasty N 2405 Novembre 1994 PROGRAMMES 4 et 5 Robotique, image et vision Traitement du signal, automatique et productique Autonomous algorithms for
	ftp://zenon.inria.fr/pub/rapports/RR-2428.ps, 19941227 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Suivi de primitives complexes sur une se quence d'images Benedicte Bascle, Patrick Bouthemy y, Rachid Deriche, Francois Meyer y N 2428 Decembre 1994 PROGRAMME 4 Robotique, image et vision Suivi de
	ftp://zenon.inria.fr/pub/rapports/RR-2434.ps, 19950103 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 3D-2D projective registration of free-form curves and surfaces Jacques Feldmar, Nicholas Ayache, Fabienne Betting N 2434 December 1994 PROGRAMME 4 Robotique, image et vision 3D-2D projective
	ftp://zenon.inria.fr/pub/rapports/RR-2440.ps, 19950104 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Modelling Image Redundancy Espen Volden, Ge rard Giraudon, Marc Berthod N 2440 De cembre 1994 PROGRAMME 4 Robotique, image et vision Modelling Image Redundancy Espen Volden , G erard Giraudon , Marc
	ftp://zenon.inria.fr/pub/rapports/RR-2443.ps, 19950104 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the pathwise optimal Bernoulli routing policy for homogeneous parallel servers Ger Koole N 2443 Decembre 1994 PROGRAMME 1 Architectures paralle les, bases de donne es, re seaux et syste mes
	ftp://zenon.inria.fr/pub/rapports/RR-2426.ps, 19950104 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Deux variations sur le the me de la consistance d'arcs : maintien et renforcement Pierre Berlandier N 2426 De cembre 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Deux
	ftp://zenon.inria.fr/pub/rapports/RR-2446.ps, 19950104 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Long time asymptotics for some dynamical noise free non-linear filtering problems Fre de ric Ce rou N 2446 December 1994 PROGRAMME 5 Traitement du signal, automatique et productique Long time
	ftp://zenon.inria.fr/pub/rapports/RR-2447.ps, 19950104 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Second Order Defect Correction Scheme for Unsteady Problems Re gis Martin, Herve Guillard N 2447 Novembre 1994 PROGRAMME 6 Calcul scientifique, mode lisation et logiciel nume rique A Second Order
	ftp://zenon.inria.fr/pub/rapports/RR-2448.ps, 19950109 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Etude nume rique de mode les thermochimiques couple s pour les e coulements hypersoniques eule riens Cyril GODART, Maria Vittoria SALVETTI, Jean-Antoine DESIDERI N 2448 Decembre 1994 PROGRAMME 6 Etude
	ftp://zenon.inria.fr/pub/rapports/RR-2422.ps, 19950109 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Recovering and Characterizing Image Features Using An Efficient Model Based Approach Thierry Blaszka, Rachid Deriche N 2422 Novembre 1994 PROGRAMME 4 Robotique, image et vision Recovering and
	ftp://zenon.inria.fr/pub/rapports/TheseSandrine.ps.gz, 19950109 No d'ordre: Universit?e de Paris 7 UFR de Physique TH?ESE Pr?esent?ee par Sandrine MATHIEU Pour l'obtention du titre de Docteur de l'Universit?e de Paris 7 Sp?ecialit?e : M?ethodes Physiques en T?el?ed?etection AIDE ? A LA D?ETERMINATION DE FACI?ES P?EDOPAYSAGERS ? A PARTIR DE DONN?EES SATELLITAIRES
	ftp://zenon.inria.fr/pub/rapports/RR-2444.ps, 19950112 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Driving Vision by Topology Charlie ROTHWELL Joe MUNDY Bill HOFFMAN Van-Duc NGUYEN N 2444 Decembre 1994 PROGRAMME 4 Driving Vision by Topology Charlie ROTHWELL Joe MUNDY Bill HOFFMAN Van-Duc NGUYEN
	ftp://zenon.inria.fr/pub/rapports/RR-2441.ps, 19950112 ISSN 0249-6399apport de recherchefl1995 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The discriminating power of multiplicities in the >=-calculus Ge rard Boudol and Cosimo Laneve N 2441 De cembre 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel The discriminating
	ftp://zenon.inria.fr/pub/rapports/RR-2442.ps, 19950116 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Some remarks about the Riemann problem of first order Hamilton Jacobi equations on general geometries Re mi Abgrall N 2442 De cembre 1994 PROGRAMME 6 Some remarks about the Riemann problem of first order
	ftp://zenon.inria.fr/pub/rapports/RR-2450.ps, 19950123 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An implicit method for turbulent boundary layers simulation Bruno KOOBUS N 2450 De cembre 1994 PROGRAMME 6 An implicit method for turbulent boundary layers simulation Bruno KOOBUS Programme 6 \| Calcul
	ftp://zenon.inria.fr/pub/rapports/RR-2080.ps, 19950123 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An Algorithm for Constructing the Convex Hull of a Set of Spheres in Dimension d Jean-Daniel Boissonnat, Andre Ce re zo, Olivier Devillers, Jacqueline Duquesne, Mariette Yvinec N 2080 Octobre 1993
	ftp://zenon.inria.fr/pub/rapports/RR-2453.ps, 19950123 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Physically Based Rigid Registration of 3-D Free-Form Objects: Application to Medical Imaging Gre goire Malandain , Sara Ferna ndez-Vidal et Jean-Marie Rocchisani N 2453 Janvier 1995 PROGRAMME 4
	ftp://zenon.inria.fr/pub/rapports/RR-2459.ps, 19950123 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Extracting Text from Proofs Yann Coscoy, Gilles Kahn et Laurent The ry N 2459 Janvier 1995 PROGRAMME 2 Extracting Text from Proofs Yann Coscoy, Gilles Kahn et Laurent Th ery Programme 2 \| Calcul
	ftp://zenon.inria.fr/pub/rapports/RR-2432.ps, 19950123 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A self-dual modality for before in the category of coherence spaces and in the category of hypercoherences Christian Retore N 2432 De cembre 1994 PROGRAMME 2 A self-dual modality for before in the
	ftp://zenon.inria.fr/pub/wais/slides-internet-v3.ps.gz, 19950124 23-01-94 internetINRIA Sophia L?internet -Luc Ottavj. 1/70 L?INTERNET Un r?seau de r?seaux Luc Ottavj Ottavj@sophia.inria.fr 23-01-94 internetINRIA Sophia L?internet -Luc Ottavj. 2/70 Sommaire ? G?n?ralit?s ? Architecture des logiciels ? L?Internet en France ? Panorama des applications ? Renseigneme
	ftp://zenon.inria.fr/pub/rapports/RR-2451.ps, 19950131 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Model Based Method for Characterization and Location of Curved Image Features Thierry Blaszka and Rachid Deriche N 2451 De cembre 1994 PROGRAMME 4 A Model Based Method for Characterization and Location
	ftp://zenon.inria.fr/pub/rapports/RR-2431.ps, 19950131 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A note on intersection types Christian Retore N 2431 De cembre 1994 PROGRAMME 2 A note on intersection types Christian Retore Programme 2 Calcul symbolique, programmation et ge nie logiciel Projet MEIJE
	ftp://zenon.inria.fr/pub/rapports/RR-2430.ps, 19950131 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the relation between coherence semantics and multiplicative proof nets. Christian Retore N 2430 De cembre 1994 PROGRAMME 2 On the relation between coherence semantics and multiplicative proof nets.
	ftp://zenon.inria.fr/pub/rapports/RR-2439.ps, 19950207 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Region tracking through image sequences Benedicte Bascle, Rachid Deriche N 2439 Decembre 1994 PROGRAMME 4 Region tracking through image sequences Benedicte Bascle, Rachid Deriche Programme 4 \| Robotique,
	ftp://zenon.inria.fr/pub/rapports/RR-2486.ps, 19950214 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Union and Split Operations on Dynamic Trapezoidal Maps Monique Teillaud N 2486 Fe vrier 1995 PROGRAMME 4 Union and Split Operations on Dynamic Trapezoidal Maps Monique Teillaud Programme 4 \| Robotique,
	ftp://zenon.inria.fr/pub/rapports/RR-2485.ps, 19950214 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Automatic Retrieval of Anatomical Structures in 3D Medical Images Je ro me Declerck, Ge rard Subsol, Jean-Philippe Thirion and Nicholas Ayache. N 2485 Fe vrier 1995 PROGRAMME 4 Automatic Retrieval of
	ftp://zenon.inria.fr/pub/rapports/RR-2470.ps, 19950214 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Validation of 3-D Registration Methods based on Points and Frames Xavier PENNEC, Jean-Philippe THIRION N 2470 January 1995 PROGRAMME 4 Validation of 3-D Registration Methods based on Points and Frames
	ftp://zenon.inria.fr/pub/rapports/RR-2488.ps, 19950227 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Robust identification in the disc algebra from band-limited data Laurent Baratchart, Juliette Leblond, Jonathan R. Partington , N. Torkhani N 2488 Fe vrier 1995 PROGRAMME 5 Robust identification in the
	ftp://zenon.inria.fr/pub/rapports/RR-2494.ps, 19950315 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Taylor Expansions for Poisson Driven (max; +)-Linear Systems Franc ois Baccelli Volker Schmidt N 2494 Fe vrier 1995 PROGRAMME 1 Taylor Expansions for Poisson Driven (max; +)-Linear Systems Fran cois
	ftp://zenon.inria.fr/pub/rapports/RR-2493.ps, 19950315 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Time-varying Exponential Stabilization of the Attitude of a Rigid Spacecraft with Two Controls Pascal Morin and Claude Samson N 2493 February 1995 PROGRAMME 4 Time-varying Exponential Stabilization of
	ftp://zenon.inria.fr/pub/rapports/RR-2339.ps, 19950329 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Integrating Natural Semantics and Attribute Grammars: the Minotaur System Isabelle Attali , Didier Parigot N 2339 Septembre 1994 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel
	ftp://zenon.inria.fr/pub/rapports/RR-2510.ps, 19950330 ISSN 0249-6399apport de recherchefl1995 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The SL Synchronous Language Fre de ric Boussinot , Robert de Simone N 2510 Mars 1995 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel The SL Synchronous Language Fr ed eric Boussinot ,
	ftp://zenon.inria.fr/pub/rapports/RR-2511.ps, 19950330 ISSN 0249-6399apport de recherchefl1995 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Two Semantics for a Language of Reactive Objects Fre de ric Boussinot , Cosimo Laneve N 2511 Mars 1995 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Two Semantics for a Language of
	ftp://zenon.inria.fr/pub/rapports/RR-2508.ps, 19950330 ISSN 0249-6399apport de recherchefl1995 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Bisimulation for higher-order process calculi Davide Sangiorgi N RR-2508 April 1995 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Bisimulation for higher-order process calculi
	ftp://zenon.inria.fr/pub/rapports/RR-2502.ps, 19950330 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE E tude d'algorithmes graphiques dans le cadre de la simulation nume rique. Robert Fournier, Wihem Kherrati N 2502 mars 1995 PROGRAMME 6 tude d'algorithmes graphiques dans le cadre de la simulation num
	ftp://zenon.inria.fr/pub/rapports/CERMICS-95-36.ps, 19950405 Numerical simulation of scattering problems with Fourier-Integral operators. Armel de La Bourdonnaye and Marc Tolentino
	ftp://zenon.inria.fr/pub/rapports/CERMICS-94-33.ps, 19950405 STAGGERED TIME INTEGRATION METHODS FOR A ONE-DIMENSIONAL EULER AEROELASTIC PROBLEM Serge Piperno CERMICS INRIA, B.P. 93, 06902 Sophia-Antipolis Cedex, France.
	ftp://zenon.inria.fr/pub/rapports/CERMICS-95-35.ps, 19950405 A substructuring method for a harmonic wave propagation problem : Analysis of the conditioning number of the problem on the interfaces Armel de La Bourdonnaye1
	ftp://zenon.inria.fr/pub/rapports/RR-2527.ps, 19950413 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Designing a parallel manipulator for a specific workspace Jean-Pierre MERLET N 2527 Avril 1995 PROGRAMME 4 Designing a parallel manipulator for a specific workspace Jean-Pierre MERLET Programme 4 \|
	ftp://zenon.inria.fr/pub/rapports/RR-2515.ps, 19950413 ISSN 0249-6399apport de recherchefl1995 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Lazy functions and mobile processes Davide Sangiorgi N 2515 April 1995 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Lazy functions and mobile processes Davide Sangiorgi November
	ftp://zenon.inria.fr/pub/rapports/CERMICS-95-37.ps, 19950413 APPROXIMATION NUMERIQUE DES EQUATIONS DE MAXWELL EN MILIEU HETEROGENE MONODIMENSIONNEL PAR UN SOLVEUR DE RIEMANN EXACT Guillaume Gimonet, Jean-Pierre Cioni Loula Fezoui, Fr d ric Poupaud Avril 1995 N o 95-37 AN EXACT RIEMANN SOLVER FOR THE NUMERICAL APPROXIMATION OF MAXWELL EQUATIONS IN A
	ftp://zenon.inria.fr/pub/rapports/RR-2520.ps, 19950419 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Identification and matrix rational H2 approximation : a gradient algorithm based on Schur analysis. Pascale Fulcheri, Martine Olivi N 2520 Avril 1995 PROGRAMME 5 Identiocation and matrix rational H2
	ftp://zenon.inria.fr/pub/rapports/RR-2539.ps, 19950427 ISSN 0249-6399apport de recherchefl1995 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE ss-calculus, internal mobility, and agent-passing calculi Davide Sangiorgi N 2539 April 1995 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel ss-calculus, internal mobility, and
	ftp://zenon.inria.fr/pub/rapports/RR-2541.ps, 19950519 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Long time asymptotics for some dynamical noise free non-linear filtering problems, new cases. Fre de ric Ce rou N 2541 May 1995 PROGRAMME 5 Long time asymptotics for some dynamical noise free non-linear
	ftp://zenon.inria.fr/pub/rapports/RR-2538.ps, 19950519 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Comparison of Projective Reconstruction Methods for Pairs of Views Charlie ROTHWELL Gabriella CSURKA Olivier FAUGERAS N 2538 Avril 1995 PROGRAMME 4 A Comparison of Projective Reconstruction Methods for
	ftp://zenon.inria.fr/pub/rapports/RR-2535.ps, 19950519 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Direct Search Generalized Simplex Algorithm for Optimizing Non-linear Functions Hassan Shekarforoush, Marc Berthod, Josiane Zerubia N 2535 Avril 1995 PROGRAMME 4 Direct Search Generalized Simplex
	ftp://zenon.inria.fr/pub/rapports/RR-2537.ps, 19950519 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Me thode de gradients en optimisation combinatoire. Applications a un proble me de sac a dos et au mode le d'Ising Ste phane CRE PEY N 2537 Avril 1995 PROGRAMME 1 M thode de gradients en optimisation
	ftp://zenon.inria.fr/pub/rapports/RR-2554.ps, 19950609 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 1995 Int gration de Connaissances Quali- tatives dans KATEMES St phane Lapalut N 2554 Mai 1995 PROGRAMME 3 Intelligence artificielle, syst mes cognitifs et interaction homme machine INSTITUT NATIONAL DE
	ftp://zenon.inria.fr/pub/rapports/RR-2556.ps, 19950616 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Higher-order abstract syntax in Coq Joe lle Despeyroux , Amy Felty et Andre Hirschowitz N 2556 Mai 1995 PROGRAMME 2 Higher-order abstract syntax in Coq Jo lle Despeyroux , Amy Felty et Andr Hirschowitz
	ftp://zenon.inria.fr/pub/rapports/RR-2551.ps, 19950616 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Complete Implementation for Computing General Dimensional Convex Hulls Ioannis Z. Emiris N 2551 Mai 1995 PROGRAMME 2 A Complete Implementation for Computing General Dimensional Convex Hulls Ioannis Z.
	ftp://zenon.inria.fr/pub/rapports/RR-2547.ps, 19950616 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Fast Non-Rigid Matching of 3D Medical Images Jean-Philippe THIRION N 2547 May 1995 PROGRAMME 4 Fast Non-Rigid Matching of 3D Medical Images Jean-Philippe THIRION Programme 4 \| Robotique, image et vision
	ftp://zenon.inria.fr/pub/rapports/RR-2581.ps, 19950616 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE >=-Calculus, Multiplicities and the ss-Calculus Ge rard Boudol and Cosimo Laneve N 2581 Juin 1995 PROGRAMME 2 >=-Calculus, Multiplicities and the ss-Calculus G erard Boudol and Cosimo Laneve Programme 2
	ftp://zenon.inria.fr/pub/rapports/RR-2572.ps, 19950619 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 3-D Reconstruction of Urban Scenes from Sequences of Images Olivier Faugeras, Ste phane Laveau, Luc Robert and Gabriella Csurka, Cyril Zeller N 2572 Juin 1995 PROGRAMME 4 3-D Reconstruction of Urban
	ftp://zenon.inria.fr/pub/rapports/RR-2567.ps, 19950619 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Particle and cell approximations for nonlinear filtering Fabien Campillo, Fre de ric Ce rou, Franc ois Le Gland, Rivo Rakotozafy N 2567 Juin 1995 PROGRAMME 5 Particle and cell approximations for
	ftp://zenon.inria.fr/pub/rapports/RR-2568.ps, 19950619 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Minimal Representation of Uniform Recurrence Equations Bruno Gaujal, Alain Jean-Marie and Jean Mairesse N 2568 June 1995 PROGRAMME 1 Minimal Representation of Uniform Recurrence Equations Bruno Gaujal,
	ftp://zenon.inria.fr/pub/rapports/RR-2575.ps, 19950620 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An Output-Sensitive Convex Hull Algorithm for Planar Objects Franck Nielsen, Mariette Yvinec N 2575 Mai 1995 PROGRAMME 4 An Output-Sensitive Convex Hull Algorithm for Planar Objects Franck Nielsen ,
	ftp://zenon.inria.fr/pub/rapports/RR-2574.ps, 19950620 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE CONSTRAINED MARKOV DECISION PROCESSES Eitan ALTMAN N 2574 Mai 1995 PROGRAMME 1 CONSTRAINED MARKOV DECISION PROCESSES Eitan ALTMAN Programme 1 \| Architectures parall eles, bases de donn ees, r eseaux et
	ftp://zenon.inria.fr/pub/rapports/RR-2583.ps, 19950620 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 3-D Vertical Ray Shooting and 2-D Point Enclosure, Range Searching, and Arc Shooting Amidst Convex Fat Objects Matthew Katz N 2583 Juin 1995 PROGRAMME 4 3-D Vertical Ray Shooting and 2-D Point Enclosure,
	ftp://zenon.inria.fr/pub/rapports/RR-2586.ps, 19950621 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A General Scheme for Automatically Building 3D Morphometric Anatomical Atlases: application to a Skull Atlas Ge rard Subsol, Jean-Philippe Thirion, Nicholas Ayache N 2586 Mai 1995 PROGRAMME 4 A General
	ftp://zenon.inria.fr/pub/rapports/RT-172.ps, 19950621 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Syste?me de miroirs pour la ste?re?oscopie Herve? MATHIEU , Fre?de?ric DEVERNAY N? 172 Juin 1995 PROGRAMME 4 Syst?me de miroirs pour la st?r?oscopie Herv? MATHIEU , Fr?d?ric DEVERNAY Programme 4 ? Robo
	ftp://zenon.inria.fr/pub/skey/doc/skey.sophia.ps.gz, 19950629 L' Authentification par Skey ? l'INRIA Sophia. Introduction Mise en Oeuvre Questions Fr?quentes Lexique Etat: V1 Cr?? le: 23 Juin 1995 Derni?re modification: 27 Juin 1995 Diffusion: Inria Auteur: Daniel Terrer Introduction Vous ?tes (allez ?tre) confront?s ? une demande d'authentification S/Key.
	ftp://zenon.inria.fr/pub/rapports/RR-2584.ps, 19950713 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Applications of non-metric vision to some visually guided robotics tasks Luc Robert, Cyril Zeller, Olivier Faugeras and Martial He bert N 2584 Juin 1995 PROGRAMME 4 Applications of non-metric vision to
	ftp://zenon.inria.fr/pub/rapports/RR-2606.ps, 19950713 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Preserving Linear Design Capabilities in the Nonlinear Control of Nonholonomic Autonomous Underwater Vehicles Aristide Santos, Robert Bitmead N 2606 Juillet 1995 PROGRAMME 4 Preserving Linear Design
	ftp://zenon.inria.fr/pub/rapports/RR-2013.ps, 19950724 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Real time correlation-based stereo: algorithm, implementations and applications Olivier Faugeras - Bernard Hotz - Herve Mathieu - Thierry Vie ville Zhengyou Zhang - Pascal Fua - Eric The ron - Laurent
	ftp://zenon.inria.fr/pub/rapports/RR-2617.ps, 19950726 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A parametric deformable model to ot unstructured 3D data Eric Bardinet , Laurent D. Cohen , Nicholas Ayache N 2617 Juillet 1995 PROGRAMME 4 A parametric deformable model to ot unstructured 3D data Eric
	ftp://zenon.inria.fr/pub/rapports/RR-2149-color.ps, 19950727 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl The Extremal Mesh and the Understanding of 3D Surfaces Jean-Philippe THIRION N 2149 Decembre 1993 The Extremal Mesh and the Understanding of 3D Surfaces
	ftp://zenon.inria.fr/pub/rapports/RR-2639.ps, 19950816 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 1995 Text Clustering to Support Knowledge Acquisition from Documents St phane Lapalut N 2639 Ao t 1995 PROGRAMME 3 Intelligence artificielle, syst mes cognitifs et interaction homme machine INSTITUT
	ftp://zenon.inria.fr/pub/rapports/RR-2528.ps, 19950816 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Unsupervised Parallel Image Classification Using a Hierarchical Markovian Model Zoltan Kato, Josiane Zerubia, Marc Berthod N 2528 Avril 1995 PROGRAMME 4 Unsupervised Parallel Image Classification Using a
	ftp://zenon.inria.fr/pub/rapports/RR-2609.ps, 19950816 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Sensor-Based Control of Holonomic Autonomous Underwater Vehicles Aristide Santos, Bernard Espiau, Patrick Rives, Daniel Simon, Vincent Rigaud N 2609 Juillet 1995 PROGRAMME 4 Sensor-Based Control of
	ftp://zenon.inria.fr/pub/rapports/RR-2612.ps, 19950816 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A front-end generator for verification tools Rance W Cleaveland , Eric Madelaine , Steve Sims N 2612 Juillet 1995 PROGRAMME 2 A front-end generator for veriocation tools Rance W Cleaveland , Eric
	ftp://zenon.inria.fr/pub/rapports/RR-2594.ps, 19950816 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Parallel Solutions of Three-Dimensional Compressible Flows Ste phane Lanteri N 2594 Juin 1995 PROGRAMME 6 Parallel Solutions of Three-Dimensional Compressible Flows St ephane Lanteri Programme 6 \| Calcul
	ftp://zenon.inria.fr/pub/rapports/RR-2621.ps, 19950817 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Euler Scheme for Le vy driven Stochastic Differential Equations Philip PROTTER , Denis TALAY N 2621 Juillet 1995 PROGRAMME 6 The Euler Scheme for L vy driven Stochastic Dioeerential Equations Philip
	ftp://zenon.inria.fr/pub/rapports/RR-2560.ps, 19950818 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Characterizing the Uncertainty of the Fundamental Matrix Gabriella CSURKA Cyril ZELLER Zhengyou ZHANG Olivier FAUGERAS N 2560 Juin 1995 PROGRAMME 4 Characterizing the Uncertainty of the Fundamental
	ftp://zenon.inria.fr/pub/rapports/RR-2626.ps, 19950828 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Computing a single cell in the union of two simple polygons Mark de Berg, Olivier Devillers, Katrin Dobrindt, Otfried Schwarzkopf N 2626 Juillet 1995 PROGRAMME 4 Computing a single cell in the union of
	ftp://zenon.inria.fr/pub/rapports/RR-2624.ps, 19950828 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Simultaneous Dominance Representation of Multiple Posets Paul J. Tanenbaum and Sue Whitesides N 2624 Juillet 1995 PROGRAMME 4 Simultaneous Dominance Representation of Multiple Posets Paul J. Tanenbaum
	ftp://zenon.inria.fr/pub/rapports/RR-2622.ps, 19950828 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Universal 3-Dimensional Visibility Representations for Graphs Helmut Alt Michael Godau , Sue Whitesides N 2622 Juillet 1995 PROGRAMME 4 Universal 3-Dimensional Visibility Representations for Graphs
	ftp://zenon.inria.fr/pub/rapports/RR-2641.ps, 19950828 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Ergodic Theorems for Stochastic Operators and Discrete Event Networks Franc ois Baccelli Jean Mairesse N 2641 Aou t 1995 PROGRAMME 1 Ergodic Theorems for Stochastic Operators and Discrete Event Networks
	ftp://zenon.inria.fr/pub/rapports/RR-2629.ps, 19950912 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Voronoi Diagrams in Higher Dimensions under Certain Polyhedral Distance Functions Jean-Daniel Boissonnat , Micha Sharir , Boaz Tagansky , Mariette Yvinec N 2629 Aou t 1995 PROGRAMME 4 Voronoi Diagrams in
	ftp://zenon.inria.fr/pub/rapports/RR-2650.ps, 19950919 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 1995 An Experimental User Level Implementation of TCP. Torsten Braun, Christophe Diot, Anna Hoglander, Vincent Roca N 2650 September 1995 PROGRAMME 1 Architectures parall les, bases de donn es, r seaux
	ftp://zenon.inria.fr/pub/rapports/RT-180.ps, 19950922 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE ELIESER : USER MANUAL Nicolas MERLET , Josiane ZERUBIA N? 0180 Septembre 1995 PROGRAMME 4 ELIESER : USER MANUAL Nicolas MERLET ? , Josiane ZERUBIA ?? Programme 4 \| Robotique, image et vision Projet Pas
	ftp://zenon.inria.fr/pub/rapports/RT-181.ps, 19950922 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE ELIESER : MANUEL UTILISATEUR Nicolas MERLET , Josiane ZERUBIA N? 0181 Septembre 1995 PROGRAMME 4 ELIESER : MANUEL UTILISATEUR Nicolas MERLET ? , Josiane ZERUBIA ?? Programme 4 ? Robotique, image et vis
	ftp://zenon.inria.fr/pub/rapports/RR-2642.ps, 19951016 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Performance Analysis of Stochastic Timed Petri Nets using Linear Programming Approach Zhen Liu N 2642 Aou t 1995 PROGRAMME 1 Performance Analysis of Stochastic Timed Petri Nets using Linear Programming
	ftp://zenon.inria.fr/pub/rapports/RR-2566.ps, 19951016 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Scheduling UET-UCT Series-Parallel Graphs on Two Processors Lucian Finta Zhen Liu Ioannis Milis Evripidis Bampis N 2566 Mai 1995 PROGRAMME 1 Scheduling UET-UCT Series-Parallel Graphs on Two Processors
	ftp://zenon.inria.fr/pub/rapports/RR-2664.ps, 19951016 ISSN 0249-6399apport de recherchefl1995 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Reactive Objects Fre de ric Boussinot , Guillaume Doumenc , Jean-Bernard Stefani N 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge nie logiciel Reactive Objects Fr ed eric
	ftp://zenon.inria.fr/pub/rapports/RR-2661.ps, 19951016 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Understanding the Shape Properties of Trihedral Polyhedra Charlie ROTHWELL and Julien STERN N 2661 Octobre 1995 PROGRAMME 4 Understanding the Shape Properties of Trihedral Polyhedra Charlie ROTHWELL and
	ftp://zenon.inria.fr/pub/rapports/RR-2660.ps, 19951016 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Un mode le dynamique de comportement d'une entreprise Philippe Dulbecco, Jean Luc Gaffard, Philippe Laurent, Juliette Leblond, Jean Baptiste Pomet N 2660 Septembre 1995 PROGRAMME 5 Un mod ele dynamique
	ftp://zenon.inria.fr/pub/rapports/RR-2658.ps, 19951017 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On submodular value functions of dynamic programming Eitan Altman & Ger Koole N 2658 Octobre 1995 PROGRAMME 1 On submodular value functions of dynamic programming Eitan Altman & Ger Koole Programme 1
	ftp://zenon.inria.fr/pub/rapports/RR-2659.ps, 19951017 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Optimal Load Balancing on Distributed Homogeneous Unreliable Processors Zhen Liu and Rhonda Righter N 2659 Septembre 1995 PROGRAMME 1 Optimal Load Balancing on Distributed Homogeneous Unreliable
	ftp://zenon.inria.fr/pub/rapports/RR-2676.ps, 19951019 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Parameter Estimation Techniques: A Tutorial with Application to Conic Fitting Zhengyou Zhang N 2676 Octobre 1995 PROGRAMME 4 Parameter Estimation Techniques: A Tutorial with Application to Conic Fitting
	ftp://zenon.inria.fr/pub/rapports/RR-2673.ps, 19951019 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Importance of Reasoning about Occlusions during Hypothesis Verification in Object Recognition Charlie ROTHWELL N 2673 Octobre 1995 PROGRAMME 4 The Importance of Reasoning about Occlusions during
	ftp://zenon.inria.fr/pub/rapports/RR-2665.ps, 19951026 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the geometry and algebra of the point and line correspondences between N images Olivier Faugeras and Bernard Mourrain N 2665 October 1995 PROGRAMME 4 On the geometry and algebra of the point and line
	ftp://zenon.inria.fr/pub/wais/slides.ps.gz, 19951107 INRIA-Sophia LO-wais-v7 18/67 Indexation : waisindex Parcourt une hi rarchie de fichiers et constitue un index. L option -t permet de pr ciser un type qui va d terminer Les r gles de d coupage des fichiers en documents Le Format du document dvi,postscript,mime, mail ... La facon de constituer la ligne d
	ftp://zenon.inria.fr/pub/rapports/RR-2678.ps, 19951109 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Using Singular Displacements for Uncalibrated Monocular Visual Systems Thierry Vie ville and Diane Lingrand N 2678 Octobre 1995 PROGRAMME 4 Using Singular Displacements for Uncalibrated Monocular Visual
	ftp://zenon.inria.fr/pub/rapports/RR-2675.ps, 19951109 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Law of the Euler Scheme for Stochastic Differential Equations : II. Convergence Rate of the Density Vlad BALLY , Denis TALAY N 2675 Octobre 1995 PROGRAMME 6 The Law of the Euler Scheme for Stochastic
	ftp://zenon.inria.fr/pub/rapports/RR-2687.ps, 19951113 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Dynamic Foveal 3D Sensing Using Affine Models Diane Lingrand and Thierry Vie ville N 2687 Octobre 1995 PROGRAMME 4 Dynamic Foveal 3D Sensing Using AOEne Models Diane Lingrand and Thierry Vi ville
	ftp://zenon.inria.fr/pub/rapports/RR-2711.ps, 19951113 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Call Admission Control Schemes under the Generalized Processor Sharing Scheduling Zhi-Li Zhang, Zhen Liu, Jim Kurose, Don Towsley N 2711 Novembre 1995 PROGRAMME 1 Call Admission Control Schemes under the
	ftp://zenon.inria.fr/pub/rapports/RR-2710.ps, 19951113 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Worst-Case Analysis of Scheduling Heuristics of Parallel Systems Zhen Liu N 2710 Novembre 1995 PROGRAMME 1 Worst-Case Analysis of Scheduling Heuristics of Parallel Systems Zhen Liu Programme 1 \|
	ftp://zenon.inria.fr/pub/rapports/RR-2705.ps, 19951113 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Computing Largest Circles Separating Two Sets of Segments Jean-Daniel Boissonnat, Jurek Czyzowicz, Olivier Devillers, Jorge Urrutia, Mariette Yvinec, N 2705 Novembre 1995 PROGRAMME 4 Computing Largest
	ftp://zenon.inria.fr/pub/rapports/RR-2707.ps, 19951114 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Subpixel Image Registration by Estimating the Polyphase Decomposition of the Cross Power Spectrum Hassan Shekarforoush, Marc Berthod, Josiane Zerubia N 2707 Novembre 1995 PROGRAMME 4 Subpixel Image
	ftp://zenon.inria.fr/pub/rapports/RR-2706.ps, 19951114 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 3D Super-resolution Using Generalised Sampling expansion Hassan Shekarforoush, Marc Berthod, Josiane Zerubia N 2706 Novembre 1995 PROGRAMME 4 3D Super-resolution Using Generalised Sampling expansion
	ftp://zenon.inria.fr/pub/rapports/RR-2719.ps, 19951115 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification Bernard Espiau, Konstantin Kapellos, Muriel Jourdan, Daniel Simon N 2719 Novembre 1995 PROGRAMME 4
	ftp://zenon.inria.fr/pub/rapports/RR-2720.ps, 19951115 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasks Daniel SIMON , Eduardo CASTILLO and Paul FREEDMAN N 2720 Novembre 1995 PROGRAMME 4 On the Validation
	ftp://zenon.inria.fr/pub/rapports/RR-2542.ps, 19951117 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Ge ome trie Ale atoire et Architecture de Re seaux de Communications Franc ois BACCELLI, Maurice KLEIN, Marc LEBOURGES et Sergue ZUYEV N 2542 Mai 1995 PROGRAMME 1 G om trie Al atoire et Architecture de R
	ftp://zenon.inria.fr/pub/rapports/RR-2691.ps, 19951120 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Etude d'un traitement par petites perturbations du domaine pour l'e quation d'Euler instationnaire Christophe Debiez N 2691 Octobre 1995 PROGRAMME 6 Etude d'un traitement par petites perturbations du
	ftp://zenon.inria.fr/pub/rapports/RT-182.ps, 19951120 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE COCKTAIL Manuel d'utilisation Sandrine MATHIEU-MARNI, Marc BERTHOD N? 182 De?cembre 1995 PROGRAMME 4 COCKTAIL Manuel d'utilisation Sandrine MATHIEU-MARNI, Marc BERTHOD Programme 4 ? Robotique, image et
	ftp://zenon.inria.fr/pub/rapports/RR-2732.ps, 19951121 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An Operational Semantics for the Eiffel// Language Isabelle Attali , Denis Caromel , Sidi Ould Ehmety N 2732 Novembre 1995 PROGRAMME 2 An Operational Semantics for the Eioeel// Language Isabelle Attali ,
	ftp://zenon.inria.fr/pub/rapports/RR-2713.ps, 19951124 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Sequential Simulation in Prosit: Programming Model and Implementation Philippe Mussi, Gu nther Siegel N 2713 Novembre 1995 PROGRAMME 1 Sequential Simulation in Prosit: Programming Model and
	ftp://zenon.inria.fr/pub/rapports/RR-2712.ps, 19951128 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Re solution de l'e quation de Poisson sur des maillages e tire s par une me thode multigrille Je ro me FRANCESCATTO N 2712 Novembre 1995 PROGRAMME 6 R solution de l' quation de Poisson sur des maillages
	ftp://zenon.inria.fr/pub/rapports/RR-2697.ps, 19951211 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Les EDP en Traitement des Images et Vision par Ordinateur Rachid Deriche et Olivier Faugeras N 2697 Novembre 1995 PROGRAMME 4 Les EDP en Traitement des Images et Vision par Ordinateur Rachid Deriche et
	ftp://zenon.inria.fr/pub/rapports/RR-2737.ps, 19951212 diteur Inria, Domaine de Voluceau, Rocquencourt, BP 105 LE CHESNAY Cedex (France) ISSN 0249-6399 Unit de recherche INRIA Lorraine, technop le de Nancy-Brabois, 615 rue du jardin botanique, BP 101, 54600 VILLERS-L S-NANCY Unit de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042
	ftp://zenon.inria.fr/pub/rapports/RR-2748.ps, 19951218 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE HIPPCO: A High Performance Protocol Code Optimizer Claude Castelluccia, Walid Dabbous N 2748 De cembre 1995 PROGRAMME 1 HIPPCO: A High Performance Protocol Code Optimizer Claude Castelluccia, Walid
	ftp://zenon.inria.fr/pub/rapports/RR-2756.ps, 19951221 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE E tude par le calcul formel d'une question issue du proble me a 4 corps Alain Sausse N 2756 De cembre 1995 PROGRAMME 2 tude par le calcul formel d'une question issue du probl me 4 corps Alain Sausse
	ftp://zenon.inria.fr/pub/rapports/RT-183.ps, 19951221 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Manuel de re?fe?rence du Logiciel OCAPI Version 2.0 Sabine Moisan, Re?gis Vincent, Monique Thonnat, Ve?ronique Cle?ment, John van den Elst N? 0183 Novembre 1995 PROGRAMME 3 Manuel de r?f?rence du Logic
	ftp://zenon.inria.fr/pub/rapports/RR-2725.ps, 19951221 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE From Projective to Euclidean Reconstruction Fre de ric Devernay , Olivier Faugeras N 2725 Novembre 1995 PROGRAMME 4 From Projective to Euclidean Reconstruction Fr d ric Devernay , Olivier Faugeras
	ftp://zenon.inria.fr/pub/rapports/RR-2724.ps, 19951221 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Non-Maxima Suppression Method for Edge Detection with Sub-Pixel Accuracy Fre de ric Devernay N 2724 Novembre 1995 PROGRAMME 4 A Non-Maxima Suppression Method for Edge Detection with Sub-Pixel Accuracy
	ftp://zenon.inria.fr/pub/rapports/CERMICS-93-19.ps, 19960117 A Parallel Compressible 3D Navier-Stokes Solver Using Unstructured Meshes Mark LORIOT Loula FEZOUI SIMULOG, Les Taissouni res HB2, Route des Dolines, 06560 VALBONNE, FRANCE. CERMICS/INRIA Sophia-Antipolis, 2004, Route des Lucioles, 06560 VALBONNE, FRANCE.
	ftp://zenon.inria.fr/pub/rapports/CERMICS-95-39.ps, 19960117 APPLICATION AUX SCHEMAS VOLUMES FINIS D'UNE METHODE DE PENALISATION DES CONTRAINTES POUR LE SYSTEME DE MAXWELL Sophie DEPEYRE et Didier ISSAUTIER Juin 1995 N o 95-39 APPLICATION TO FINITE VOLUME SCHEMES OF A CONSTRAINED FORMULATION OF THE MAXWELL SYSTEM Sophie Depeyre 1, Didier Issautier 1 ; 2
	ftp://zenon.inria.fr/pub/rapports/RR-2734.ps, 19960118 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Upper and Lower Bounds on Overflow Probabilities for a Multiplexer with Multiclass Markovian Sources Damien Artiges et Philippe Nain N 2734 Novembre 1995 PROGRAMME 1 Upper and Lower Bounds on Overflow
	ftp://zenon.inria.fr/pub/rapports/RT-187.ps, 19960118 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE ?ARC?: Simulateur d'architecture de re?seaux de communications Pascal Desnogues - Hery Rakotoarisoa N? 0187 Janvier 1996 PROGRAMME 1 ?ARC?: Simulateur d'architecture de re?seaux de communications Pasca
	ftp://zenon.inria.fr/pub/rapports/RR-2765.ps, 19960124 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Computing Structure and Motion of General 3D Rigid Curves from Monocular Sequences of Perspective Images The o Papadopoulo, Olivier Faugeras N 2765 De cembre 1995 PROGRAMME 4 Computing Structure and
	ftp://zenon.inria.fr/pub/rapports/RR-2735.ps, 19960124 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Bounds on Finite Horizon QoS Metrics with Application to Call Admission Zhen LIU Philippe NAIN Don TOWSLEY N 2735 Novembre 1995 PROGRAMME 1 Bounds on Finite Horizon QoS Metrics with Application to Call
	ftp://zenon.inria.fr/pub/rapports/RR-2770.ps, 19960129 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Automatic Registration and Alignment on a Template of Cardiac Stress & Rest SPECT Images Je ro me Declerck, Jacques Feldmar, Michael L. Goris and Fabienne Betting N 2770 Janvier 1996 PROGRAMME 4
	ftp://zenon.inria.fr/pub/rapports/RR-2750.ps, 19960130 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Optimization of positive generalized polynomials under lp constraints Laurent Baratchart, Marc Berthod, Lo c Pottier N 2750 De cembre 1995 PROGRAMME 4 Optimization of positive generalized polynomials
	ftp://zenon.inria.fr/pub/rapports/CERMICS-95-41.ps, 19960130 METHODES NUMERIQUES DECENTREES D'ORDRE ELEVE EN DEUX DIMENSIONS D'ESPACE. Sophie DEPEYRE, Bernard LARROUTUROU, et Romuald CARPENTIER Aout 1995 N o 95-41 HIGH-ORDER UPWIND NUMERICAL METHODS IN TWO SPACE DIMENSIONS Sophie Depeyre, Bernard Larrouturou, Romuald Carpentier CERMICS INRIA, 06902
	ftp://zenon.inria.fr/pub/rapports/RR-2739.ps, 19960130 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Estimation of the Stochastic Volatility of a Diffusion Process I. Comparison of Haar basis Estimator and Kernel Estimators. Pierre BERTRAND N 2739 Janvier 1996 PROGRAMME 6 Estimation of the Stochastic
	ftp://zenon.inria.fr/pub/rapports/RR-2752.ps, 19960130 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Some properties of clothoids Vladimir Kostov Elena Degtiariova-Kostova N 2752 De cembre 1995 PROGRAMME 4 Some properties of clothoids Vladimir Kostov Elena Degtiariova-Kostova Programme 4 Robotique,
	ftp://zenon.inria.fr/pub/rapports/RR-2764.ps, 19960202 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Separation Theorem for Expected Value and Feared Value Discrete Time Control Pierre Bernhard N 2764 De cembre 1995 PROGRAMME 5 A Separation Theorem for Expected Value and Feared Value Discrete Time
	ftp://zenon.inria.fr/pub/rapports/TheseTancredi.ps.gz, 19960205 Nffi d'ordre : TH?SE pr?par?e ? l'inria Sophia Antipolis pr?sent?e par Luc Tancredi pour l'obtention du titre de Docteur en Sciences de L'?COLE NATIONALE SUP?RIEURE DES MINES DE PARIS Sp?cialit? : Informatique temps r?el, Robotique et Automatique DE LA SIMPLIFICATION ET LA R?SOLUTION DU MOD?LE G?OM?
	ftp://zenon.inria.fr/pub/rapports/RR-2780.ps, 19960208 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Reasoning with Executable Specifications Yves Bertot, Ranan Fraer N 2780 Janvier 1996 PROGRAMME 2 Reasoning with Executable Speciocations Yves Bertot, Ranan Fraer Programme 2 Calcul symbolique,
	ftp://zenon.inria.fr/pub/rapports/RR-2785.ps, 19960208 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Expansions for Steady-State Characteristics in (max; +)-Linear Systems Franc ois Baccelli Sven Hasenfuss Volker Schmidt N 2785 Janvier 1996 PROGRAMME 1 Expansions for Steady-State Characteristics in
	ftp://zenon.inria.fr/pub/rapports/RT-186.ps, 19960208 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Documentation de l'Interface du Logiciel OCAPI Version 2.0 Sabine Moisan, Florimont Ployette, Monique Thonnat, Ve?ronique Cle?ment, Re?gis Vincent N? 0186 De?cembre 1995 PROGRAMME 3 Documentation de l'
	ftp://zenon.inria.fr/pub/rapports/RR-2771.ps, 19960208 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Squelettes Euclidiens d'Objets Discrets n-Dimensionnels Sara Ferna ndez-Vidal et Gre goire Malandain N 2771 Janvier 1996 PROGRAMME 4 Squelettes Euclidiens d'Objets Discrets n-Dimensionnels Sara Fern
	ftp://zenon.inria.fr/pub/rapports/RR-2787.ps, 19960209 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Simulations of large telecommunication networks based on probabilistic modeling Sergei ZUYEV , Pascal DESNOGUES , Hery RAKOTOARISOA N 2787 Janvier 1996 PROGRAMME 1 Simulations of large telecommunication
	ftp://zenon.inria.fr/pub/rapports/RR-2793.ps, 19960215 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Camera Self-Calibration from Video Sequences: the Kruppa Equations Revisited Cyril Zeller, Olivier Faugeras INRIA Sophia Antipolis, BP 93, 06902 Sophia Antipolis Cedex, France N 2793 Fe vrier 1996
	ftp://zenon.inria.fr/pub/rapports/RR-2786.ps, 19960219 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE ALFred, an ALF/ILP Protocol Compiler for Distributed Application Automated Design. Torsten Braun, Isabelle Chrisment, Christophe Diot, Fran ois Gagnon, Laurent Gautier, Philipp Hoschka N 2786 January
	ftp://zenon.inria.fr/pub/rapports/RR-2792.ps, 19960219 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Application of Backstepping Techniques to the Time-varying Exponential Stabilization of Chained Form Systems Pascal MORIN - Claude SAMSON N 2792 February 1996 PROGRAMME 4 Application of Backstepping
	ftp://zenon.inria.fr/pub/rapports/RR-2738.ps, 19960219 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Upwind schemes for the two-dimensional shallow water equations with variable depth using unstructured meshes A. Bermu dez, A. Dervieux, J.A. De side ri & M.E. Va zquez N 2738 De cembre 1995 PROGRAMME 6
	ftp://zenon.inria.fr/pub/rapports/CERMICS-95-40.ps, 19960221 STABILITY ANALYSIS FOR FINITE VOLUME SCHEMES ON RECTANGULAR AND TRIANGULAR MESHES APPLIED TO THE TWO-DIMENSIONAL MAXWELL SYSTEM. Sophie DEPEYRE Juillet 1995 N o 95-40 STABILITY ANALYSIS FOR FINITE VOLUME SCHEMES ON RECTANGULAR AND TRIANGULAR MESHES APPLIED TO THE TWO-DIMENSIONAL MAXWELL SYSTEM. Sophie
	ftp://zenon.inria.fr/pub/skey/doc/skey.xaristote.ps.Z, 19960221 30-11-95 SEMINAIRE X-ARISTOTE: SECURITE ET AUTHENTIFICATION 1/20 Authentification par mot de passe a usage unique L?exp?rience de l'INRIA ? Sophia-Antipolis Patrick Cipi?re 30-11-95 SEMINAIRE X-ARISTOTE: SECURITE ET AUTHENTIFICATION 2/20 Le Danger Le mot de passe transmis sur le r?seau est r?utilis
	ftp://zenon.inria.fr/pub/rapports/RR-2795.ps, 19960227 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Applicabilite de la diffe rentiation automatique a un syste me d'e quations aux de rive es partielles re gissant les phe nome nes thermohydrauliques dans un tube chauffant. Fre de ric Eyssette, Christe
	ftp://zenon.inria.fr/pub/rapports/RR-2804.ps, 19960227 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Interactive Theorem Proving with Temporal Logic Amy Felty, Laurent The ry N 2804 Fe vrier 1996 PROGRAMME 2 Interactive Theorem Proving with Temporal Logic Amy Felty , Laurent Th ry Programme 2 Calcul
	ftp://zenon.inria.fr/pub/rapports/RR-2817.ps, 19960307 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mode?lisation ge?ome?trique de me?canismes de suspension automobile Jean-Pierre MERLET N? 2817 Mars 1996 PROGRAMME 4 Mod?elisation g?eom?etrique de m?ecanismes de suspension automobile Jean-Pierre M
	ftp://zenon.inria.fr/pub/rapports/RR-2779.ps, 19960307 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Motion Analysis of 3D Rigid Curves from Monocular Image Sequences The o Papadopoulo N 2779 Janvier 1996 PROGRAMME 4 Motion Analysis of 3D Rigid Curves from Monocular Image Sequences Th o Papadopoulo
	ftp://zenon.inria.fr/pub/rapports/RR-2820.ps, 19960313 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Randomness and Geometric Features in Computer Vision Xavier PENNEC, Nicholas AYACHE N? 2820 March 1996 PROGRAMME 4 Randomness and Geometric Features in Computer Vision Xavier PENNEC, Nicholas AYACHE
	ftp://zenon.inria.fr/pub/rapports/RR-2809.ps, 19960313 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Symbolic Elimination for parallel manipulators Luc Tancredi, Monique Teillaud, Olivier Devillers N 2809 Fe vrier 1996 PROGRAMME 4 Symbolic Elimination for parallel manipulators Luc Tancredi , Monique
	ftp://zenon.inria.fr/pub/rapports/CERMICS-95-44.ps, 19960314 Un algorithme distribu pour la r solution des probl mes de contraintes en domaines onis Nicolas Prcovic Rapport de Recherche CERMICS 95.44 Novembre 95 Un algorithme distribu pour la r solution des probl mes de contraintes en domaines onis Rapport de stage du DEA IARFA (Paris VI) Nicolas Prcovic Novembre
	ftp://zenon.inria.fr/pub/rapports/RR-2778.ps, 19960319 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Robust interpolation and approximation for A(D )-functions on subsets of the circle Nabil Torkhani N 2778 Janvier 1996 THE ME 4 Robust interpolation and approximation for A(D )-functions on subsets of
	ftp://zenon.inria.fr/pub/rapports/RR-2823.ps, 19960319 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Time-Accurate Schemes for Computing Two- and Three-Dimensional Viscous Fluxes on Unstructured Dynamic Meshes Bruno KOOBUS and Charbel FARHAT. N? 2823 Mars 1996 PROGRAMME 6 Time-Accurate Schemes for
	ftp://zenon.inria.fr/pub/rapports/RR-2831.ps, 19960326 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Spectral analysis of Defect-Correction algorithms for hyperbolic equations M.C. Ciccoli & J.A. De?side?ri N 2831 Mars 1996 THE? ME 4 Spectral analysis of Defect-Correction algorithms for hyperbo
	ftp://zenon.inria.fr/pub/rapports/RR-2826.ps, 19960326 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mascotte : A few Maple Routines for Real-Time Code Generation Thierry Vie?ville N 2826 Mars 1996 THE? ME 3 Mascotte : A few Maple Routines for Real-Time Code Generation Thierry Vi?ville Th?me 3 ? In
	ftp://zenon.inria.fr/pub/rapports/RR-2832.ps, 19960329 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Computing the Maximum Overlap of Two Convex Polygons Under Translations Mark de Berg, Olivier Devillers, Marc van Kreveld, Otfried Schwarzkopf, Monique Teillaud N 2832 Mars 1996 THE? ME 2 Computing
	ftp://zenon.inria.fr/pub/rapports/RR-2824.ps, 19960329 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Comparaison entre des sche?mas 2D de type Roe sur maillage re?gulier triangle ou quadrangle. I: calcul au sommet - pentes centre?es Romuald CARPENTIER N? 2824 Mars 1996 THE?ME 4 Comparaison entre de
	ftp://zenon.inria.fr/pub/rapports/RR-2837.ps, 19960329 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mode?les bas-Reynolds applique?s a? une couche limite compressible Je?ro? me FRANCESCATTO N? 2837 Mars 1996 THE?ME 4 Mod?les bas-Reynolds appliqu?s ? une couche limite compressible J?r?me FRANCESCAT
	ftp://zenon.inria.fr/pub/rapports/RR-2839.ps, 19960401 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Liveness in Free-Choice Petri Nets An Algebraic Approach Franc?ois Baccelli et Bruno Gaujal N? 2839 Mars 1996 THE? ME 1 Liveness in Free-Choice Petri Nets An Algebraic Approach Fran?ois Baccelli et
	ftp://zenon.inria.fr/pub/rapports/RR-2811.ps, 19960404 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Approximations de?centre?es a? faible dissipation pour des proble?mes hyperboliques Christophe Debiez N? 2811 Fe?vrier 1996 PROGRAMME 6 Approximations d?centr?es ? faible dissipation pour des probl?
	ftp://zenon.inria.fr/pub/rapports/RR-2848.ps, 19960405 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Jumps and Diffusions in Volatility: It Takes Two to Tango. Renzo G. AVESANI , Pierre BERTRAND N? 2848 Mars 1996 THE? ME 4 Jumps and Dioeusions in Volatility: It Takes Two to Tango. Renzo G. AVESANI
	ftp://zenon.inria.fr/pub/rapports/RR-2863.ps, 19960424 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Weighted H2 approximation of transfer functions Juliette Leblond, Martine Olivi N 2863 Avril 1996 THE ME 4 Weighted H2 approximation of transfer functions Juliette Leblond, Martine Olivi Th me 4
	ftp://zenon.inria.fr/pub/rapports/RR-2865.ps, 19960424 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Exponential Bounds with Applications to Call Admission Zhen LIU Philippe NAIN Don TOWSLEY N 2865 Avril 1996 THE ME 1 Exponential Bounds with Applications to Call Admission Zhen LIU Philippe NAIN Don
	ftp://zenon.inria.fr/pub/rapports/RR-2840.ps, 19960424 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Tracing the Origins of Verification Conditions Ranan Fraer N? 2840 March 1996 THE? ME 2 Tracing the Origins of Veriocation Conditions Ranan Fraer Th?me 2 ? G?nie logiciel et calcul symbolique Projet
	ftp://zenon.inria.fr/pub/rapports/RR-2751.ps, 19960424 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On Dynamic Feedback Linearization of Four-dimensional AOEne Control Systems with Two Inputs Jean-Baptiste Pomet N 2751 De cembre 1995 PROGRAMME 5 On Dynamic Feedback Linearization of Four-dimensional
	ftp://zenon.inria.fr/pub/rapports/RR-2854.ps, 19960424 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Fast Stabbing of Boxes in High Dimensions Franck Nielsen N? 2854 Avril 1996 THE? ME 2 Fast Stabbing of Boxes in High Dimensions Franck Nielsen Th?me 2 ? G?nie logiciel et calcul symbolique Projet Pr
	ftp://zenon.inria.fr/pub/rapports/RR-2871.ps, 19960502 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Optimal Line Bipartitions of Point Sets Olivier Devillers, Matthew J. Katz N? 2871 Avril 1996 THE? ME 2 Optimal Line Bipartitions of Point Sets Olivier Devillers* , Matthew J. Katz** Th?me 2 ? G?nie
	ftp://zenon.inria.fr/pub/rapports/RR-2869.ps, 19960502 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A criterion for uniqueness of a critical point in H2 rational approximation Laurent Baratchart, Edward B. Saff and Franck Wielonsky N? 2869 Avril 1996 THE? ME 4 A criterion for uniqueness of a criti
	ftp://zenon.inria.fr/pub/rapports/RR-2868.ps, 19960502 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Reactive Scripts Fre de ric Boussinot , Laurent Hazard N 2868 Avril 1996 THE ME 1 Reactive Scripts Fr d ric Boussinot , Laurent Hazard Th me 1 R seaux et syst mes Projet MEIJE Rapport de recherche n 2868
	ftp://zenon.inria.fr/pub/rapports/RT-191.ps, 19960502 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The FCTOOLS User Manual (Version 1.0) Amar Bouali, Annie Ressouche, Vale?rie Roy, Robert de Simone N? 191 Avril 1996 THE? ME 1 The FCTOOLS User Manual (Version 1.0) Amar Bouali, Annie Ressouche, Val?ri
	ftp://zenon.inria.fr/pub/rapports/RR-2870.ps, 19960506 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Some Congruence Properties for ss-calculus Bisimilarities Michele Boreale , Davide Sangiorgi N? 2870 April 1996 THE?ME 1 Some Congruence Properties for ss-calculus Bisimilarities Michele Boreale , D
	ftp://zenon.inria.fr/pub/rapports/RR-2874.ps, 19960506 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On Piercing Sets of Objects Matthew J. Katz Franck Nielsen N? 2874 Mai 1996 THE? ME 2 On Piercing Sets of Objects Matthew J. Katz Franck Nielsen Th?me 2 ? G?nie logiciel et calcul symbolique Projet
	ftp://zenon.inria.fr/pub/rapports/RR-2830.ps, 19960530 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the Relevance of Long-Range Dependence in Network Traffic Matthias Grossglauser Jean-Chrysostome Bolot N? 2830 Mars 1996 THE? ME 1 On the Relevance of Long-Range Dependence in Network TraOEc Matt
	ftp://zenon.inria.fr/pub/rapports/RT-193.ps, 19960531 ISSN 0249-0803apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Chimaera 1.0 Tutorial & Reference Jean-Patrick Giacometti N? 0193 Avril 1996 THE? ME 1 Chimaera 1.0 Tutorial & Reference Jean-Patrick Giacometti The?me 1 ? Re?seaux et syste?mes Projet Rodeo Ra
	ftp://zenon.inria.fr/pub/rapports/RR-2833.ps, 19960531 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Iso-surface Extraction in 4D with Applications related to Scale Space Ma?rta Fidrich N? 2833 March 1996 PROGRAMME 4 Iso-surface Extraction in 4D with Applications related to Scale Space M?rta Fidric
	ftp://zenon.inria.fr/pub/rapports/RR-2875.ps, 19960531 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mode?lisation markovienne pour le groupement de contours avec une coope?ration contours-re?gions Sabine Urago, Josiane Zerubia et Marc Berthod N? 2875 Mai 1996 PROGRAMME 4 Mode?lisation markovienne
	ftp://zenon.inria.fr/pub/rapports/RR-2894.ps, 19960604 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On Approximating Complex Polynomial Zeros: Modioed Quadtree (Weyl's) Construction and Improved Newton's Iteration Victor Y. Pan N? 2894 Mai 1996 THE? ME 2 On Approximating Complex Polynomial Zeros:
	ftp://zenon.inria.fr/pub/rapports/RR-2899.ps, 19960613 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Liveness in Weighted Routed Nets Bruno Gaujal N? 2899 Mai 1996 THE? ME 1 Liveness in Weighted Routed Nets Bruno Gaujal * Th?me 1 ? R?seaux et syst?mes Projet sloop Rapport de recherche n?2899 ? Mai
	ftp://zenon.inria.fr/pub/rapports/RR-2887.ps, 19960613 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A polynomial-time algorithm for computing a shortest path of bounded curvature amidst moderate obstacles Jean-Daniel Boissonnat , Sylvain Lazard N? 2887 mai 1996 THE? ME 2 A polynomial-time algorith
	ftp://zenon.inria.fr/pub/rapports/RR-2910.ps, 19960614 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A New Multistage Approach to Motion and Structure Estimation: From Essential Parameters to Euclidean Motion Via Fundamental Matrix Zhengyou Zhang N? 2910 June 1996 THE? ME 3 A New Multistage Approac
	ftp://zenon.inria.fr/pub/rapports/RR-2884.ps, 19960617 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Approche Effective des Re?sidus Alge?briques Mohamed Elkadi & Bernard Mourrain N? 2884 Mai 1996 THE? ME 2 Approche Eoeective des R?sidus Alg?briques Mohamed Elkadi * & Bernard Mourrain ** Th
	ftp://zenon.inria.fr/pub/rapports/RR-2916.ps, 19960625 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Quelques ame?liorations a? la segmentation d'images bayesienne Xavier Descombes, Robin Morris, Josiane Zerubia N? 2916 Juin 1996 THE? ME 3 Quelques am?liorations ? la segmentation d'images bayesienn
	ftp://zenon.inria.fr/pub/rapports/RR-2920.ps, 19960702 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Hamilton cycle decomposition of the Butterfly network Jean-Claude Bermond, Eric Darrot, Olivier Delmas, Ste?phane Perennes N? 2920 Juin 1996 THE? ME 1 Hamilton cycle decomposition of the Butterfly n
	ftp://zenon.inria.fr/pub/rapports/RR-2913.ps, 19960702 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On Bisimulations for the Asynchronous ss-calculus Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi N? 2913 June 1996 THE? ME 1 On Bisimulations for the Asynchronous ss-calculus Roberto M. Amad
	ftp://zenon.inria.fr/pub/rapports/RR-2146.ps, 19960702 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Le proble me de la mise en correspondance : L'e tat de l'art Zhengyou Zhang N 2146 De cembre 1993 THE ME 3 Le probl me de la mise en correspondance : L' tat de l'art Zhengyou Zhang Th me 3 Interaction
	ftp://zenon.inria.fr/pub/rapports/RR-2918.ps, 19960702 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Distributed Architecture for Programming Environments Anne-Marie Dery, Laurence Rideau N? 2918 Juin 1996 THE? ME 2 Distributed Architecture for Programming Environments Anne-Marie Dery, Laurence Rid
	ftp://zenon.inria.fr/pub/vigie/DOC/pvmvigie.ps.Z, 19960704 pvmvigie VIGIE used as a PVM task User's Guide Luc Fournier Robert Fournier January 24, 1996 Contents 1 Introduction 3 2 Examples 4 2.1 Fortran 2d example . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 C 2d example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 ava
	ftp://zenon.inria.fr/pub/vigie/doc/pvmvigie.ps.Z, 19960704 pvmvigie VIGIE used as a PVM task User's Guide Luc Fournier Robert Fournier January 24, 1996 Contents 1 Introduction 3 2 Examples 4 2.1 Fortran 2d example . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 C 2d example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 ava
	ftp://zenon.inria.fr/pub/rapports/RR-2925.ps, 19960705 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Hamilton circuits in the directed Butterfly network Jean-Claude Bermond, Eric Darrot, Olivier Delmas, Ste?phane Perennes N? 2925 Juillet 1996 THE? ME 1 Hamilton circuits in the directed Butterfly ne
	ftp://zenon.inria.fr/pub/rapports/RR-2930.ps, 19960705 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Circuit-switched gossiping in the 3-dimensional torus networks Olivier Delmas, Ste?phane Perennes N? 2930 Juillet 1996 THE? ME 1 Circuit-switched gossiping in the 3-dimensional torus networks Olivie
	ftp://zenon.inria.fr/pub/rapports/RR-2927.ps, 19960705 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Determining the Epipolar Geometry and its Uncertainty: A Review Zhengyou Zhang N? 2927 July 1996 THE? ME 3 Determining the Epipolar Geometry and its Uncertainty: A Review Zhengyou Zhang Th?me 3 ? In
	ftp://zenon.inria.fr/pub/rapports/RR-2926.ps, 19960705 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Rate of convergence of a numerical procedure for impulsive control problems Mabel TIDBALL N? 2926 July 1996 THE? ME 4 Rate of convergence of a numerical procedure for impulsive control problems Mabe
	ftp://zenon.inria.fr/pub/rapports/RR-2933.ps, 19960712 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Robustness of convex optimization with application to controled Markov chains Mabel M. TIDBALL and Eitan ALTMAN N? 2933 July 1996 THE? ME 4 Robustness of convex optimization with application to cont
	ftp://zenon.inria.fr/pub/rapports/RR-2855.ps, 19960712 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Cooperative Design Johan Vanwelkenhuysen N 2855 30 April 1996 PROGRAMME 3 Cooperative Design Johan Vanwelkenhuysen Programme 3 Intelligence artificielle, syste mes cognitifs et interaction homme-machine
	ftp://zenon.inria.fr/pub/rapports/RR-2835.ps, 19960719 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Parsimonious Markov Modeling of Processes with Long Range Dependence Jean-Chrysostome Bolot Matthias Grossglauser N? 2835 Mars 1996 THE? ME 1 Parsimonious Markov Modeling of Processes with Long Rang
	ftp://zenon.inria.fr/pub/rapports/RR-2794.ps, 19960719 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Optimal time and minimum space-time product for reversing a certain class of programs Jose Grimm, Lo c Pottier, Nicole Rostaing-Schmidt N 2794 Fe vrier 1996 THE ME 2 Optimal time and minimum space-time
	ftp://zenon.inria.fr/pub/rapports/RR-2942.ps, 19960724 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Approximation of the value function for a class of dioeerential games with target Odile POURTALLIER and Mabel TIDBALL N? 2942 July 1996 THE? ME 4 Approximation of the value function for a class of d
	ftp://zenon.inria.fr/pub/rapports/RR-2948.ps, 19960730 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A genetic algorithm compared with a gradient-based method for the solution of an active-control model problem Nathalie Marco, Cyril Godart, Jean-Antoine De?side?ri, Bertrand Mantel and Jacques Pe?ria
	ftp://zenon.inria.fr/pub/rapports/RR-2949.ps, 19960730 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Multilevel Parametrization for Aerodynamical Optimization of 3D Shapes Nathalie Marco and Alain Dervieux N? 2949 Juillet 1996 THE? ME 4 Multilevel Parametrization for Aerodynamical Optimization of 3
	ftp://zenon.inria.fr/pub/rapports/RR-2950.ps, 19960730 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Semi-Coarsening Strategy for Unstructured MG with Agglomeration Je?ro? me Francescatto, Alain Dervieux N? 2950 Juillet 1996 THE? ME 4 A Semi-Coarsening Strategy for Unstructured MG with Agglomerat
	ftp://zenon.inria.fr/pub/rapports/RR-2953.ps, 19960801 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Fourth-Order Dissipation on Unstructured Anisotropic meshes for Convection-Diffusion problems Katherine Mer N? 2953 Juillet 1996 THE? ME 4 Fourth-Order Dissipation on Unstructured Anisotropic meshes
	ftp://zenon.inria.fr/pub/rapports/RR-2943.ps, 19960802 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Latch Optimization in Circuits Generated from High-level Descriptions Ellen M. Sentovich, Horia Toma, Ge?rard Berry N? 2943 Juillet 1996 THE? ME 1 Latch Optimization in Circuits Generated from High-
	ftp://zenon.inria.fr/pub/rapports/RR-2962.ps, 19960905 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Ge?ome?trie synthe?tique et robots paralle?les Luc Tancredi, Monique Teillaud N? 2962 Aou?t 1996 THE? ME 2 G?om?trie synth?tique et robots parall?les Luc Tancredi * , Monique Teillaud ** Th?me 2 ? G
	ftp://zenon.inria.fr/pub/rapports/RR-2959.ps, 19960906 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Complexity of Task Graph Scheduling with Fixed Communication Capacity Lucian FINTA Zhen LIU N? 2959 August 1996 THE? ME 1 Complexity of Task Graph Scheduling with Fixed Communication Capacity Lucian
	ftp://zenon.inria.fr/pub/rapports/RR-2969.ps, 19960910 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE NUMERICAL COMPUTATION OF A POLYNOMIAL GCD AND EXTENSIONS Victor Y. Pan N? 2969 Aou?t 1996 THE? ME 2 NUMERICAL COMPUTATION OF A POLYNOMIAL GCD AND EXTENSIONS Victor Y. Pan* Th?me 2 ? G?nie logiciel e
	ftp://zenon.inria.fr/pub/rapports/RR-2970.ps, 19960919 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Critical points and error rank in best H2 matrix rational approximation of fixed McMillan degree. Laurent Baratchart, Martine Olivi N? 2970 September 1996 THE? ME 4 Critical points and error rank in
	ftp://zenon.inria.fr/pub/rapports/RR-2985.ps, 19960919 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Contribution a? l'e?tude des sche?mas aux volumes finis de?centre?s a? faible dissipation transverse Christophe Debiez N? 2985 Septembre 1996 THE? ME 4 Contribution ? l'?tude des sch?mas aux volumes
	ftp://zenon.inria.fr/pub/rapports/RR-2971.ps, 19960919 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Probabilistic Analysis of the Power of Arithmetic Filters Olivier Devillers , Franco P. Preparata N? 2971 Septembre 1996 THE? ME 2 A Probabilistic Analysis of the Power of Arithmetic Filters Olivi
	ftp://zenon.inria.fr/pub/rapports/RR-3001.ps, 19961018 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Fast Binary Image Processing Using Binary Decision Diagrams Luc Robert, Gre?goire Malandain N? 3001 Octobre 1996 THE? ME 3 Fast Binary Image Processing Using Binary Decision Diagrams Luc Robert* , G
	ftp://zenon.inria.fr/pub/rapports/RR-3011.ps, 19961018 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Une bibliothe?que pour des moteurs de pilotage de programmes Re?gis Vincent, Sabine Moisan, Monique Thonnat N? 3011 Octobre 1996 THE? ME 3 Une biblioth?que pour des moteurs de pilotage de programmes
	ftp://zenon.inria.fr/pub/rapports/RR-3000.ps, 19961018 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An interpretation of Typed Objects into Typed ss-calculus Davide Sangiorgi N? 3000 Octobre 1996 THE? ME 1 An interpretation of Typed Objects into Typed ss-calculus Davide Sangiorgi Th?me 1 ? R?seaux
	ftp://zenon.inria.fr/pub/rapports/RR-3002.ps, 19961018 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Hierarchical visual perception without calibration Franc?ois Gaspard and Thierry Vie?ville N? 3002 Octobre 1996 THE?ME 3 Hierarchical visual perception without calibration Fran?ois Gaspard and Thier
	ftp://zenon.inria.fr/pub/rapports/RR-3016.ps, 19961022 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An analysis of some models used in image segmentation Robin Morris, Xavier Descombes and Josiane Zerubia N? 3016 October 1996 THE? ME 3 An analysis of some models used in image segmentation Robin Mo
	ftp://zenon.inria.fr/pub/rapports/RR-3015.ps, 19961022 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Estimation of Markov Random Field prior parameters using Markov chain Monte Carlo Maximum Likelihood Xavier Descombes, Robin Morris, Josiane Zerubia, Marc Berthod N? 3015 October 1996 THE? ME 3 Esti
	ftp://zenon.inria.fr/pub/rapports/RR-3017.ps, 19961022 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Fully Bayesian Image Segmentation ? an Engineering Perspective Robin Morris, Xavier Descombes and Josiane Zerubia N? 3017 October 1996 THE? ME 3 Fully Bayesian Image Segmentation >= an Engineerin
	ftp://zenon.inria.fr/pub/rapports/RR-3018.ps, 19961024 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Re?solution des e? quations de Navier-Stokes par des sche?mas de projection Tchebychev Olivier Botella N? 3018 Octobre 1996 THE?ME 4 R?solution des ?quations de Navier-Stokes par des sch?mas de proj
	ftp://zenon.inria.fr/pub/rapports/RT-197.ps, 19961030 ISSN 0249-0803apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE AS, for Abstract Syntax Manual - V1.0 Thierry Despeyroux N? 0197 Septembre 1996 THE? ME 2 AS, for Abstract Syntax Manual - V1.0 Thierry Despeyroux* Th?me 2 ? G?nie logiciel et calcul symbolique Projet
	ftp://zenon.inria.fr/pub/vigie/doc/docVigie.ps.Z, 19961107 VIGIE User manual version 1.6 Robert FOURNIER Wihem KHERRATI fournier@sophia.inria.fr wkherra@sophia.inria.fr INRIA Sophia-Antipolis 2004 Route des Lucioles 06902 Sophia Antipolis Cedex March 1996 THANKS First we thank R. Abgrall, A. Dervieux, A. D?esideri, H. Guillard who made the existence of vig
	ftp://zenon.inria.fr/pub/vigie/DOC/docVigie.ps.Z, 19961107 VIGIE User manual version 1.6 Robert FOURNIER Wihem KHERRATI fournier@sophia.inria.fr wkherra@sophia.inria.fr INRIA Sophia-Antipolis 2004 Route des Lucioles 06902 Sophia Antipolis Cedex March 1996 THANKS First we thank R. Abgrall, A. Dervieux, A. D?esideri, H. Guillard who made the existence of vig
	ftp://zenon.inria.fr/pub/rapports/RR-3027.ps, 19961108 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Energy EOEcient Control of Running Legged Robots. A Case Study : The Planar One-Legged Hopper Charles Franc?ois - Claude Samson N? 3027 November 1996 THE? ME 4 Energy EOEcient Control of Running Leg
	ftp://zenon.inria.fr/pub/rapports/RR-3028.ps, 19961108 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Icobj Programming Fre?de?ric Boussinot N? 3028 Octobre 1996 THE? ME 1 Icobj Programming Fr?d?ric Boussinot Th?me 1 ? R?seaux et syst?mes Projet MEIJE Rapport de recherche n?3028 ? Octobre 1996 ? 18
	ftp://zenon.inria.fr/pub/rapports/RR-3022.ps, 19961108 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Transient and Stationary Waiting Times in (max; +)?Linear Systems with Poisson Input Franc?ois Baccelli ? Sven Hasenfuss ? Volker Schmidt N? 3022 Octobre 1996 THE? ME 1 Transient and Stationary Wait
	ftp://zenon.inria.fr/pub/rapports/RR-3021.ps, 19961108 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Variational principles, Surface Evolution, PDE's, level set methods and the Stereo Problem Olivier Faugeras Renaud Keriven INRIA CERMICS / ENPC MIT AI-Lab N? 3021 26 Octobre 1996 THE?ME 3 Variationa
	ftp://zenon.inria.fr/pub/rapports/RR-3039.ps, 19961121 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Definition of a 4D continuous polar transformation for the tracking and the analysis of LV motion Je?ro? me Declerck, Jacques Feldmar, Nicholas Ayache N? 3039 Novembre 1996 THE?ME 3 Deonition of a 4
	ftp://zenon.inria.fr/pub/rapports/RR-3038.ps, 19961121 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE UNION: UNderwater Intelligent Operation and Navigation E? ve Coste-Manie?re , Vincent Rigaud , and Union team N? 3038 November 1996 THE?ME 4 UNION: UNderwater Intelligent Operation and Navigation ?v
	ftp://zenon.inria.fr/pub/rapports/RR-3045.ps, 19961122 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE LoadBuilder: a tool for generating and modeling workloads in distributed workstation environments Olivier DALLE N? 3045 Novembre 1996 THE? ME 1 LoadBuilder: a tool for generating and modeling worklo
	ftp://zenon.inria.fr/pub/rapports/RR-3048.ps, 19961122 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Dynamic Scheduling of Parallel Computations Zhen LIU N? 3048 Novembre 1996 THE? ME 1 Dynamic Scheduling of Parallel Computations Zhen LIU Th?me 1 ? R?seaux et syst?mes Projet MISTRAL Rapport de rech
	ftp://zenon.inria.fr/pub/rapports/RR-3047.ps, 19961122 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Impact of Cell Dropping Policies in ATM Networks Zhen LIU Rhonda RIGHTER N? 3047 Novembre 1996 THE? ME 1 The Impact of Cell Dropping Policies in ATM Networks Zhen LIU Rhonda RIGHTER Th?me 1 ? R?
	ftp://zenon.inria.fr/pub/rapports/RR-3041.ps, 19961122 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Catalyse he?te?roge?ne pour les e? coulements hypersoniques. Cyril Godart, Maria Vittoria Salvetti, Jean-Antoine De?side?ri N? 3041 Novembre 1996 THE?ME 4 Catalyse h?t?rog?ne pour les ?coulements hy
	ftp://zenon.inria.fr/pub/rapports/RR-3042.ps, 19961122 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Behavioral Equivalence in the Polymorphic Pi-Calculus Benjamin C. Pierce , Davide Sangiorgi N? 3042 November 1996 THE?ME 1 Behavioral Equivalence in the Polymorphic Pi-Calculus Benjamin C. Pierce* ,
	ftp://zenon.inria.fr/pub/rapports/RR-3040.ps, 19961122 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Poisson-Voronoi Spanning Trees with Applications to the Optimization of Communication Networks Franc?ois Baccelli , Sergei Zuyev N? 3040 Novembre 1996 THE?ME 1 Poisson-Voronoi Spanning Trees with Ap
	ftp://zenon.inria.fr/pub/rapports/RR-3051.ps, 19961205 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A complete analysis of Clarkson's algorithm for safe determinant evaluation Herve? Bro?nnimann, Mariette Yvinec N? 3051 Novembre 1996 THE? ME 2 A complete analysis of Clarkson's algorithm for safe d
	ftp://zenon.inria.fr/pub/rapports/RT-198.ps, 19961209 ISSN 0249-0803apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mode?lisation de la Main pour sa Localisation dans une Se?quence d'Images Quentin DELAMARRE N? 198 De?cembre 1996 THE? ME 3 Mode?lisation de la Main pour sa Localisation dans une Se?quence d'Images Que
	ftp://zenon.inria.fr/pub/rapports/RR-3062.ps, 19961212 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The boundary-value problem in domains with very rapidly oscillating boundary Gregory Chechkin Avner Friedman Andrey Piatnitski N? 3062 De?cembre 1996 THE? ME 4 The boundary-value problem in domains
	ftp://zenon.inria.fr/pub/rapports/RR-3061.ps, 19961212 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Comportement asymptotique du coefficient effectif pour un ope?rateur ale?atoire aux diffe?rences Andrey Piatnitski et Elisabeth Remy N? 3061 De?cembre 1996 THE? ME 4 Comportement asymptotique du coe
	ftp://zenon.inria.fr/pub/rapports/RR-3064.ps, 19961212 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Directional Anisotropic Diffusion applied to segmentation of vessels in 3D images Karl KRISSIAN, Gre?groire MALANDAIN, Nicholas AYACHE N? 3064 de?cembre 1996 THE? ME 3 Directional Anisotropic Diffus
	ftp://zenon.inria.fr/pub/rapports/RR-3070.ps, 19961220 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Minkowski Operations For Satellite Antenna Layout Jean-Daniel Boissonnat , Eelco de Lange , Monique Teillaud N? 3070 De?cembre 1996 THE? ME 2 Minkowski Operations For Satellite Antenna Layout Jean-D
	ftp://zenon.inria.fr/pub/rapports/RR-3075.ps, 19961220 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Polynomial system solving: the case of a six-atom molecule Ioannis Z. Emiris & Bernard Mourrain N? 3075 De?cembre 1996 THE? ME 2 Polynomial system solving: the case of a six-atom molecule Ioanni
	ftp://zenon.inria.fr/pub/rapports/RR-3069.ps, 19961220 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Reconstruction of Geological Structures from Heterogeneous and Sparse Data Jean-Daniel Boissonnat , Ste?phane Nullans N? 3069 De?cembre 1996 THE? ME 2 Reconstruction of Geological Structures from He
	ftp://zenon.inria.fr/pub/rapports/RR-3071.ps, 19961220 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mod?les G?n?riques de Gestion de Conflits dans la Conception Concourante Nada MATTA Olivier CORBY N? 3071 D?cembre 1996 THEME INRIA 3A Interaction Homme-Machine, Images, Donn?es et Connaissances INS
	ftp://zenon.inria.fr/pub/rapports/RR-3076.ps, 19961227 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Le sche?ma de MacCormack sur l'e?quation d'advection bidimensionnelle. Application au cas test C1 de l'ONERA. Romuald CARPENTIER N? 3076 de?cembre 1996 THE?ME 4 Le sch?ma de MacCormack sur l'?quatio
	ftp://zenon.inria.fr/pub/rapports/RR-3077.ps, 19961227 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Design of homogeneous time-varying stabilizing control laws for driftless controllable systems via oscillatory approximation of Lie brackets in closed-loop Pascal Morin , Jean-Baptiste Pomet , Claude
	ftp://zenon.inria.fr/pub/rapports/RR-3083.ps, 19970110 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Waiting Time Distribution in Poisson-Driven Deterministic Systems Alain Jean-Marie INRIA Sophia-Antipolis N? 3083 January 7, 1997 THE?ME 1 The Waiting Time Distribution in Poisson-Driven Determi
	ftp://zenon.inria.fr/pub/rapports/RR-3084.ps, 19970121 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Implicit Upwind Schemes for Low Mach Number Compressible Flows Ce?cile VIOZAT N? 3084 Janvier 1997 THE?ME 4 Implicit Upwind Schemes for Low Mach Number Compressible Flows C?cile VIOZAT* Th?me 4 ? Si
	ftp://zenon.inria.fr/pub/rapports/MPD/emiris.ps, 19970124 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A General Solver Based on Sparse Resultants: Numerical Issues and Kinematic Applications Ioannis Z. Emiris N January 1997 THE ME 2 A General Solver Based on Sparse Resultants: Numerical Issues and
	ftp://zenon.inria.fr/pub/rapports/RR-3089.ps, 19970127 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Analysis of an Asymmetric Leader Election Algorithm Svante Janson, Wojciech Szpankowski N? 3089 Janvier 1997 THE? ME 1 Analysis of an Asymmetric Leader Election Algorithm Svante Janson* , Wojciech S
	ftp://zenon.inria.fr/pub/rapports/MPD/delingette.ps, 19970203 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE General Object Reconstruction based on Simplex Meshes Herve Delingette N Fe vrier 1997 THE ME 3 General Object Reconstruction based on Simplex Meshes Herv Delingette * Th me 3 Interaction homme-machine,
	ftp://zenon.inria.fr/pub/rapports/RR-3093.ps, 19970205 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Comparaison d'une me?thode stochastique et d'une me?thode de?terministe applique?es a? l'e?quation de Burgers Mireille Bossy, Loula Fezoui, Serge Piperno N? 3093 Janvier 1997 THE? ME 4 Comparaison d
	ftp://zenon.inria.fr/pub/rapports/MPD/Amadio.ps, 19970213 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An asynchronous model of locality, failure, and process mobility Roberto M. Amadio N Fe vrier 1997 THE ME 1 An asynchronous model of locality, failure, and process mobility Roberto M. Amadio Th me 1 R
	ftp://zenon.inria.fr/pub/rapports/RR-3142.ps, 19970327 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Performance Modeling of TCP/IP in a Wide-Area Network Eitan Altman, Jean Bolot, Philippe Nain, Driss Elouadghiri, Mohammed Erramdani, Patrick Brown, Denis Collange. N? 3142 Mars 1997 THE?ME 1 Perfor
	ftp://zenon.inria.fr/pub/rapports/RR-3161.ps, 19970512 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 1997 Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts : Application to Traffic Accident Analysis Rose Dieng N? 3161 April 1997 THEME 3 : Interaction homme-machine, images,
	ftp://zenon.inria.fr/pub/rapports/RR-3160.ps, 19970512 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the Behavior of Upwind Schemes in the Low Mach Number Limit Herve? Guillard , Ce?cile Viozat N? 3160 Avril 1997 THE? ME 4 On the Behavior of Upwind Schemes in the Low Mach Number Limit Herv? Guil
	ftp://zenon.inria.fr/pub/rapports/RR-3146.ps, 19970512 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Stopping sets: Gamma-type results and hitting properties Sergei Zuyev N? 3146 Mars 1997 THE? ME 1 Stopping sets: Gamma-type results and hitting properties Sergei Zuyev* Th?me 1 ? R?seaux et syst?mes
	ftp://zenon.inria.fr/pub/rapports/RR-3166.ps, 19970530 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE COMPARAISON DE DEUX METHODES DE VOLUMES FINIS EN ELECTROMAGNETISME Jean-Pierre Cioni, Malika Remaki N? 3166 Mai 1997 TH?ME 4 COMPARAISON DE DEUX METHODES DE VOLUMES FINIS EN ELECTROMAGNETISME Jean-P
	ftp://zenon.inria.fr/pub/rapports/RR-3165.ps, 19970530 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Graph Problems Arising from Wavelength?Routing in All?Optical Networks Bruno Beauquier, Jean-Claude Bermond, Luisa Gargano, Pavol Hell, St?phane P?rennes, Ugo Vaccaro N? 3165 Mai 1997 TH?ME 1 Graph
	ftp://zenon.inria.fr/pub/rapports/RR-3173.ps, 19970530 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A PDE-based Level-Set Approach for Detection and Tracking of Moving Objects Nikolaos PARAGIOS and Rachid DERICHE N? 3173 Mai 1997 TH?ME 3 A PDE-based Level-Set Approach for Detection and Tracking of
	ftp://zenon.inria.fr/pub/rapports/RR-3101.ps, 19970530 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Deformation Analysis to Detect and Quantify Active Lesions in 3D Medical Image Sequences Jean-Philippe Thirion and Guillaume Calmon N? 3101 F?vrier 1997 TH?ME 3 Deformation Analysis to Detect and Qu
	ftp://zenon.inria.fr/pub/rapports/RR-3178.ps, 19970604 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Statistical Analysis of Dissymmetry in Volumetric Medical Images Jean-Philippe Thirion, Sylvain Prima, and G?rard Subsol N? 3178 June 1997 TH?ME 3 Statistical Analysis of Dissymmetry in Volumetric M
	ftp://zenon.inria.fr/pub/rapports/RR-3180.ps, 19970604 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Balanced Sequences and Optimal Routing Eitan ALTMAN Bruno GAUJAL and Arie HORDIJK N? 3180 May, 1997 TH?ME 1 Balanced Sequences and Optimal Routing Eitan ALTMAN * Bruno GAUJAL and Arie HORDIJK *
	ftp://zenon.inria.fr/pub/rapports/RR-3181.ps, 19970604 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Multimodularity, Convexity and Optimization Properties Eitan ALTMAN Bruno GAUJAL and Arie HORDIJK N? 3181 May, 1997 TH?ME 1 Multimodularity, Convexity and Optimization Properties Eitan ALTMAN * Brun
	ftp://zenon.inria.fr/pub/rapports/RR-3179.ps, 19970604 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Admission Control in Stochastic Event Graphs Eitan ALTMAN Bruno GAUJAL and Arie HORDIJK N? 3179 May, 1997 TH?ME 1 Admission Control in Stochastic Event Graphs Eitan ALTMAN * Bruno GAUJAL ** and Arie
	ftp://zenon.inria.fr/pub/rapports/RR-3192.ps, 19970620 Unit? de recherche INRIA Lorraine, technop?le de Nancy-Brabois, 615 rue du jardin botanique, BP 101, 54600 VILLERS-L?S-NANCY Unit? de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit? de recherche INRIA Rh?ne-Alpes, 655, avenue de l?Europe, 38330 MONTBONNOT ST
	ftp://zenon.inria.fr/pub/rapports/RR-3193.ps, 19970624 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Large deviation principle for one dimensional vector spin models with Kac potentials Paolo Butta?, Pierre Picco N 3193 19 Juin 1997 THE? ME 4 Large deviation principle for one dimensional vector spi
	ftp://zenon.inria.fr/pub/rapports/RR-3197.ps, 19970630 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Rare Events for Stationary Processes Fran?ois Baccelli D. R. McDonald N? 3197 Juin 1997 TH?ME 1 Rare Events for Stationary Processes Fran?ois Baccelli * D. R. McDonald ** Th?me 1 ? R?seaux et syst?m
	ftp://zenon.inria.fr/pub/rapports/RR-3202.ps, 19970701 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Gibbs Fields with Multiple Pairwise Pixel Interactions for Texture Simulation and Segmentation Georgy L. Gimel'farb N? 3202 July 1997 TH?ME 3 Gibbs Fields with Multiple Pairwise Pixel Interactions f
	ftp://zenon.inria.fr/pub/rapports/RR-3211.ps, 19970718 Unit? de recherche INRIA Lorraine, technop?le de Nancy-Brabois, 615 rue du jardin botanique, BP 101, 54600 VILLERS-L?S-NANCY Unit? de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit? de recherche INRIA Rh?ne-Alpes, 655, avenue de l?Europe, 38330 MONTBONNOT ST
	ftp://zenon.inria.fr/pub/rapports/RR-3212.ps, 19970718 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE How to count ef?ciently all af?ne roots of a polynomial system Ioannis Z. Emiris & Jan Verschelde N? 3212 July 1997 TH?ME 2 How to count eOEciently all aOEne roots of a polynomial system Ioannis
	ftp://zenon.inria.fr/pub/rapports/RR-3214.ps, 19970718 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Motion Planning of Legged Robots Jean-Daniel Boissonnat , Olivier Devillers , Sylvain Lazard N? 3214 juillet 1997 TH?ME 2 Motion Planning of Legged Robots Jean-Daniel Boissonnat , Olivier Devillers
	ftp://zenon.inria.fr/pub/rapports/RR-3213.ps, 19970718 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Computing exact geometric predicates using modular arithmetic with single precision Herv? Br?nnimann? , Ioannis Z. Emiris? , Victor Y. Panz , Sylvain Pion? N? 3213 July 1997 TH?ME 2 Computing exact
	ftp://zenon.inria.fr/pub/rapports/RR-3215.ps, 19970724 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE CBR*Tools : une biblioth?que objet pour l'indexation des cas par situation comportementale Michel Jaczynski - Brigitte Trousse N? 3215 juillet 1997 TH?ME 3 o Unit? de recherche INRIA Sophia Antipol
	ftp://zenon.inria.fr/pub/rapports/RR-3221.ps, 19970731 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A nonlinear method for estimating the projective geometry of three views O. Faugeras,T. Papadopoulo N? 3221 Juillet 1997 TH?ME 3 A nonlinear method for estimating the projective geometry of three vi
	ftp://zenon.inria.fr/pub/rapports/RR-3222.ps, 19970731 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the Integration of Best-Effort and Guaranteed Performance Services Eitan ALTMAN Damien ARTIGES and Karim TRAORE N? 3222 July, 1997 TH?ME 1 On the Integration of Best-Eoeort and Guaranteed Perform
	ftp://zenon.inria.fr/pub/rapports/RR-3225.ps, 19970801 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Grassmann-Cayley algebra for modeling systems of cameras and the algebraic equations of the manifold of trifocal tensors O. Faugeras,T. Papadopoulo N? 3225 Juillet 1997 TH?ME 3 Grassmann-Cayley alge
	ftp://zenon.inria.fr/pub/rapports/RR-3230.ps, 19970814 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Asymptotic Behavior of a Multiplexer Fed by a Long-Range Dependent Process Zhen Liu, Philippe Nain, Don Towsley, Zhi-Li Zhang N? 3230 Ao?t 1997 TH?ME 1 Asymptotic Behavior of a Multiplexer Fed by a
	ftp://zenon.inria.fr/pub/rapports/RR-3238.ps, 19970904 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 1-Bit Schemes for Service Discrimination in the Internet: Analysis and Evaluation Martin May Jean-Chrysostome Bolot Christophe Diot Alain Jean-Marie N? 3238 1 Ao?t 1997 TH?ME 1 1-Bit Schemes for Ser
	ftp://zenon.inria.fr/pub/rapports/RR-3241.ps, 19970904 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Design and Evaluation of Staggered Partitioned Procedures for Fluid-Structure Interaction Simulations Serge Piperno, Charbel Farhat N? 3241 Septembre 1997 TH?ME 4 Design and Evaluation of Staggered
	ftp://zenon.inria.fr/pub/rapports/RR-3239.ps, 19970908 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Integration of Global Information for Roads Detection In Satellite Images Nicolas Merlet , Josiane Zerubia No 3239 Ao?t 1997 THEME 3 Integration of Global Information for Roads Detection In Satellit
	ftp://zenon.inria.fr/pub/rapports/RR-3244.ps, 19970908 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Implicit Polymorphic Type System for the Blue Calculus Silvano Dal-Zilio N? 3244 Septembre 1997 TH?ME 1 Implicit Polymorphic Type System for the Blue Calculus Silvano Dal-Zilio* Th?me 1 ? R?seaux et
	ftp://zenon.inria.fr/pub/rapports/RR-3247.ps, 19970908 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The SugarCubes Tool Box Fr?d?ric Boussinot, Jean-Ferdy Susini N? 3247 Septembre 1997 TH?ME 1 The SugarCubes Tool Box Fr?d?ric Boussinot, Jean-Ferdy Susini Th?me 1 ? R?seaux et syst?mes Projet MEIJE
	ftp://zenon.inria.fr/pub/rapports/RR-3243.ps, 19970908 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Estimation ef?cace des caract?ristiques de robots parall?les: Extremums des raideurs et des coordonn?es, vitesses, forces articulaires et Singularit?s dans un espace de travail en translation Jean-Pi
	ftp://zenon.inria.fr/pub/rapports/RR-3249.ps, 19970917 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Simultaneous Image Restoration and Hyperparameter Estimation for Incomplete Data by a Cumulant Analysis Marc Sigelle N? 3249 September 1997 TH?ME 3 Simultaneous Image Restoration and Hyperparameter
	ftp://zenon.inria.fr/pub/rapports/RR-3253.ps, 19970917 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Analyse des erreurs dispersives et dissipatives de quelques sch?mas advectifs modernes. Application ? l'a?ro-acoustique Romuald CARPENTIER N? 3253 septembre 1997 TH?ME 4 Analyse des erreurs dispersi
	ftp://zenon.inria.fr/pub/rapports/RR-3261.ps, 19970926 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Optimal Open-Loop Control of Vacations, Polling and Service Assignment Eitan ALTMAN Bruno GAUJAL and Arie HORDIJK N? 3261 September, 1997 TH?ME 1 Optimal Open-Loop Control of Vacations, Polling and
	ftp://zenon.inria.fr/pub/rapports/RR-3271.ps, 19971013 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A non overlapping domain decomposition method for the exterior Helmholtz problem Armel de La Bourdonnaye, Charbel Farhat, Antonini Macedo, Fr?d?ric Magoul?s, Fran?ois-Xavier Roux N? 3271 Octo
	ftp://zenon.inria.fr/pub/rapports/RR-3270.ps, 19971013 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Robust plane sweep for intersecting segments Jean-Daniel Boissonnat ? Franco P. Preparata N? 3270 Septembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93,
	ftp://zenon.inria.fr/pub/rapports/RR-3275.ps, 19971017 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Proving and Computing: a certi?ed version of the Buchberger's algorithm Laurent Th?ry N? 3275 October 1997 TH?ME 2 Proving and Computing: a certioed version of the Buchberger's algorithm Laurent Th?
	ftp://zenon.inria.fr/pub/rapports/RR-3276.ps, 19971017 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Optimal Wavelength?Routed Multicasting Bruno Beauquier, Pavol Hell, St?phane P?rennes N? 3276 Octobre 1997 TH?ME 1 Optimal Wavelength?Routed Multicasting Bruno Beauquier* , Pavol Hell** , St?phane P
	ftp://zenon.inria.fr/pub/rapports/RR-3277.ps, 19971017 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE R?duction du conditionnement pour les probl?mes de discr?tisation microlocale Armel de La Bourdonnaye ? Marc Tolentino N? 3277 Octobre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, ro
	ftp://zenon.inria.fr/pub/rapports/RR-3288.ps, 19971027 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE ?TUDE D'UNE CLASSE DE - SCH?MAS EN FORMULATION VOLUMES FINIS POUR DES PROBL?MES HYPERBOLIQUES. Fr?d?ric Bonnet, Mihai Bostan et Loula Fezoui. N? 3288 octobre 1997 TH?ME 4 ?TUDE D'UNE CLASSE DE - SCH
	ftp://zenon.inria.fr/pub/rapports/RT-210.ps, 19971027 ISSN 0249-0803apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE User Guide to the CtCoq Proof Environment J. Bertot, Y. Bertot, Y. Coscoy, H. Goguen, and F. Montagnac N? 0210 Octobre 1997 TH?ME 2 User Guide to the CtCoq Proof Environment J. Bertot, Y. Bertot, Y. Co
	ftp://zenon.inria.fr/pub/rapports/RR-3286.ps, 19971027 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Implementing Proof by Pointing without a Structure Editor Yves Bertot, Thomas Kleymann-Schreiber and Dilip Sequeira N? 3286 Octobre 1997 TH?ME 2 Implementing Proof by Pointing without a Structure Ed
	ftp://zenon.inria.fr/pub/rapports/RR-3285.ps, 19971027 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The steam boiler controller problem in esterel and its veri?cation by means of symbolic analysis Michel Bourdell?s N? 3285 Octobre 1997 TH?ME 1 The steam boiler controller problem in esterel and its
	ftp://zenon.inria.fr/pub/rapports/RR-3291.ps, 19971031 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Compact and Ef?cient Presentation Conversion Routines Philipp Hoschka N? 3291 TH?ME 1 Compact and EOEcient Presentation Conversion Routines Philipp Hoschka Th?me 1 ? R?seaux et syst?mes Projet World
	ftp://zenon.inria.fr/pub/rapports/RR-3293.ps, 19971105 ISSN 0249-6399apport de recherchefl TH?ME 3 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Towards Robust Analysis of Satellite Images Using Map Information ? Application to Urban Area Detection Shan Yu, Marc Berthod, G?rard Giraudon N? 3293 November 3, 1997 Unit? de recherche INR
	ftp://zenon.inria.fr/pub/rapports/RR-3292.ps, 19971105 ISSN 0249-6399apport de recherchefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Circuit-based Approach for Routing in Unidirectional Links Networks Thierry Ernst & Walid Dabbous N? 3292 October 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Luciole
	ftp://zenon.inria.fr/pub/rapports/RR-3296.ps, 19971114 ISSN 0249-6399apport de recherchefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Experiments with a Layered Transmission Scheme over the Internet Thierry Turletti Sacha Fosse Parisis Jean-Chrysostome Bolot N? 3296 Novembre 1997 Unit? de recherche INRIA Sophia Antipolis 2
	ftp://zenon.inria.fr/pub/rapports/RR-3298.ps, 19971114 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Improved Incremental Randomized Delaunay Triangulation. Olivier Devillers N? 3298 Novembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Anti
	ftp://zenon.inria.fr/pub/rapports/RR-3294.ps, 19971114 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Imagerie microonde : reconstruction quantitative du pro?l de permittivit? complexe d'h?t?rog?n?it?s enterr?es. C?dric Dourthe ? Armel de La Bourdonnaye ? Christian Pichot N? 3294 Novembre 199
	ftp://zenon.inria.fr/pub/rapports/RR-3301.ps, 19971119 ISSN 0249-6399apport de recherchefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Modelling IP Mobility Roberto M. Amadio Sanjiva Prasad N? 3301 Novembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France
	ftp://zenon.inria.fr/pub/rapports/RR-3300.ps, 19971119 ISSN 0249-6399apport de recherchefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Analysis of a guard condition in type theory (preliminary report) Roberto M. Amadio Solange Coupet-Grimal N? 3300 Novembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Luci
	ftp://zenon.inria.fr/pub/rapports/RR-3302.ps, 19971119 ISSN 0249-6399apport de recherchefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Variational Analysis of Functionals of a Poisson Process Ilya Molchanov ? Sergei Zuyev N? 3302 Novembre 1997 Unite? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 069
	ftp://zenon.inria.fr/pub/rapports/RR-3307.ps, 19971125 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE S?mantique Naturelle et Coq : vers la sp?ci?cation et les preuves sur les langages ? objets Olivier LAURENT N? 3307 Novembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lu
	ftp://zenon.inria.fr/pub/rapports/RR-3308.ps, 19971203 ISSN 0249-6399apport de recherchefl TH?ME 3 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Image Sequence Restoration: A PDE based coupled method for image restoration and motion segmentation P. Kornprobst, R. Deriche and G. Aubert N? 3308 Novembre 1997 Unit? de recherche INRIA So
	ftp://zenon.inria.fr/pub/rapports/RT-211.ps, 19971203 ISSN 0249-0803apport techniquefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE O@yss?e Version 1.6 The User's Reference Manual Christ?le Faure ? Yves Papegay N? 0211 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia An
	ftp://zenon.inria.fr/pub/rapports/RR-3311.ps, 19971203 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Asymptotic Behaviour of Reduced?Order Filters A. Le Breton and M. C. Roubaud N? 3311 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia A
	ftp://zenon.inria.fr/pub/rapports/RT-212.ps, 19971209 ISSN 0249-0803apport techniquefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Programming Language Speci?cations and Environments Y. Bertot N? 0212 December 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (Fr
	ftp://zenon.inria.fr/pub/rapports/RR-3313.ps, 19971209 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A language and an integrated environment for program transformations Isabelle Attali ? Val?rie Pascual ? Christophe Roudet N? 3313 December 1997 Unit? de recherche INRIA Sophia Antipolis 200
	ftp://zenon.inria.fr/pub/rapports/RR-3316.ps, 19971216 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Removing degeneracies by perturbing the problem or the world Pierre Alliez ? Olivier Devillers ? Jack Snoeyink N? 3316 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des
	ftp://zenon.inria.fr/pub/rapports/RR-3324.ps, 19971222 ISSN 0249-6399apport de recherchefl TH?ME 3 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Program Supervision: from Knowledge Modeling to Dedicated Engines Sabine Moisan R?gis Vincent Monique Thonnat N? 3324 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des
	ftp://zenon.inria.fr/pub/rapports/RR-3322.ps, 19971222 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Modal Lambda Calculus with Iteration and Case Constructs Pierre Leleu N? 3322 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipo
	ftp://zenon.inria.fr/pub/rapports/RR-3323.ps, 19971222 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the curves that may be approached by trajectories of a smooth control af?ne system Jean-Baptiste Pomet N? 3323 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Luci
	ftp://zenon.inria.fr/pub/rapports/RT-214.ps, 19980102 ISSN 0249-0803apport techniquefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Xeve: an Esterel Veri?cation Environment (Version v1_3) Amar Bouali N? 0214 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Ced
	ftp://zenon.inria.fr/pub/rapports/RT-213.ps, 19980102 ISSN 0249-0803apport techniquefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mobile Programs for Mobile Users on Malleable Platforms Jean-Patrick Giacometti N? 0213 D?cembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia A
	ftp://zenon.inria.fr/pub/rapports/RR-3329.ps, 19980116 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Remarks on the Approximation of the Euler Equations by a Low Order Model Angelo Iollo N? 3329 Decembre 1997 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902
	ftp://zenon.inria.fr/pub/rapports/RR-3335.ps, 19980116 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Problems of Adamjan?Arov?Krein type on subsets of the circle and minimal norm extensions Laurent Baratchart, Juliette Leblond, Jonathan R. Partington N? 3335 Janvier 1998 Unit? de recherche
	ftp://zenon.inria.fr/pub/rapports/RR-3334.ps, 19980116 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Global qualitative behavior of a class of nonlinear biological systems; application to the qualitative validation of phytoplankton growth models. Olivier Bernard ? Jean-Luc Gouz? N? 3334 Janv
	ftp://zenon.inria.fr/pub/rapports/RR-3340.ps, 19980122 ISSN 0249-6399apport de recherchefl TH?ME 3 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE An elementary proof of the equivalence between 2D and 3D classical snakes and geodesic active contours Gilles Aubert ? Laure Blanc-F?raud N? 3340 Janvier 1998 Unit? de recherche INRIA Sophia
	ftp://zenon.inria.fr/pub/rapports/RR-3351.ps, 19980217 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Un nouveau sch?ma de type volumes ?nis appliqu? aux ?quations de Maxwell en milieu h?t?rog?ne Malika Remaki-Loula F?zoui-Fr?d?ric Poupaud N? 3351 janvier 1998 Unit? de recherche INRIA Sophia
	ftp://zenon.inria.fr/pub/rapports/RR-3354.ps, 19980217 ISSN 0249-6399apport de recherchefl TH?ME 3 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Feature-Based Facial Expression Recognition: Experiments With a Multi-Layer Perceptron Zhengyou Zhang N? 3354 February 1998 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles
	ftp://zenon.inria.fr/pub/rapports/RR-3361.ps, 19980219 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Metatheoretic results for a modal lambda calculus Pierre Leleu N? 3361 F?vrier 1998 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex
	ftp://zenon.inria.fr/pub/rapports/RR-3359.ps, 19980219 ISSN 0249-6399apport de recherchefl TH?ME 2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE S?mantique Naturelle: Sp?ci?cations et Preuves Jo?lle Despeyroux N? 3359 F?vrier 1998 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cede
	ftp://zenon.inria.fr/pub/rapports/RR-3360.ps, 19980219 ISSN 0249-6399apport de recherchefl TH?ME 4 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Comparaison entre des sch?mas 2D de type Roe sur maillage r?gulier triangle ou quadrangle. II: calcul au sommet - Le sch?ma. Romuald CARPENTIER N? 3360 F?vrier 1998 Unit? de recherche INRIA
	ftp://zenon.inria.fr/pub/rapports/RR-3362.ps, 19980219 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Vers une nouvelle approche du calcul scienti?que en C++ Gabriel DOS REIS N 3362 F?evrier 1998 TH OEEME 2 Vers une nouvelle approche du calcul scienti?que en C++ Gabriel DOS REIS * Th?me 2 ? G?nie lo
	ftp://zenon.inria.fr/pub/vigie/doc/VigieUserGuide.ps.gz, 19980223 VIGIE User Guide INRIA Sophia Antipolis February 23, 1998 2 Contents Preface 5 Introduction 7 1 How to use Vigie 9 1.1 How to read data . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.2 How to run the 1D example . . . . . . . . . . . . . . . . . . . . . 12 1.2.1 the RCS and cartesian plo
	ftp://zenon.inria.fr/pub/rapports/MPD/xpennec.ps, 19980303 ISSN 0249-6399apport de recherchefl TH?ME 3 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Computing the mean of geometric features Application to the mean rotation Xavier Pennec N? ???? March 1998 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902
	ftp://zenon.inria.fr/pub/rapports/RR-3364.ps, 19980304 ISSN 0249-6399apport de recherchefl TH?ME 3 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE L'analyse automatique des images m?dicales Etat de l'art et perspectives Nicholas Ayache N? 3364 F?vrier 1998 Unit? de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 069
	ftp://zenon.inria.fr/pub/rapports/RT-217.ps, 19980304 ISSN 0249-6399apport techniquefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 1998 A C++ Frame Library: User Manual and Implementation Notes Sabine MOISAN - Jean-Paul RIGAULT N?217 February 1998 PROGRAMME 3 Intelligence artificielle, syst?mes cognitifs et interaction homme machi
	ftp://zenon.inria.fr/pub/rapports/RR-3363.ps, 19980304 ISSN 0249-6399apport de recherchefl TH?ME 1 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Framework for Reliable Multicast in the Internet Michael Fuchs, Christophe Diot, Thierry Turletti and Markus Hofmann N? 3363 February 1998 Unit? de recherche INRIA Sophia Antipolis 2004, r