Skip to Main content Skip to Navigation

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-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
inria-00332390v1  Conference papers
Jean-Yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
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
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy
hal-02194229v1  Conference papers
Abdelkader OualiNyoman JuniartaBernard MaigretAmedeo Napoli. A Feature Selection Method based on Tree Decomposition of Correlation Graph
LEG@ECML-PKDD 2019 - The third International Workshop on Advances in Managing and Mining Large Evolving Graphs, Sep 2019, Würzburg, Germany
hal-02381750v1  Conference papers
Paul GodardVincent LoechnerCédric BastoulFrederic SoulierGuillaume Muller. A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation
IPDPSW 2019 - IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, May 2019, Rio de Janeiro, Brazil. pp.718-728, ⟨10.1109/IPDPSW.2019.00120⟩
hal-01791791v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
hal-02370231v1  Conference papers
Weihai YuVictorien ElvingerClaudia-Lavinia Ignat. A Generic Undo Support for State-Based CRDTs
OPODIS 2019 - Proceedings of 23rd International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. ⟨10.4230/LIPIcs.OPODIS.2019.14⟩
hal-02984963v1  Conference papers
Manuel AtenciaJérôme DavidJérôme EuzenatAmedeo NapoliJérémy Vizzini. A guided walk into link key candidate extraction with relational concept analysis
ISWC 2019 : 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand
hal-00342323v1  Conference papers
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. A Logical Account of PSPACE
Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131
inria-00332320v1  Conference papers
Randa KassabJean-Charles Lamirel. A Multi-level Abstraction Model for Competitive Learning Neural Networks
Artificial Intelligence and Applications - AIA 2008, Feb 2008, Innsbruck, Austria, Austria. pp.97-103
hal-02167756v1  Conference papers
Ioannis DourosJacques FelblingerJens FrahmKaryna IsaievaArun Joseph et al.  A Multimodal Real-Time MRI Articulatory Corpus of French for Speech Research
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
hal-01963426v1  Conference papers
Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
hal-01257272v1  Conference papers
Louis-Noël PouchetCédric BastoulJohn CavazosAlbert Cohen. A Note on the Performance Distribution of Affine Schedules
2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Jan 2008, Gothenburg, Sweden
inria-00598801v1  Conference papers
Vipul JainLyes Benyoucef. A novel approach to model and evaluate dynamic agility in supply chains
Tenth International Conference on Enterprise Information Systems - ICEIS 2008, Jun 2008, Barcelone, Spain. pp.93-100
hal-03270271v1  Conference papers
Jérémie GaidamourXavier Antoine. A parallel framework for the numerical simulation of Bose–Einstein condensates
International Conference on Scientific Computation and Differential Equations (SciCADE), Jul 2019, Innsbruck, Austria
hal-02394144v1  Conference papers
Olivier DevillersCharles Duménil. A Poisson sample of a smooth surface is a good sample
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
hal-02116165v2  Conference papers
Manuel ParienteAntoine DeleforgeEmmanuel Vincent. A Statistically Principled and Computationally Efficient Approach to Speech Enhancement using Variational Autoencoders
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
hal-02162929v2  Conference papers
Tatiana MakhalovaMartin Trnecka. A Study of Boolean Matrix Factorization Under Supervised Settings
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.341-348, ⟨10.1007/978-3-030-21462-3_24⟩
inria-00337520v1  Conference papers
Daniel Reynaud. A Survey on Virtual Machines for Malware Analysis
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
hal-02269609v1  Conference papers
Maxime AmblardMaria BoritchevMarta CarlettiLea DieudonatYiting Tsai. A Taxonomy of Real-Life Questions and Answers in Dialogue
SemDial 2019 - LondonLogue - 23rd Workshop on the semantics and pragmatics of dialogue, Sep 2019, London, United Kingdom
hal-00337371v1  Conference papers
Marilisa AmoiaClaire Gardent. A test suite for inference involving adjectives
sixth international conference on Language Resources and Evaluation, Jun 2008, Marrakech, Morocco. pp.19-27
hal-02273741v1  Conference papers
Matthieu GeistBruno ScherrerOlivier Pietquin. A Theory of Regularized Markov Decision Processes
ICML 2019 - Thirty-sixth International Conference on Machine Learning, Jun 2019, Long Island, United States
hal-02111658v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. A Tool Suite for the Automated Synthesis of Security Function Chains
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
inria-00336333v1  Conference papers
Bruno GuillaumeJoseph Le RouxJonathan MarchandGuy PerrierKarën Fort et al.  A Toolchain for Grammarians
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
hal-02418029v1  Conference papers
William Babonnaud. A Topos-Based Approach to Building Language Ontologies
Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩
hal-02271520v1  Conference papers
Maxime CompastiéRémi BadonnelOlivier FestorRuan He. A TOSCA-Oriented Software-Defined Security Approach for Unikernel-Based Protected Clouds
NetSoft 2019 - IEEE Conference on Network Softwarization, Jun 2019, Paris, France. pp.151-159, ⟨10.1109/NETSOFT.2019.8806623⟩
hal-02266200v1  Conference papers
Nyoman JuniartaMiguel CouceiroAmedeo Napoli. A Unified Approach to Biclustering Based on Formal Concept Analysis and Interval Pattern Structures
DS 2019 - 22nd International Conference on Discovery Science, Oct 2019, Split, Croatia
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩
inria-00326077v1  Conference papers
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP Authentication
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
inria-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
inria-00336233v1  Conference papers
Luciana Benotti. Accommodation through Tacit Sensing
Workshop on the Semantics and Pragmatics of Dialogue - LONDIAL 2008, King's College of London, Jun 2008, London, United Kingdom. pp.75-82
hal-02180617v1  Conference papers
Ioannis DourosYves LapriePierre-André VuissozBenjamin Elie. Acoustic Evaluation of Simplifying Hypotheses Used in Articulatory Synthesis
ICA 2019 - 23rd International Congress on Acoustics, Sep 2019, Aachen, Germany
hal-02180566v1  Conference papers
Ioannis DourosPierre-André VuissozYves Laprie. Acoustic impacts of geometric approximation at the level of velum and epiglottis on French vowels
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
inria-00330532v1  Conference papers
Siva AnatharamanHai LinChris LynchPaliath NarendranMichaël Rusinowitch. Active Intruders with Caps
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States
hal-02266623v1  Conference papers
Laurine HuberYannick ToussaintCharlotte RozeMathilde DargnatChloé Braud. Alignement de Structures Argumentatives et Discursives par Fouille de Graphes et de Redescriptions
SFC 2019 - XXVIe Rencontres de la Société Francophone de Classification, Sep 2019, Nancy, France
hal-02433997v1  Conference papers
Arthur RenaudeauFrançois LauzeFabien PierreJf AujolJean-Denis Durou. Alternate Structural-Textural Video Inpainting for Spot Defects Correction in Movies
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany
hal-02010199v2  Conference papers
Dayana RibasEmmanuel Vincent. An improved uncertainty propagation method for robust i-vector based speaker recognition
ICASSP 2019 - 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
inria-00329730v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. An inference system for detecting firewall filtering rules anomalies
23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128
hal-02278345v1  Conference papers
Christelle DodaneDominique BoutetIvana DidirkovaFabrice HirschSlim Ouni et al.  An integrative platform to capture the orchestration of gesture and speech
GeSpIn 2019 - Gesture and Speech in Interaction, Sep 2019, Paderborn, Germany
hal-02401738v1  Conference papers
Lucas Nussbaum. An overview of Fed4FIRE testbeds -- and beyond?
GEFI - Global Experimentation for Future Internet Workshop, Nov 2019, Coimbra, Portugal