Myriam Desainte-Catherine
IdRefMots clés
FR |
EN
Réseaux de Petri colorés
Scénarios multimédia Interactifs
Sémantique opérationnelle
Logique linéaire
Model checking
Automates temporisés
Petri, Réseaux de
Multimédias interactifs
Conception assistée par ordinateur
Langages de programmation
Sémantique opérationnelle
Automates temporisés
Extraction de l'information musicale
Fusion de classifieurs
Taggage automatique
Boosting
Multimédias
Recherche de l'information
Indexation sonore