idioma: inglês
Editor: NOW PUBLISHERS INC, fevereiro de 2021 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
Explores a class of methods that are capable of formally verifying properties of deep neural networks. The book introduces a unified mathematical framework for verifying neural networks, classify existing methods under this framework, provide pedagogical implementations of existing methods, and compare those methods on a set of benchmark problems.

Algorithms For Verifying Deep Neural Networks

de Mykel J. Kochenderfer, Changliu Liu, Clark Barrett, Christopher Lazarus, Christopher Strong e Tomer Arnon

Propriedade Descrição
ISBN: 9781680837865
Editor: NOW PUBLISHERS INC
Data de Lançamento: fevereiro de 2021
Idioma: Inglês
Dimensões: 156 x 234 x 20 mm
Encadernação: Capa mole
Páginas: 176
Tipo de produto: Livro
Coleção: Foundations And Trends (R) In Optimization
Classificação Temática: Livros em Inglês > Engenharia > Eletricidade e Energia
Livros em Inglês > Outros
EAN: 9781680837865