Résumé. En réponse aux problèmes posés par la complexité croissante des réseaux et des attaques, les Systèmes de Détection d’Intrusions (SDIs) constituent une bonne alternative pour mieux sécuriser un système informatique. Cependant, les SDIs existants présentent des lacunes en terme de génération excessive d’alertes. Réellement, la majorité de ces alertes ne correspondent pas à des attaques (f...

RÉSUMÉ. Dans les systèmes d’information, il est aujourd’hui essentiel de mettre en œuvre rapidement et sans développements lourds de nouvelles fonctionnalités en réponse aux évolutions métiers, en réutilisant au mieux les services déjà présents. Dans le contexte de l’accès à des informations dispersées au sein d’une fédération de systèmes indépendants, nous adressons ici le problème de découver...

Le raisonnement sur le temps est une tâche importante pour de nombreux domaines de l’Informatique (planification temporelle, traitement du langage naturel, etc.). Dans ce cadre, différentes approches représentant les informations temporelles à l’aide de contraintes numériques ou qualitatives ont été étudiées. Dans cet article, nous proposons un nouveau formalisme basé sur des problèmes d’optimi...

Dans cet article, nous proposons une approche de conversion graphème-phonème pour les noms propres. L'approche repose sur une méthode probabiliste : les Champs Aléatoires Conditionnels (Conditional Random Fields, CRF). Les CRFs donnent une prévision à long terme, n'exigent pas l'indépendance des observations et permettent l'intégration de tags. Dans nos travaux antérieurs, l'approche de convers...

Table des matières Résumé. Nous présentons dans cet article un outil de visualisation 3D, reposant sur des méthodes usuelles de construction de sous-espaces de représentation (ACP, MDS). L'originalité de notre approche repose sur l'utilisation de ce type de représentation dans le but de déterminer une métrique appropriée dans un cadre d'apprentissage supervisé : nous montrons en effet que l'org...

In this paper, we show that the evolution equations for timed free choice Petri net can be used to prove logical properties of the underlying un-timed net. For example, this approach leads to new methods and algorithms to check liveness and several other basic properties, such as absence or presence of deadlocks. The main tools for proving these properties are graph theory and idempotent algebr...

Les bases de données contenant des séquences multimédia se trouvent maintenant partout. Archives de l’INA, balladodiffusion (podcast), production et partage de vidéo font désormais partie de notre quotidien. Faire des recherches par le contenu dans ces bases où l’information est en flux est difficile, notamment à grande échelle. Une des questions fondamentales concerne la mesure de similarité e...