Skip to Main content Skip to Navigation


halshs-00359173v1  Book sections
Audrey KnaufStéphane Goria. Spécification des métiers et compétences impliqués dans le dispositif régional d'intelligence économique
Ludovic François. Intelligence Territoriale : L'intelligence économique appliquée au territoire, Lavoisier, pp.71-86, 2008, TEC & DOC
hal-00596719v1  Journal articles
Martine CadotDhouha El Haj Ali. Modélisation et extraction des liens complexes entre variables. Application à des données socio-économiques
Revue des Nouvelles Technologies de l'Information, Editions RNTI, 2011, RNTI-E-21, pp.27-52
...
hal-00764708v1  Conference papers
Mehdi FelhiAntoine TabboneNicolas Bonnier. Un nouveau descripteur de texte pour la détection des lignes de texte multi-orientées dans les scènes réelles
7ème Colloque International Francophone sur l'Écrit et le Document - CIFED 2012, Mar 2012, Bordeaux, France
...
inria-00000253v1  Conference papers
Amos Abayomi DavidSahbi Sidhom. Intégration de la démarche d'Intelligence Économique dans l'architecture fonctionnelle d'un système d'information
Le Système National d'Information Economique : Etat et perspectives, Centre de Recherche sur l'Information Scientifique et Technique(Cerist) - Algérie, Feb 2005, Alger/Algérie
...
inria-00099481v1  Conference papers
Javier-Flavio Vigueras-GomezMarie-Odile BergerGilles Simon. Calibration multiplanaire d'une caméra : augmenter la stabilité en utilisant la sélection de modèles
Journées Francophones des Jeunes Chercheurs en Vision par Ordinateur - ORASIS'2003, LORIA, INRIA-Lorraine, 2003, Gérardmer, France, pp.147-156
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
...
hal-01402986v2  Journal articles
Agnès Piquard-KipfferTamara Léonova. Scolarité et handicap : parcours de 170 jeunes dysphasiques ou dyslexiques- dysorthographiques âgés de 6 à 20 ans
ANAE - Approche Neuropsychologique des Apprentissages Chez L'enfant, ANAE/PLEIOMEDIA, 2017
...
hal-01405981v1  Conference papers
Hoang Nam HoMourad RabahSamuel NowakowskiPascal Estraillier. Personnalisation interactive de parcours pédagogiques par une méthode de décision multicritère à base de traces
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2015), Jun 2015, Agadir, Maroc. pp.429-431
hal-01211604v1  Poster communications
Hoang Nam HoMourad RabahSamuel NowakowskiPascal Estraillier. Personnalisation interactive de parcours pédagogiques par une méthode de décision multicritère à base de traces
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Jun 2015, Agadir, Maroc. pp.429-431
hal-01762605v1  Conference papers
Chérifa Ben KhelilChiraz ZribiDenys DuchierYannick Parmentier. Interface syntaxe-sémantique au moyen d’une grammaire d’arbres adjoints pour l’étiquetage sémantique de l’arabe
25e conférence sur le Traitement Automatique des Langues Naturelles (TALN), May 2018, Rennes, 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-02192794v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Майнинг множеств признаков на основе сжатия: вероятностный подход
Proceedings of the 17th Russian Conference on Artificial Intelligence, Russian Association of Artificial Intelligence; Institute of Control Sciences Academician VA Trapeznikov; Ulyanovsk State Technical University; Federal Research Center “Computer Science and Control”, Oct 2019, Ulyanovsk, Russia. pp.164-172
...
hal-00419550v1  Journal articles
Bertrand GaiffeLaurent Romary. « Ce matin, il pleuvait », ou la référence à l'épreuve du temps.
Langages, Armand Colin (Larousse jusqu'en 2003), 1993, pp.74-91
...
inria-00090488v3  Reports
Frédéric Blanqui. (HO)RPO Revisited
[Research Report] RR-5972, INRIA. 2006, pp.20
...
hal-01655955v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiJirka MaršíkStefan Jokulsson. (In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
...
hal-01655957v2  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiMarie-Hélène PierreStefan Jokulsson. (In)Coherence of discourse 4
Mar 2017, Nancy, France. Published by the authors, 2017
hal-02501028v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel Rebuschi. (In)coherence of Discourse. Formal and conceptual issues of language
Springer, 2021, Language, Cognition and Mind (Chungmin Lee “Editor Springer book series)
...
inria-00108118v1  Conference papers
Anis KoubaaYe-Qiong Song. (m,k)-WFQ : Integrating (m,k)-Firm Real-Time Constraints into Guaranteed-Rate Networks
Conference on Real-Time Systems - RTS Embedded Systems 2004, 2004, Paris/France
...
inria-00000791v1  Journal articles
Anis KoubaaYe-Qiong SongJean-Pierre Thomesse. (m,k)-WFQ : Intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (8), pp.1013--1046
...
hal-00561442v1  Conference papers
Julien GroslambertJacques JulliandOlga Kouchnarenko. {JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.41--48
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-00563313v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. {SAT} Solvers for Queries over Tree Automata with Constraints
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France
...
inria-00098735v1  Reports
Horatiu CirsteaClaude Kirchner. $\rho$-Calculus. Its Syntax and Basic Properties
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
...
hal-03236655v1  Poster communications
Anne PoszwaAxelle GrzesznikAnne GebhardtArthur AgatPhilippe Even et al.  1400 years of man-environment interactions and soil evolution in the Saint-Mont mountain (Remiremont, Vosges)
Historical Ecology for the future - International conference in historical ecology, May 2021, Metz, France. 2021
...
inria-00618324v1  Directions of work or proceedings
Florence Le BerJean Renaud. 18ème Atelier "Raisonnement à Partir de Cas" RàPC 2010
Florence Le Ber et Jean Renaud. pp.100, 2010
...
inria-00070192v2  Conference papers
Paul ZimmermannBruce Dodson. 20 years of ECM
7th Algorithmic Number Theory Symposium (ANTS VII), 2006, Berlin/Germany, Germany. pp.525--542
...
hal-01518764v1  Conference papers
Jean-Baptiste MouretKonstantinos Chatzilygeroudis. 20 Years of Reality Gap: a few Thoughts about Simulators in Evolutionary Robotics
Workshop "Simulation in Evolutionary Robotics", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany. ⟨10.1145/3067695.3082052⟩
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
hal-01259794v1  Directions of work or proceedings
Didier GalmicheDominique Larchey-Wendling. 22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Didier Galmiche and Dominique Larchey-Wendling Nancy, France. 2013, Lecture Notes in Artificial Intelligence 8123
...
hal-00434332v1  Documents associated with scientific events
Susanne AlbersJean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science (STACS)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, LIPIcs. STACS - 2009, Feb 2009, FREIBURG, Germany. 090001, pp.1-7, 2009, Dagstuhl Seminar Proceedings
...
inria-00549415v1  Documents associated with scientific events
Jean-Yves MarionThomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science (STACS)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France
...
hal-01188738v1  Conference papers
Yves LaprieBenjamin ElieAnastasiia Tsukanova. 2D Articulatory Velum Modeling Applied to Copy Synthesis of Sentences Containing Nasal Phonemes
International Congress of Phonetic Sciences, Aug 2015, Glasgow, United Kingdom
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
...
hal-01240344v1  Journal articles
Jean HergelSylvain Lefebvre. 3D Fabrication of 2D Mechanisms
Computer Graphics Forum, Wiley, 2015, ⟨10.1111/cgf.12555⟩
...
inria-00613725v2  Conference papers
Pierre CasertaOlivier ZendraDamien Bodénès. 3D Hierarchical Edge Bundles to Visualize Relations in a Software City Metaphor
6th IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2011), Sep 2011, Williamsburg, United States
hal-01432848v1  Conference papers
Stéfane ParisG. Masini. 3d Modeling: a Step Towards Self-government
ICIAP 1991 - 6th international conference on image analysis and processing, Sep 1991, Como, Italy. pp.221--225
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-01698928v1  Reports
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
[Research Report] RR-9149, Inria Nancy - Grand Est. 2018, pp.1-22
...
hal-01727375v1  Conference papers
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
Proceedings of the 34th International Symposium on Computational Geometry, Jun 2018, Budapest, Hungary. pp.30:1 - 30:14, ⟨10.4230/LIPIcs.SoCG.2018.30⟩
...
hal-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
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
...
hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan
...
hal-03339617v1  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
ORASIS 2021 - 18èmes journées francophones des jeunes chercheurs en vision par ordinateur, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-01654279v1  Conference papers
V AvrutovP AksonenkoPatrick HenaffLaurent Ciarletta. 3D-Calibration of the IMU
ELNANO 2017 - IEEE 37th International Conference on Electronics and Nanotechnology, Apr 2017, KIEV, Ukraine. pp.1-6, ⟨10.1109/ELNANO.2017.7939782⟩
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-00000901v1  Book sections
Olivier FestorIsabelle Réchiniac. 6Net : An IPv6 Deployment Guide : Contribution to Chapter 7 Network Management
Martin Dunmore. 6Net : An IPv6 Deployment Guide, The 6Net consortium, 2005
inria-00100760v1  Reports
Olivier FestorRob EvansBernard TuyRalf Wolter. 6NET Network Management Initial Architecture
[Contract] A02-R-081 || festor02a, 2002, 19 p
...
hal-01714154v1  Directions of work or proceedings
Sahbi SidhomAnass El HaddadiAbdelkrim MezianeMohamed AddamJaber El Bouhdidi. 6th. international symposium ISKO-Maghreb'2017 on Knowledge Organisation in the perspective of Digital Humanities
6th. international symposium ISKO-Maghreb'2017 on Knowledge Organisation in the perspective of Digital Humanities, May 2017, Al-Hoceima, Maroc. volume 1. (ISSN 2507-7376), ENSA Al-Hoceima (Maroc), pp.205, 2017, 6th. international symposium ISKO-Maghreb'2017 on Knowledge Organisation in the perspective of Digital Humanities, ISSN 2507-7376
...
hal-02167208v1  Directions of work or proceedings
Sahbi SidhomAnass El HaddadiMourad Oubrich. 7th. Information Systems and Economic Intelligence, SIIE 2017 : Proceedings
SIIE 2017 - Systèmes d'Information & Intelligence Économique 2017, May 2017, Al-Hoceima, Morocco. 2017
hal-02993251v1  Directions of work or proceedings
Didier GalmicheStephan SchulzRoberto Sebastiani. 9th International Joint Conference on Automated Reasoning , IJCAR 2018
9th International Joint Conference on Automated Reasoning IJCAR 2018, Oxford, United Kingdom. 10900, 2018, Lecture Notes in Artificial Intelligence
...
hal-03540836v1  Directions of work or proceedings
Sergei KuznetsovAmedeo NapoliSebastian Rudolph. 9th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2021)
CEUR Workshop Proceedings. IJCAI 2021, Aug 2021, Montréal/virtual, Canada. CEUR Workshop Proceedings (http://ceur-ws.org/Vol-2972) (2972), pp.139, 2021, Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2021)
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-00401785v1  Conference papers
Bin GuoAmine BermakMaxime AmbardDominique Martinez. A 4×4 Logarithmic Spike Timing Encoding Scheme for Olfactory Sensor Applications
International Symposium on Circuits and Systems - ISCAS 2007, May 2007, New Orleans, United States. pp.3554 - 3557, ⟨10.1109/ISCAS.2007.378450⟩
hal-01882068v1  Conference papers
Bin GuoAmine BermakMaxime AmbardDominique Martinez. A 4x4 Logarithmic Spike Timing Encoding Scheme for Olfactory Sensor Applications
ISCAS, IEEE International Symposium on Circuits and Systems, May 2007, New Orleans, United States
inria-00329973v1  Conference papers
Frédéric DadeauRégis TissotMarie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
hal-00804303v1  Conference papers
Wahiba TaoualiNicolas RougierFrédéric Alexandre. A basic model of saccades encoding
The NeuroComp/KEOpS'12 workshop, Oct 2012, Bordeaux, France
...
inria-00179764v1  Conference papers
Sabine BarratAntoine TabbonePatrick Nourrissier. A Bayesian classifier for symbol recognition
Seventh International Workshop on Graphics Recognition - GREC'2007, IAPR TC-10 (Technical Committee on Graphics Recognition), Sep 2007, Curitiba, Brazil. 9 p
...
hal-03346500v1  Conference papers
Claire TheobaldBastien ArcelinFrédéric PennerathBrieuc Conan-GuezMiguel Couceiro et al.  A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression
ECML PKDD 221: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
...
inria-00437492v1  Journal articles
Sabine BarratAntoine Tabbone. A Bayesian network for combining descriptors: application to symbol recognition
International Journal on Document Analysis and Recognition, Springer Verlag, 2009, 13 (1), pp.65-75. ⟨10.1007/s10032-009-0103-y⟩
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
...
hal-03122764v1  Conference papers
Claire TheobaldFrédéric PennerathBrieuc Conan-GuezMiguel CouceiroAmedeo Napoli. A Bayesian Neural Network based on Dropout Regulation
Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France
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⟩