Skip to Main content Skip to Navigation


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-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-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-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
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-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
...
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
...
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⟩