Login / Signup

Recompression: New Approach to Word Equations and Context Unification (Invited Talk).

Artur Jez
Published in: STACS (2017)
Keyphrases
  • invited talk
  • genetic algorithm
  • context aware
  • information retrieval
  • information technology
  • mathematical model
  • word sense disambiguation
  • theorem proving
  • word sense