Skip to Main content Skip to Navigation


...
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-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-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. pp.1-9
...
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
...
hal-02167756v1  Conference papers
Ioannis K 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-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⟩
...
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-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 K 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 K 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
...
hal-02433997v1  Conference papers
Arthur RenaudeauFrançois LauzeFabien PierreJean-François 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
...
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
...
inria-00332550v1  Conference papers
Jean-yves MarionRomain Péchoux. Analyzing the Implicit Computational Complexity of object-oriented programs
Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
...
hal-02172099v1  Conference papers
Massimiliano TodiscoXin WangVille VestmanMd SahidullahHéctor Delgado et al.  ASVspoof 2019: Future Horizons in Spoofed and Fake Audio Detection
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02345457v1  Conference papers
Laurent EvrardJérôme FrançoisJean-Noël Colin. Attacker Behavior-Based Metric for Security Monitoring Applied to Darknet Analysis
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02111656v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Automated Factorization of Security Chains in Software-Defined Networks
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
inria-00376450v1  Conference papers
Francis KlayLaurent Vigneron. Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩
...
hal-02066930v1  Conference papers
Véronique CortierPierrick GaudryStephane Glondu. Belenios: a simple private and verifiable electronic voting system
Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩
...
hal-02268399v1  Conference papers
Véronique CortierAlicia FilipiakJoseph Lallemand. BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device
CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States
...
hal-02381819v1  Conference papers
Haniel BarbosaJasmin Christian BlanchetteMathias FleuryPascal FontaineHans-Jörg Schurr. Better SMT Proofs for Easier Reconstruction
AITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria
...
hal-02403717v1  Conference papers
Wazen M ShbairMathis SteichenJérôme FrançoisRadu State. BlockZoom: Large-Scale Blockchain Testbed
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency - Demo, May 2019, Seoul, South Korea. pp.5-6, ⟨10.1109/BLOC.2019.8751230⟩
...
lirmm-02309203v1  Conference papers
Jérémie DetreyLaurent Imbert. Breaking randomized mixed-radix scalar multiplication algorithms
LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Oct 2019, Santiago de Chile, Chile. pp.24-39, ⟨10.1007/978-3-030-30530-7_2⟩
...
hal-02181962v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Pose Estimation with Semantic 3D Model
IROS 2019 - 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, Nov 2019, Macau, Macau SAR China. ⟨10.1109/IROS40897.2019.8968180⟩
...
hal-02170784v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Relocalization with Ellipsoidal Abstraction of Objects
ISMAR 2019 - 18th IEEE International Symposium on Mixed and Augmented Reality, Oct 2019, Beijing, China. pp.19-29, ⟨10.1109/ISMAR.2019.00017⟩
...
hal-02177202v1  Conference papers
Lou LeeKatarina BartkovaDenis JouvetMathilde Dargnatyvon Keromnes. Can prosody meet pragmatics? Case of discourse particles in French
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02098864v1  Conference papers
Sébastien RimbertOleksii AvilovPerrine AdamLaurent Bougrain. Can suggestive hypnosis be used to improve Brain-Computer Interface performance?
8th Graz Brain-Computer Interface Conference 2019, Sep 2019, Graz, Austria
...
hal-02051701v1  Conference papers
Tomi KinnunenRosa González HautamäkiVille VestmanMd Sahidullah. Can We Use Speaker Recognition Technology to Attack Itself? Enhancing Mimicry Attacks Using Automatic Target Speaker Selection
ICASSP 2019 – 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom