Algorithms for Verifying Deep Neural Networks
Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous systems. These networks work by mapping inputs to outputs through a sequence of layers. At each layer, the input to that layer undergoes an affine transformation followed by a simple nonlinear transformation before being passed to the next layer. Neural networks are being used for increasingly important tasks, and in some cases, incorrect outputs can lead to costly consequences, hence validation of correctness at each layer is vital. The sheer size of the networks makes this not feasible us…
Mehr
CHF 157.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Arnon, Tomer / Lazarus, Chris
- ISBN: 978-1-68083-786-5
- EAN: 9781680837865
- Produktnummer: 35852763
- Verlag: Now Publishers Inc
- Sprache: Englisch
- Erscheinungsjahr: 2021
- Seitenangabe: 178 S.
- Masse: H23.4 cm x B15.6 cm x D0.9 cm 281 g
- Abbildungen: Paperback
- Gewicht: 281
4 weitere Werke von Changliu Liu:
Bewertungen
Anmelden