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 |
Outils numériques pour l’apprentissage de la grammaire en français langue d’enseignement : Quels analyseurs pour les appréhender ?
|
|
|
|
In: 10e Conférence sur les Environnements Informatiques pour l’Apprentissage Humain ; https://hal.archives-ouvertes.fr/hal-03287738 ; 10e Conférence sur les Environnements Informatiques pour l’Apprentissage Humain, Marie Lefevre, Christine Michel, Jun 2021, Fribourg, Allemagne. pp.288-293 (2021)
|
|
BASE
|
|
Show details
|
|
3 |
АВТОМАТИЗАЦИЯ ЗВУКОВ НА ЛОГОПЕДИЧЕСКИХ ЗАНЯТИЯХ ПОСРЕДСТВОМ АКТИВИЗАЦИИ ТРЕХ ВИДОВ АНАЛИЗАТОРОВ В СОЧЕТАНИИ С ПРИЕМОМ ОТВЛЕЧЕНИЯ ВНИМАНИЯ
|
|
ЛЕЖНИНА Н.П.. - : Федеральное государственное образовательное учреждение высшего профессионального образования «Марийский государственный университет», 2015
|
|
BASE
|
|
Show details
|
|
4 |
Acoustic analyses and perceptual data on anticipatory labial coarticulation in adults and children
|
|
|
|
BASE
|
|
Show details
|
|
6 |
E.: Freeling 3.0: Towards wider multilinguality
|
|
|
|
In: http://www.lrec-conf.org/proceedings/lrec2012/pdf/430_Paper.pdf (2012)
|
|
BASE
|
|
Show details
|
|
7 |
Enhancing a Web Crawler with Arabic Search Capability
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
8 |
KUPSnet: Knowledge-based Ubiquitous and Persistent Sensor Network Testbed for Threat Assessment
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
9 |
Breves glosas en torno de la lingüística computacional
|
|
|
|
In: Cuadernos de Lingüística Hispánica, ISSN 0121-053X, Nº. 13, 2009, pags. 13-30 (2009)
|
|
BASE
|
|
Show details
|
|
11 |
Discriminating Speech to Touch Translator Assembly and Method
|
|
|
|
In: DTIC AND NTIS (2002)
|
|
BASE
|
|
Show details
|
|
12 |
From Word-Spotting to OOV Modeling
|
|
|
|
In: DTIC AND NTIS (2001)
|
|
BASE
|
|
Show details
|
|
13 |
Towards a Strand Semantics for Authentication Logic
|
|
|
|
In: DTIC (1999)
|
|
BASE
|
|
Show details
|
|
14 |
A compiler for morphological analysers and generators based on finite-state transducers
|
|
|
|
BASE
|
|
Show details
|
|
15 |
An Acoustic Analysis of ATC Communication
|
|
|
|
In: DTIC AND NTIS (1998)
|
|
BASE
|
|
Show details
|
|
16 |
An Acoustic Analysis of ATC Communication.
|
|
|
|
In: DTIC AND NTIS (1998)
|
|
BASE
|
|
Show details
|
|
17 |
Semantic Tagging using a Probabilistic Context Free Grammar
|
|
|
|
In: DTIC (1998)
|
|
BASE
|
|
Show details
|
|
18 |
Vocal Cord Function and Voice Quality Evaluation of Active Duty U.S. Army Drill Instructors.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
19 |
University of Massachusetts: Description of the CIRCUS System as Used for MUC-3
|
|
|
|
In: DTIC (1991)
|
|
BASE
|
|
Show details
|
|
|
|