Skip to Main content Skip to Navigation


hal-00644874v1  Conference papers
Bruno ScherrerMatthieu Geist. Moindres carrés récursifs pour l'évaluation off-policy d'une politique avec traces d'éligibilité
6ème Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes - JFPDA 2011, Jun 2011, Rouen, France
inria-00100178v1  Conference papers
Laurent WendlingAntoine Tabbone. Détection de flèches dans des documents techniques à partir d'une agrégation de critères géométriques
14e congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'04, 2004, Toulouse, France, 10 p
hal-02273253v1  Conference papers
Laure CrochepierreAntoine MarotVincent BarbesantBenjamin DonnotLydia Boudjeloud-Assala. Utilisation de réseau de neurones siamois en clustering : application aux événements du réseau électrique français
Rencontres de la Société Francophone de Classification, Centre de Recherche Inria Nancy Grand Est / LORIA, Sep 2019, Nancy, France
hal-01247991v1  Conference papers
Gábor AlagiChristoph Weidenbach. {NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
Frontiers of Combining Systems, 10th International Symposium (FroCos 2015), 2015, Wroclaw, Poland. pp.69-84, ⟨10.1007/978-3-319-24246-0_5⟩
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
hal-02400510v1  Directions of work or proceedings
Dominique MéryShengchao Qin. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3
inria-00110850v1  Conference papers
Sébastien GorgesErwan KerrienMarie-Odile BergerYves TroussetJérémie Pescatore et al.  3D Augmented Fluoroscopy in Interventional Neuroradiology: Precision Assessment and First Evaluation on Clinical Cases
Workshop on Augmented environments for Medical Imaging and Computer-aided Surgery - AMI-ARCS 2006 (held in conjunction with MICCAI'06), Wolfgang Birkfellner, Nassir Navab and Stephane Nicolau, Nov 2006, Copenhagen, Denmark
inria-00098884v1  Conference papers
Pierre TellierIsabelle Debled-Rennesson. 3D Discrete Normal Vectors
International Conference on Discrete Geometry for Computer Imagery - DGCI'99, 1999, Marne-la-Vallée, France, pp.447-458
inria-00108037v1  Journal articles
Marie-Danielle VazquezPierre BouchetJean-Laurent MalletBernard FoliguetHubert Gerard et al.  3D reconstruction of the mouse's mesonephros.
Anatomia, Histologia, Embryologia, Wiley, 1998, 27 (5), pp.283-287
hal-01086073v1  Conference papers
Utpala MustiSlim OuniZhou Ziheng. 3D Visual Speech Animation from Image Sequences
Indian Conference on Computer Vision, Graphics and Image Processing (ICVGIP), Dec 2014, Bangalore, India
inria-00099513v1  Directions of work or proceedings
Ingo DahnLaurent Vigneron. 4th International Workshop on First-Order Theorem Proving- FTP'2003
1 (1), Elsevier Science Publishers, 2003, Electronic Notes in Theoretical Computer Science
hal-02296176v1  Directions of work or proceedings
Filip de TurckChristian JacquenetProsper ChemouilOlivier FestorFranco Callegati et al.  5th IEEE Conference on Network Softwarization, NetSoft 2019, Paris, France
NetSoft 2019 - 5th IEEE International Conference on Network Softwarization, Jun 2019, Paris, France. 2019, ISBN 978-1-5386-9376-6
inria-00100760v1  Reports
Olivier FestorRob EvansBernard TuyRalf Wolter. 6NET Network Management Initial Architecture
[Contract] A02-R-081 || festor02a, 2002, 19 p
inria-00000348v1  Conference papers
Jacques Lonchamp. A ‘Swiss Army Knife' for Chatting in Distributed Educational Settings
Fourth IASTED International Conference on Web-based Education - WBE'05, Feb 2005, Grindelwald, Suisse
inria-00429327v1  Conference papers
Evren ImreMarie-Odile Berger. A 3-Component Inverse Depth Parameterization for Particle Filter SLAM
31st annual pattern recognition symposium of the German Association for Pattern Recognition - DAGM 2009, Sep 2009, Jena, Germany. pp.1--10, ⟨10.1007/978-3-642-03798-6_1⟩
inria-00100524v1  Conference papers
Khalid DaoudiDominique FohrChristophe Antoine. A Bayesian network for time-frequency speech modeling and recognition
International Conference on Artificial Intelligence and Soft Computing, May 2001, Cancun, Mexico, 5 p
inria-00100263v1  Conference papers
Mohamed KhalguiXavier RebeufFrançoise Simonot-Lion. A behavior model for IEC 61499 function blocks
Third Workshop on Modelling of Objects, Components, and Agents 2004 - MOCA'04, 2004, Aarhus/Denmark, 17 p
hal-03265573v1  Conference papers
Étienne AndréDylan MarinhoJaco van de Pol. A Benchmarks Library for Extended Parametric Timed Automata
15th International Conference on Tests and Proofs (TAP 2021), Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
inria-00100860v1  Conference papers
Dominique PoulalhonGilles Schaeffer. A bijection for loopless triangulations of a polygon with interior points
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p
inria-00099657v1  Conference papers
Alexander BockmayrVladimir Y. LuninAlexandre Urzhumtsev. A binary integer programming approach for the determination of structures of biological macromolecules
Moscow Conference on Computational Molecular Biology 2003 - MCCMB'03, 2003, Moscou, Russie, pp.44-45
inria-00100175v1  Conference papers
Damien StehléPaul Zimmermann. A Binary Recursive Gcd Algorithm
6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, US, pp.411--425
inria-00543032v1  Conference papers
Miquel Tarzan-LorenteAgustin Gutierrez-GalvezDominique MartinezSantiago Marco. A Biologically Inspired Associative Memory for Artificial Olfaction
International Joint Conference on Neural Networks - IJCNN 2010, 2010, Barcelone, Spain
inria-00114831v1  Conference papers
Walid GaaloulKarim BaïnaClaude Godart. A bottom-up workflow mining approach for workflow applications analysis
2nd International Workshop on Data ngineering Issues in E-Commerce and Services, DEECS'06, Jun 2006, San Francisco, California, USA
inria-00099216v1  Conference papers
Tawfik Es-SqalliEric FleuryJacques Guyard. A broadcast message passing protocol based on corba event service
International Conference on Parallel & Distributed Processing Techniques & Applications, 2000, Las Vegas, Nevada, USA, 4 p
hal-01648694v1  Conference papers
Russell BradfordJames DavenportMatthew EnglandHassan ErramiVladimir Gerdt et al.  A Case Study on the Parametric Occurrence of Multiple Steady States
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
inria-00100480v1  Conference papers
Nicolas P. RougierFrédéric Alexandre. A cerebral framework for integrating biologically plausible mechanisms in large connectionist models
International Conference on Systems in Biology, 2001, Pasadena, USA, United States. 1 p
hal-02133469v1  Conference papers
Emmanuel JeandelPascal Vanier. A Characterization of Subshifts with Computable Language
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
inria-00580198v1  Conference papers
Samuel Cruz-LaraTarik OsswaldJordan GuinaudNadia BellalemLotfi Bellalem. A Chat Interface Using Standards for Communication and E-learning in Virtual Worlds
ICEIS 2010 - 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal-Madeira, Portugal. pp.541-554, ⟨10.1007/978-3-642-19802-1_37⟩
inria-00100161v1  Conference papers
Guillaume DoyenOlivier FestorEmmanuel Nataf. A CIM Extension for Peer-to-Peer Network and Service Management
11th International Conference on Telecommunications - ICT'2004, 2004, Fortaleza, Brésil, pp.801-810
inria-00100634v1  Conference papers
Hager KammounJean-Charles Lamirel. A classificatory System for Information Retrieval: SARCI
The 5th World Multi-Conference on Systemics, Cybernetics and Informatics - SCI 2001, Jul 2001, Orlando, USA
hal-01241302v1  Conference papers
Nadir GuetmiAbdessamad Imine. A Cloud-Based Reusable Design for Mobile Data Sharing
Model and Data Engineering, Sep 2015, Island of Rhodes, Greece. ⟨10.1007/978-3-319-23781-7_6⟩
inria-00103509v1  Conference papers
S. ChenAmine BermakW. WanDominique Martinez. A CMOS image sensor with combined adaptive-quantization and QTD-based on-chip compression processor
IEEE Custom Integrated Circuits Conference - CICC 2006, Sep 2006, San Jose, California/USA