La politique des pêches maritimes et des cultures marines françaises [Politique décrite à partir des financements publics ]

Apprentissage de connaissances d'adaptation à partir des feedbacks des utilisateurs

Résumé : Dans le cadre des systèmes adaptatifs, notre travail de recherche porte sur l’acquisition des connaissances d’adaptation à partir des traces d’interaction laissées par les utilisateurs. Les traces contiennent, entre autres, les feedbacks, positifs ou négatifs, des utilisateurs par rapport aux actions du système. Notre objectif est de définir des modèles et des outils permettant d’extra...

Extraction des connaissances à partir du Web pour la recherche des images géoréférencées

Geolocalized databases are becoming necessary in a wide variety of application domains. The manual creation of such databases is an expensive operation which stimulated the interest for the automation of their construction, by mining geographic information from the Web. In this article, we present and evaluate a new automated approach for creating a geographical database. Our technique uses Wik...

D113 : une plateforme open-source dédiée à l'analyse des flux et à la détection des intrusions

L’explosion d’internet, couplée à l’effet de la mondialisation, a pour résultat d’interconnecter les personnes, les entreprises, les états. Le côté déplaisant de cette interconnexion mondiale des Systèmes d’Information réside dans un phénomène appelé "Cybercriminalité". Des personnes, des groupes mal intentionnés ont pour objectif de nuire dans un but pécuniaire ou pour une "cause", aux informa...

Sur un nouveau vaccin contre la septicémie hémorragique des Bovidés et le Barbone des Buffles (pasteurelloses)

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...