Login / Signup

Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.

Yamine Aït AmeurIdir Aït-SadouneJean-Marc MotaMickaël Baron
Published in: IHM (2006)
Keyphrases
  • machine learning
  • database
  • information retrieval
  • information systems
  • knowledge base
  • three dimensional
  • high level
  • similarity measure
  • data structure
  • learning environment
  • search algorithm
  • color images