Sciweavers

Share
6 search results - page 1 / 2
» csl 2016
Sort
View
JIP
2016
64views more  JIP 2016»
4 years 3 months ago
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq
: We design a concurrent separation logic for GPGPU, namely GPUCSL, and prove its soundness by using Coq. GPUCSL is based on a CSL proposed by Blom et al., which is for automatic v...
Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani
CSL
2016
Springer
4 years 3 months ago
Application of continuous state Hidden Markov Models to a classical problem in speech recognition
This paper describes an optimal algorithm using continuous state Hidden Markov Models for solving the HMS decoding problem, which is the problem of recovering an underlying sequen...
Colin J. Champion, S. M. Houghton
CSL
2016
Springer
4 years 3 months ago
Capitalizing on musical rhythm for prosodic training in computer-aided language learning
Language transfer creates a challenge for Chinese (L1) speakers in acquiring English (L2) rhythm. This appears to be a widely encountered dif´Čüculty among foreign learners of Eng...
Hao Wang, Peggy Mok, Helen Meng
CSL
2016
Springer
4 years 3 months ago
Articulatory feature based continuous speech recognition using probabilistic lexical modeling
Phonological studies suggest that the typical subword units such as phones or phonemes used in automatic speech recognition systems can be decomposed into a set of features based ...
Ramya Rasipuram, Mathew Magimai-Doss
CSL
2016
Springer
4 years 3 months ago
ALISA: An automatic lightly supervised speech segmentation and alignment tool
This paper describes the ALISA tool, which implements a lightly supervised method for sentence-level alignment of speech with imperfect transcripts. Its intended use is to enable ...
Adriana Stan, Yoshitaka Mamiya, Junichi Yamagishi,...
books