activity
20162025
most citedA Siamese Long Short-Term Memory Architecture for Human Re-Identification

62 citations · 131 across the 17 of their papers we have counts for

collaborators
Showing cs.NEShow all

1 paper · 1 filter

cs.NE2019

Refactoring Neural Networks for Verification

David Shriver, Dong Xu, Sebastian Elbaum +1

Deep neural networks (DNN) are growing in capability and applicability. Their effectiveness has led to their use in safety critical and autonomous systems, yet there is a dearth of…