CSL
2016
Springer
8 years 8 months ago
2016
Springer
Language transfer creates a challenge for Chinese (L1) speakers in acquiring English (L2) rhythm. This appears to be a widely encountered difficulty among foreign learners of Eng...
CSL
2016
Springer
8 years 8 months ago
2016
Springer
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 ...
CSL
2016
Springer
8 years 8 months ago
2016
Springer
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...
CSL
2016
Springer
8 years 8 months ago
2016
Springer
Hybrid deep neural network–hidden Markov model (DNN-HMM) systems have become the state-of-the-art in automatic speech recognition. In this paper we experiment with DNN-HMM phone...
CSL
2016
Springer
8 years 8 months ago
2016
Springer
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 ...
GIS
2013
ACM
10 years 7 months ago
2013
ACM
Mountainous regions are typically hard to access by land; because of this, search operations in hilly terrains are often performed by airborne force such as Unmanned Aerial Vehicl...
ECSQARU
2013
Springer
10 years 7 months ago
2013
Springer
LICS
2012
IEEE
12 years 2 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
LICS
2012
IEEE
12 years 2 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
LICS
2012
IEEE
12 years 2 months ago
2012
IEEE
Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an ex...