41 search results - page 4 / 9 » bell 2010 |
JSCIC
2010
13 years 1 months ago
2010
The characteristic methods are known to be very efficient for convection-diffusion problems including the Navier-Stokes equations. Convergence is established when the integrals ar...
ENTCS
2007
13 years 6 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
SAS
2010
Springer
13 years 5 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
AMT
2010
Springer
13 years 1 months ago
2010
Springer
At a time when the quantity of music media surrounding us is rapidly increasing and the access to recordings as well as the amount of music files available on the Internet is const...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
A major challenge faced by a spoken term detection (STD) system is the detection of out-of-vocabulary (OOV) terms. Although a subword-based STD system is able to detect OOV terms,...