Almendros Cuquerella, Carlos(Universitat Politècnica de València, 2017-09-04)
[ES] En el presente trabajo se expone el proceso llevado a cabo para desarrollar
las estructuras de datos necesarias para que un reconocedor de voz basado en el
algoritmo de Viterbi pueda funcionar en tiempo real, junto ...
Almendros Cuquerella, Carlos(Universitat Politècnica de València, 2019-01-21)
En el presente trabajo se expone el proceso llevado a cabo para transformar un sistema de reconocimiento del habla con salida única en uno capaz de proporcionar un grafo de salida con múltiples posibles transcripciones ...
Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador(Springer Verlag (Germany), 2011)
The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...