Search
Now showing items 1-10 of 142
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
AI approaches to environmental impact assessments (EIAs) in the mining and metals sector using AutoML and Bayesian modeling
Gerassis Davite, Saki; Giráldez Pérez, Eduardo; Pazo Rodríguez, María; Saavedra González, Maria Angeles; Taboada Castro, Javier
; Giráldez Pérez, Eduardo; Pazo Rodríguez, María; Saavedra González, Maria Angeles; Taboada Castro, Javier
- article
- Enxeñaría dos recursos naturais e medio ambiente
- Estatística e investigación operativa
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
Facial motion analysis beyond emotional expressions
Porta Lorenzo, Manuel; Vazquez Enriquez, Manuel; Perez Perez, Ania; Alba Castro, José Luis; Docío Fernández, Laura
; Vazquez Enriquez, Manuel; Perez Perez, Ania; Alba Castro, José Luis; Docío Fernández, Laura
- article
- Teoría do sinal e comunicacións
