Login / Signup
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution).
Paulína Ayaziová
Jan Strejcek
Published in:
TACAS (3) (2024)
Keyphrases
</>
multimedia
real world
genetic algorithm
database
data sets
neural network
information retrieval
social networks
decision making
metadata
high quality
lower bound
multiresolution
international competition