1 |
Mechanized metatheory revisited
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019)
|
|
BASE
|
|
Show details
|
|
2 |
Mouse tracking as a window into decision making
|
|
|
|
In: ISSN: 1554-351X ; EISSN: 1554-3528 ; Behavior Research Methods ; https://hal.archives-ouvertes.fr/hal-02274523 ; Behavior Research Methods, Psychonomic Society, Inc, 2019, 51 (3), pp.1085-1101. ⟨10.3758/s13428-018-01194-x⟩ (2019)
|
|
BASE
|
|
Show details
|
|
3 |
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
|
|
|
|
In: Verified Software. Theories, Tools, and Experiments ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.sorbonne-universite.fr/hal-02890500 ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩ ; https://sri-csl.github.io/VSTTE19/ (2019)
|
|
BASE
|
|
Show details
|
|
4 |
Нужна ли фигура «Заподозренного» в уголовном судопроизводстве? ... : IS THE FIGURE "SUSPECTED" IN CRIMINAL PROCEEDINGS NEEDED? ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Modelling and compensation techniques for short duration speaker verification ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Essentials of Modern Hearing Aids: Selection, Fitting, and Verification
|
|
|
|
In: ETSU Faculty Works (2019)
|
|
BASE
|
|
Show details
|
|
7 |
Addressing Text-Dependent Speaker Verification Using Singing Speech
|
|
|
|
In: Applied Sciences ; Volume 9 ; Issue 13 (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Supervector Extraction for Encoding Speaker and Phrase Information with Neural Networks for Text-Dependent Speaker Verification
|
|
|
|
In: Applied Sciences ; Volume 9 ; Issue 16 (2019)
|
|
BASE
|
|
Show details
|
|
9 |
An Recognition–Verification Mechanism for Real-Time Chinese Sign Language Recognition Based on Multi-Information Fusion
|
|
|
|
In: Sensors ; Volume 19 ; Issue 11 (2019)
|
|
Abstract:
For online sign language recognition (SLR) based on inertial measurement unit (IMU) and a surface electromyography (sEMG) sensor, achieving high-accuracy is a major challenge. The traditional method for that is the segmentation&ndash ; recognition mechanism, which has two key challenges: (1) it is difficult to design a highly robust segmentation method for online data with inconspicuous segmentation information ; and (2) the diversity of input data will increase the burden of the classification. The recognition&ndash ; verification mechanism was proposed to improve the performance of online SLR. In the recognition stage, we used sliding windows to pull the data, and applied a convolutional neural network (CNN) to classify the sign language signal. In the verification stage, the confidence was evaluated by the Siamese network to judge the correctness of the classification results. The accuracy and rapidity of the classification model were discussed for 86 categories of Chinese sign language. In the experiments for online SLR, the superiority of the recognition&ndash ; verification mechanism compared to the segmentation&ndash ; recognition mechanism was verified.
|
|
Keyword:
CNN; recognition–verification mechanism; Siamese network; sign language recognition (SLR); surface electromyography (sEMG); VGG
|
|
URL: https://doi.org/10.3390/s19112495
|
|
BASE
|
|
Hide details
|
|
10 |
Measuring the cognitive cost of downward monotonicity by controlling for negative polarity
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 4, No 1 (2019); 36 ; 2397-1835 (2019)
|
|
BASE
|
|
Show details
|
|
11 |
DEVELOPING THE PRAGMATIC COMPETENCE OF FOREIGN LEARNERS: GUIDELINES TO USING CONSTATIVES IN MODERN ENGLISH DISCOURSE
|
|
|
|
In: Advanced Education; 2019: Issue 13; 81-88 ; Передовое образование; 2019: ; 81-88 ; Новітня освіта; 2019: ; 2410-8286 ; 2409-3351 (2019)
|
|
BASE
|
|
Show details
|
|
12 |
Modelling and compensation techniques for short duration speaker verification
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Introducing Phonetic Information to Speaker Embedding for Speaker Verification
|
|
|
|
In: Electrical and Computer Engineering Faculty Publications (2019)
|
|
BASE
|
|
Show details
|
|
14 |
Phoneme specific modelling and scoring techniques for anti spoofing system
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Numerical studies of strength of concrete cylinders for compression
|
|
|
|
In: Structural Mechanics of Engineering Constructions and Buildings, Vol 15, Iss 6, Pp 433-437 (2019) (2019)
|
|
BASE
|
|
Show details
|
|
|
|