• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Datapath Verification via Word-Level E-Graph Rewriting.

Samuel CowardEmiliano MoriniBryan TanTheo DraneGeorge A. Constantinides
Published in: FMCAD (2023)
Keyphrases
  • word level
  • language independent
  • document images
  • document analysis
  • machine translation
  • character recognition
  • word segmentation
  • word recognition
  • n gram
  • image analysis
  • cross language
  • sentence level
  • viterbi algorithm