Informe final del proyecto: Verificación de Sistemas Inteligentes con Componentes con Capacidad de Aprendizaje

Los sistemas de información actuales incluyen cada vez más componentes de inteligencia artificial con capacidad de aprendizaje, en particular las redes neuronales artificiales. Esto no se limita a sistemas de bajo riesgo, como por ejemplo, organizar un álbum de fotos, sino que el área está evolucion...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριος συγγραφέας:	Yovine, Sergio (author)
Άλλοι συγγραφείς:	Carrasco Piaggio, Matías (author), Mayr, Franz (author), Uchitel, Sebastián (author), Braberman, Victor (author), Gagliardi, Hernán (author), Martínez Varsi, Nicolás (author), Pan Suarez, Federico (author), Sanchez, Marco (author), Delgado, Tomás (author), Vilensky, Federico (author), Würth, Mateus (author), Dandois, Santiago José (author), Molinolo, Matías (author), Kidd, Johny (author), Da Silva Barloco, Juan Pedro (author), Garat, Alejo (author), Iturbide Noria, Martín (author)
Μορφή:	report
Γλώσσα:	Ισπανικά
Έκδοση:	2024
Θέματα:	Verificación Formal Inteligencia Artificial Aprendizaje Automático Ciencias Naturales y Exactas Ciencias de la Computación e Información Ciencias de la Computación
Διαθέσιμο Online:	https://hdl.handle.net/20.500.12381/5138
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!