C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.
Chih-Hong Cheng
Changshun Wu
Emmanouil Seferis
Saddek Bensalem
Published in:
ATVA (2022)
Keyphrases
</>
formal specification
dynamic aspects
corner detection
corner detectors
object detection
component based development
data structure
high level
string matching
edit distance
symbolic representation
pattern matching
feature points
context free grammars
information systems
open source
case study