8446 search results - page 1118 / 1690 » A Process Compensation Language |
180
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
290
click to vote
TAOSD
2010
15 years 1 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
173
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Cross-lingual voice transformation is challenging when source language (L1) and target language (L2) are very different in corresponding phonetics and prosodies. We propose a fram...
172
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
While much work has been dedicated to exploring how best to incorporate the Ideal Binary Mask (IBM) in automatic speech recognition (ASR) for noisy signals, we demonstrate that th...
215
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
One of the difficulties in second language (L2) learning is the weakness in discriminating between acoustic diversity within an L2 phoneme category and between different categori...