Login / Signup

Omega: Towards a Mathematical Assistant.

Christoph BenzmüllerLassaad CheikhrouhouDetlef FehrerArmin FiedlerXiaorong HuangManfred KerberMichael KohlhaseKarsten KonradAndreas MeierErica MelisWolf SchaarschmidtJörg H. SiekmannVolker Sorge
Published in: CADE (1997)
Keyphrases
  • test bed
  • mathematical models
  • mathematical expressions
  • machine learning
  • decision making
  • decision trees
  • case study
  • pattern recognition
  • multiresolution
  • color images
  • hidden markov models
  • mathematical knowledge