Sign in

An Analogy based Approach for Solving Target Sense Verification.

Georgios ZervakisEmmanuel VincentMiguel CouceiroMarc SchoenauerEsteban Marquer
Published in: NLPIR (2022)
Keyphrases
  • real world
  • computer vision
  • target object
  • formal verification
  • database
  • neural network
  • domain knowledge
  • model checking
  • combinatorial optimization
  • formal analysis
  • analogical reasoning
  • asynchronous circuits