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