output
20152019
most citedBag of Freebies for Training Object Detection Neural Networks

147 citations

researchers with a paper here
collaborating institutions
Showing 2016Show all

1 paper · 1 filter

cs.SE2016

Error Invariants for Concurrent Traces

Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei +2

Error invariants are assertions that over-approximate the reachable program states at a given position in an error trace while only capturing states that will still lead to failure…