Skip to Main content Skip to Navigation
  1. Search


...
hal-02975379v2  Conference papers
Matthieu Zins, Gilles Simon, Marie-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-03122764v1  Conference papers
Claire Theobald, Frédéric Pennerath, Brieuc Conan-Guez, Miguel Couceiro, Amedeo 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
...
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
...
hal-02909105v1  Conference papers
Xuechen Liu, Md Sahidullah, Tomi Kinnunen. A Comparative Re-Assessment of Feature Extractors for Deep Speaker Embeddings
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-02907918v1  Conference papers
Mohamed Maouche, Brij Mohan Lal Srivastava, Nathalie Vauquier, Aurélien Bellet, Marc Tommasi et al.  A comparative study of speech anonymization metrics
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-03106208v1  Conference papers
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
...
hal-02619239v1  Conference papers
Maxime Amblard, Clement Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
...
hal-02402986v1  Conference papers
Adrien Hemmer, Remi Badonnel, Isabelle Chrisment. A Process Mining Approach for Supporting IoT Predictive Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
...
hal-02625712v1  Conference papers
Adrien Hemmer, Remi Badonnel, Jérôme François, Isabelle Chrisment. A Process Mining Tool for Supporting IoT Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
...
hal-02914177v1  Conference papers
Titouan Carette, Emmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
...
hal-02396352v2  Conference papers
Aurore Guillevic. A short-list of pairing-friendly curves resistant to Special TNFS at the 128-bit security level
PKC 2020 - IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh, United Kingdom. pp.535-564, ⟨10.1007/978-3-030-45388-6_19⟩
...
hal-03103869v1  Conference papers
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers et al.  A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
USENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
...
hal-02995862v2  Conference papers
Pierre Champion, Denis Jouvet, Anthony Larcher. A Study of F0 Modification for X-Vector Based Speech Pseudo-Anonymization Across Gender
The Second AAAI Workshop on Privacy-Preserving Artificial Intelligence (PPAI)., Nov 2020, online, United States
...
hal-02393302v2  Conference papers
Gabrielle de Micheli, Rémi Piau, Cécile Pierrot. A Tale of Three Signatures: practical attack of ECDSA with wNAF
AFRICACRYPT 2020, Jul 2020, Cairo, Egypt. pp.361-381, ⟨10.1007/978-3-030-51938-4_18⟩
...
hal-02881308v1  Conference papers
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux. A tier-based typed programming language characterizing Feasible Functionals
LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
...
hal-02907929v1  Conference papers
Mehmet Ali Tuğtekin Turan, Emmanuel Vincent, Denis Jouvet. Achieving Multi-Accent ASR via Unsupervised Acoustic Model Adaptation
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-03065632v1  Conference papers
Nazim Haouchine, Parikshit Juvekar, Alexandra Golby, William Wells, Stéphane Cotin et al.  Alignment of Cortical Vessels viewed through the Surgical Microscope with Preoperative Imaging to Compensate for Brain Shift
Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Feb 2020, Houston, United States
...
hal-03134114v1  Conference papers
Mathilde Boltenhagen, Benjamin Chetioui, Laurine Huber. An Alignment Cost-Based Classification of Log Traces Using Machine-Learning
ML4PM2020 - First International Workshop on Leveraging Machine Learning in Process Mining, Oct 2020, Padua/ Virtual, Italy. ⟨10.1007/978-3-030-72693-5_11⟩
...
hal-03143502v1  Conference papers
Heba Alkayed, Horatiu Cirstea, Stephan Merz. An Extension of PlusCal for Modeling Distributed Algorithms
TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany
...
hal-02909216v1  Conference papers
Laurine Huber, Justine Reynaud, Mathilde Dargnat, Yannick Toussaint. AOC-Poset on discourse and argumentation subgraphs: what can we learn on their dependencies?
Concept Lattice and their Applications, Jun 2020, Tallinn, Estonia
...
hal-02962964v1  Conference papers
Manuel Pariente, Samuele Cornell, Joris Cosentino, Sunit Sivasankaran, Efthymios Tzinis et al.  Asteroid: the PyTorch-based audio source separation toolkit for researchers
Interspeech 2020, Oct 2020, Shanghai, China
...
hal-02871839v1  Conference papers
Gabrielle de Micheli, Pierrick Gaudry, Cécile Pierrot. Asymptotic complexities of discrete logarithm algorithms in pairing-relevant finite fields
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.32-61
...
hal-02903620v1  Conference papers
Véronique Cortier, Stéphanie Delaune, Jannik Dreier. Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols
ESORICS 2020 - 25th European Symposium on Research in Computer Security, Sep 2020, Guilford, United Kingdom. pp.3--22, ⟨10.1007/978-3-030-59013-0_1⟩
...
hal-02880764v1  Conference papers
Paloma de las Cuevas, Pablo Garcia-Sanchez, Zaineb Chelly Dagdia, Maria-Isabel Garcia-Arenas, Juan Julian Merelo. Automatic rule extraction from access rules using Genetic Programming
EvoCOP 2020 - 20th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2020, Seville, Spain
...
hal-02867413v1  Conference papers
Garip Kusoglu, Bérenger Bramas, Stéphane Genaud. Automatic task-based parallelization of C++ applications by source-to-source transformations
Compas 2020 - Conférence francophone en informatique, Jun 2020, Lyon, France
...
hal-02448197v2  Conference papers
Ashwin Geet d'Sa, Irina Illina, Dominique Fohr. BERT and fastText Embeddings for Automatic Detection of Toxic Speech
SIIE 2020 - Information Systems and Economic Intelligence; International Multi-Conference on:“Organization of Knowledge and Advanced Technologies”(OCTA), Feb 2020, Tunis, Tunisia
...
hal-02990598v1  Conference papers
Antoine Defourné. Better Automation for TLA+ Proofs
JFLA 2020 - 31emes Journées Francophones des Langages Applicatifs, Zaynah Dargaye; Yann Regis-Gianas, Jan 2020, Gruissan, France
...
hal-02469901v3  Conference papers
Diego Di Carlo, Clément Elvira, Antoine Deleforge, Nancy Bertin, Rémi Gribonval. BLASTER: An Off-Grid Method for Blind and Regularized Acoustic Echoes Retrieval -- with supplementary material
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, IEEE, May 2020, Barcelona, Spain
...
hal-03032566v1  Conference papers
Jérôme François, Alexander Clemm, Vivien Maintenant, Sébastien Tabor. BPP over P4: Exploring Frontiers and Limits in Programmable Packet Processing
IEEE Global Communications Conference, Dec 2020, Taipei, Taiwan
...
hal-02266264v2  Conference papers
Pierrick Gaudry, Alexander Golovnev. Breaking the encryption scheme of the Moscow Internet voting system
Financial Cryptography and Data Security, 2020, Kota Kinabalu, Malaysia. pp.32-49, ⟨10.1007/978-3-030-51280-4_3⟩
...
hal-03122343v1  Conference papers
Jaume Baixeries, Victor Codocedo, Mehdi Kaytoue, Amedeo Napoli. Building a Representation Context Based on Attribute Exploration Algorithms
FCA4AI 2020 - 8th International Workshop "What can do for Artificial Intelligence?", Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph, Aug 2020, Santiago de Compostela/Virtual, Spain. pp.141--152
...
hal-02541391v1  Conference papers
Lakhdar Meftah, Romain Rouvoy, Isabelle Chrisment. Capturing Privacy-preserving User Contexts with IndoorHash
DAIS 2020 - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. ⟨10.1007/978-3-030-50323-9_2⟩
...
hal-02983256v1  Conference papers
José Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira. Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
International Conference on Cryptology in India, Dec 2020, Bangalore, India
...
hal-02546993v2  Conference papers
Shinji Watanabe, Michael Mandel, Jon Barker, Emmanuel Vincent, Ashish Arora et al.  CHiME-6 Challenge: Tackling multispeaker speech recognition for unsegmented recordings
CHiME 2020 - 6th International Workshop on Speech Processing in Everyday Environments, May 2020, Barcelona / Virtual, Spain
...
hal-02863525v2  Conference papers
Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé et al.  Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment
Advances in Cryptology – CRYPTO 2020, Aug 2020, Santa Barbara CA, United States. pp.62-91, ⟨10.1007/978-3-030-56880-1_3⟩
...
hal-02463336v2  Conference papers
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
...
hal-02864678v1  Conference papers
Kevin Dalleau, Miguel Couceiro, Malika Smaïl-Tabbone. Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs
IDA 2020 -18th International Symposium on Intelligent Data Analysis, Jun 2020, Konstanz / Virtual, Germany. pp.132-144, ⟨10.1007/978-3-030-44584-3_11⟩
...
hal-02983557v1  Conference papers
Weihai Yu, Claudia-Lavinia Ignat. Conflict-Free Replicated Relations for Multi-Synchronous Database Management at Edge
IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services, Oct 2020, Beijing, China
...
hal-02879883v1  Conference papers
Lionel Nicolas, Verena Lyding, Claudia Borg, Corina Forascu, Karën Fort et al.  Creating Expert Knowledge by Relying on Language Learners: a Generic Approach for Mass-Producing Language Resources by Combining Implicit Crowdsourcing and Language Learning
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France
...
hal-02944908v1  Conference papers
Patrick Derbez, Paul Huynh, Virginie Lallemand, María Naya-Plasencia, Léo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
...
hal-02920320v1  Conference papers
Oleksii Avilov, Sébastien Rimbert, Anton Popov, Laurent Bougrain. Deep Learning Techniques to Improve Intraoperative Awareness Detection from Electroencephalographic Signals
IEEE Engineering in Medicine and Biology Society 2020, Jul 2020, Montreal, Canada
...
hal-02573885v2  Conference papers
Ajinkya Kulkarni, Vincent Colotte, Denis Jouvet. Deep variational metric learning for transfer of expressivity in multispeaker text to Speech
SLSP 2020 - 8th International Conference on Statistical Language and Speech Processing, Oct 2020, Cardiff / Virtual, United Kingdom
...
hal-02993199v1  Conference papers
Abir Laraba, Jérôme François, Isabelle Chrisment, Shihabur Chowdhury, Raouf Boutaba. Defeating Protocol Abuse with P4: Application to Explicit Congestion Notification
2020 IFIP Networking Conference (Networking), Jun 2020, Paris, France
...
hal-02876726v3  Conference papers
Nazim Haouchine, Parikshit Juvekar, William Wells Iii, Stéphane Cotin, Alexandra Golby et al.  Deformation Aware Augmented Reality for Craniotomy using 3D/2D Non-rigid Registration of Cortical Vessels
Medical Image Computing and Computer Assisted Intervention, Oct 2020, Lima, Peru
...
hal-02298815v3  Conference papers
Antonin Callard, Mathieu Hoyrup. Descriptive complexity on non-Polish spaces
STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
...
hal-02483114v1  Conference papers
Mathieu Hoyrup. Descriptive complexity on non-Polish spaces II
ICALP, Jul 2020, Saarbrücken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.132⟩
...
hal-02610447v2  Conference papers
Brij Mohan Lal Srivastava, Natalia Tomashenko, Xin Wang, Emmanuel Vincent, Junichi Yamagishi et al.  Design Choices for X-vector Based Speaker Anonymization
INTERSPEECH 2020, International Speech Communication Association (ISCA), Oct 2020, Shanghai, China
...
hal-02980115v1  Conference papers
Mingxiao Ma, Abdelkader Lahmadi, Isabelle Chrisment. Detecting a Stealthy Attack in Distributed Control for Microgrids using Machine Learning Algorithms
3rd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), Jun 2020, Tampere (online), Finland
...
hal-02908241v2  Conference papers
Samuele Cornell, Maurizio Omologo, Stefano Squartini, Emmanuel Vincent. Detecting and counting overlapping speakers in distant speech scenarios
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-02880553v1  Conference papers
Frédéric Pennerath, Panagiotis Mandros, Jilles Vreeken. Discovering Approximate Functional Dependencies using Smoothed Mutual Information
KDD 2020 - 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Aug 2020, San Diego / Virtual, United States. pp.1254 -- 1264
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/