Login / Signup

The Extended Minimax Disparity RIM Quantifier Problem.

Dug Hun Hong
Published in: SCIS&ISIS (2018)
Keyphrases
  • evaluation function
  • stereo images
  • quantifier elimination
  • computer vision
  • single image
  • first order logic