Sign in

Efficient Refinement Checking in VCC.

Sumesh DivakaranDeepak D'SouzaNigamanth Sridhar
Published in: VSTTE (2014)
Keyphrases
  • computationally expensive
  • information technology
  • lightweight
  • computationally efficient
  • highly efficient
  • information retrieval
  • computer vision
  • bayesian networks
  • cooperative
  • search algorithm
  • digital libraries