• Refine your search:
  • 
    Keyword:
    
    • verification (37)
    • Verification (34)
    • Computer Programming and Software (32)
    • Linguistics (26)
    • speaker verification (26)
    • Languages (24)
    • Theory (24)
    • Verification Additional Key Words and Phrases (18)
    • VERIFICATION (17)
    • COMPUTER PROGRAMS (14)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (9)
    • 2021 (23)
    • 2020 (7)
    • 2019 (15)
    • 2018 (8)
    • 2017 (16)
    • 2016 (11)
    • 2015 (17)
    • 2014 (11)
    • 2013 (16)
    •   more
  • 
    Medium:
    
    • Online (377)
  • 
    Type:
    
    • Article (277)
    • Book (59)
    • Miscellaneous (41)
  • 
    BLLDB-Access:
    • free (377)
    • subject to license (2)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...19 Hits 1 – 20 of 377 1 Speaking Style Variability in Speaker Discrimination by Humans and Machines Afshan, Amber. - : eScholarship, University of California, 2022 BASE Show details 2 Проверка показаний на месте с использованием онлайн-трансляции ... : Checking the readings on the spot using an online broadcast ... Иванов А.Н.; Лапунин М.М.. - : Правовая политика и правовая жизнь, 2022 BASE Show details 3 Об истории речевых исследований в России ... : About the history of speech research in Russia ... Потапова, Р.К.; Потапов, В.В.. - : Издательство ГЕОС, 2022 BASE Show details 4 Reproducibility of the Experimental Result of BERT for Evidence Retrieval and Claim Verification ... Kunauntakij, Thummaoon; Kónya, András Bonifác; Raguž, Branimir. - : Zenodo, 2022 BASE Show details 5 Reproducibility of the Experimental Result of BERT for Evidence Retrieval and Claim Verification ... Kunauntakij, Thummaoon; Kónya, András Bonifác; Raguž, Branimir. - : Zenodo, 2022 BASE Show details 6 Toward Realigning Automatic Speaker Verification in the Era of COVID-19 Awais Khan; Ali Javed; Khalid Mahmood Malik; Muhammad Anas Raza; James Ryan; Abdul Khader Jilani Saudagar; Hafiz Malik In: Sensors; Volume 22; Issue 7; Pages: 2638 (2022) BASE Show details 7 Facial Identity Verification Robust to Pose Variations and Low Image Resolution: Image Comparison Based on Anatomical Facial Landmarks Yu-Jin Hong In: Electronics; Volume 11; Issue 7; Pages: 1067 (2022) BASE Show details 8 Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) ... Boker, Udi. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022 BASE Show details 9 Robust speaker verification systems based on deep neural networks Gómez Alanís, Alejandro. - : Universidad de Granada, 2022 BASE Show details 10 Demo Paper: Coqlex, an approach to generate verified lexers Ouedraogo, Wendlasida; Ilik, Danko; Straßburger, Lutz 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 11 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 NZEBOP NDENOKA, Gérard; Tchuente, M.; Simeu, Emmanuel 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 12 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,... 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 13 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 NZEBOP NDENOKA, Gérard; Tchuenté, Maurice; Simeu, Emmanuel 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 14 Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings Tomashenko, Natalia; Wang, Xin; Vincent, Emmanuel... In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021) BASE Show details 15 Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings Tomashenko, Natalia; Wang, Xin; Vincent, Emmanuel... In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021) BASE Show details 16 The VoicePrivacy 2020 Challenge: Results and findings Tomashenko, Natalia; Wang, Xin; Vincent, Emmanuel... In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021) BASE Show details 17 Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings Tomashenko, Natalia; Wang, Xin; Vincent, Emmanuel... In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021) BASE Show details 18 The VoicePrivacy 2020 Challenge: Results and findings Tomashenko, Natalia; Wang, Xin; Vincent, Emmanuel... In: https://hal.archives-ouvertes.fr/hal-03332224 ; 2021 (2021) BASE Show details 19 Enhancing Speech Privacy with Slicing Maouche, Mohamed; Srivastava, Brij Mohan Lal; Vauquier, Nathalie... In: https://hal.inria.fr/hal-03369137 ; 2021 (2021) BASE Show details 20 Supplementary material to the paper The VoicePrivacy 2020 Challenge: Results and findings Tomashenko, Natalia; Wang, Xin; Vincent, Emmanuel... In: https://hal.archives-ouvertes.fr/hal-03335126 ; 2021 (2021) BASE Show details Page: 1 2 3 4 5...19

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 376 Linguistik-Repository 1 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0