Login / Signup

Resolution Method for Modal Logic with Well-Founded Frames.

Shigeki HagiharaNaoki Yonezaki
Published in: CSL (1999)
Keyphrases
  • modal logic
  • clustering method
  • detection method
  • dynamic programming
  • high accuracy
  • support vector machine
  • similarity measure
  • significant improvement
  • low resolution
  • segmentation method
  • reference frame