Search
Now showing items 1-10 of 18
Formal verification for task description languages. A Petri Net approach
López Fernández, Joaquín
; Santana Alonso, Alejandro Alejo; Diaz Cacho Medina, Miguel Ramon
; Santana Alonso, Alejandro Alejo; Diaz Cacho Medina, Miguel Ramon
- article
- Enxeñaría de sistemas e automática
ALBAYZIN Query-by-example spoken term detection 2016 evaluation
Tejedor Noguerales, Javier; Toledano, Doroteo T; López Otero, Paula; Docío Fernández, Laura; Proença, Jorge; Perdigão, Fernando; García Granada, Fernando; Sanchís Arnal, Emilio; Pompili, Anna; Abad Gareta, Alberto
; Docío Fernández, Laura; Proença, Jorge; Perdigão, Fernando; García Granada, Fernando; Sanchís Arnal, Emilio; Pompili, Anna; Abad Gareta, Alberto
- article
- Teoría do sinal e comunicacións
Comparison of ALBAYZIN query-by-example spoken term detection 2012 and 2014 evaluations
Tejedor Noguerales, Javier; Toledano, Doroteo T; López Otero, Paula; Dochtermann, Mark; García Mateo, Carmen
; Dochtermann, Mark; García Mateo, Carmen
- article
- Teoría do sinal e comunicacións
Spoken term detection ALBAYZIN 2014 evaluation: overview, systems, results, and discussion
Tejedor Noguerales, Javier; Toledano, Doroteo T; López Otero, Paula; Docío Fernández, Laura; García Mateo, Carmen; Cardenal López, Antonio José; Echeverry Correa, Julian David; Coucheiro Limeres, Alejandro; Olcoz, Julia; Miguel Artiaga, Antonio
; Docío Fernández, Laura; García Mateo, Carmen; Cardenal López, Antonio José; Echeverry Correa, Julian David; Coucheiro Limeres, Alejandro; Olcoz, Julia; Miguel Artiaga, Antonio
- article
- Teoría do sinal e comunicacións
