Sciweavers

CSL
2016
Springer
8 years 25 days 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 difficulty among foreign learners of Eng...
Hao Wang, Peggy Mok, Helen Meng
CSL
2016
Springer
8 years 25 days 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
8 years 25 days 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
8 years 25 days ago
Integrating articulatory data in deep neural network-based acoustic modeling
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...
Leonardo Badino, Claudia Canevari, Luciano Fadiga,...
CSL
2016
Springer
8 years 25 days 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,...
GIS
2013
ACM
10 years 4 hour ago
Sweeping a terrain by collaborative aerial vehicles
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...
Alon Efrat, Mikko Nikkilä, Valentin Polishchu...
ECSQARU
2013
Springer
10 years 5 hour ago
A Formal Concept View of Abstract Argumentation
Leila Amgoud, Henri Prade
LICS
2012
IEEE
11 years 7 months ago
Graph Logics with Rational Relations and the Generalized Intersection Problem
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 ...
Pablo Barceló, Diego Figueira, Leonid Libki...
LICS
2012
IEEE
11 years 7 months ago
The Complete Proof Theory of Hybrid Systems
—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...
André Platzer
LICS
2012
IEEE
11 years 7 months ago
The Winning Ways of Concurrent Games
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...
Pierre Clairambault, Julian Gutierrez, Glynn Winsk...