Sign in

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).

Cedric RichterHeike Wehrheim
Published in: TACAS (3) (2019)
Keyphrases
  • databases
  • artificial intelligence
  • image processing
  • sequential search
  • evolutionary algorithm
  • multiresolution
  • mobile robot
  • probability distribution
  • sequential data
  • predicting future