1 |
Demo Paper: Coqlex, an approach to generate verified lexers
|
|
|
|
In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; https://hal.archives-ouvertes.fr/hal-02558838 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, Volume 33 - 2020 - Special issue CRI 2019 (33), ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
7 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Enhancing Speech Privacy with Slicing
|
|
|
|
In: https://hal.inria.fr/hal-03369137 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
Tomashenko, Natalia; Wang, Xin; Vincent, Emmanuel; Patino, Jose; Srivastava, Brij Mohan Lal; Noé, Paul-Gauthier; Nautsch, Andreas; Evans, Nicholas; Yamagishi, Junichi; O'brien, Benjamin; Chanclu, Anaïs; Bonastre, Jean-François; Todisco, Massimiliano; Maouche, Mohamed
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
Abstract:
Supplementary material to the paper "The VoicePrivacy 2020 Challenge: Results and findings" (https://hal.archives-ouvertes.fr/hal-03332224) submitted to CSL. ; The VoicePrivacy 2020 Challenge focuses on developing anonymization solutions for speech technology. This report complements the summary results and analyses presented by Tomashenko et al. (2021). After quickly recalling the challenge design and the submitted anonymization systems, we provide more detailed results and analyses. First, we present objective evaluation results for the primary challenge metrics and for alternative metrics and attack models, and we compare them with each other. Second, we present subjective evaluation results for speaker verifiability, speech naturalness, and speech intelligibility. Finally, we compare these objective and subjective evaluation results with each other.
|
|
Keyword:
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; anonymization; attack model; automatic speech recognition; metrics; privacy; speaker verification; speech synthesis; utility; voice conversion
|
|
URL: https://hal.archives-ouvertes.fr/hal-03335126v3/document https://hal.archives-ouvertes.fr/hal-03335126v3/file/VoicePrivacyCSL_paper_report_hal2_.pdf https://hal.archives-ouvertes.fr/hal-03335126
|
|
BASE
|
|
Hide details
|
|
12 |
Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
13 |
The VoicePrivacy 2020 Challenge: Results and findings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
14 |
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Synchronous Product of Time Petri Netsand its Applications to Fault-Diagnosis ; Produit synchrone des réseaux de Petri temporelset ses applications au diagnostic de défauts
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
16 |
ПРОВОКАЦИЯ ПРЕСТУПЛЕНИЙ В СФЕРЕ НЕЗАКОННОГО ОБОРОТА НАРКОТИЧЕСКИХ СРЕДСТВ ... : PROVOCATION OF CRIMES IN THE SPHERE OF ILLICIT DRUG TRAFFICKING ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
An investigation into variability conditions in the SRE 2004 and 2008 Corpora ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
The hunt for the Age of Acquisition effect: It’s in the links! ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|