Énumération des occurrences d'une chronique
Résumé
Une chronique est une représentation du comportement d'un système
dynamique formalisée comme un ensemble d'événements liés par des contraintes
temporelles. Dans cet article, nous nous intéressons à l'énumération des occurrences exactes ou approchées d'une chronique en comparant différentes stratégies de reconnaissances. Nous proposons un algorithme de reconnaissance de
chroniques avec différentes heuristiques et sa version approchée. L'efficacité de
ces différentes approches est évaluée sur des données synthétiques.