Sign in

Limiting Negations in Formulas.

Hiroki Morizumi
Published in: ICALP (1) (2009)
Keyphrases
  • fuzzy sets
  • mathematical formulas
  • computer vision
  • real time
  • databases
  • genetic algorithm
  • pattern recognition
  • rough sets
  • horn formulas