Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.

Résumé: This paper presents HACSEG, a new ant algorithm for the image segmentation based on the Markov Random Field (MRF) and a modified version of the Ant Colony System algorithm coupled with a local search. HACSEG algorithm differs from other ant algorithms proposed for image segmentation, in the way that each artificial ant is associated with a particular partition that is modified using phe...

This paper studies Latent Semantic Analysis (LSA) between visual and textual elements of a multimedia collection, applied on two different tasks: (1) multimedia document retrieval (MDR) and (2) automatic image annotation (AIA). Latent semantics, usually used for text indexing, is applied to discover hidden semantic relations between visual and textual descriptors. The contributions of this pape...

This article presents a state of the art and a comparison of unsupervised methods for automatic keywords extraction from documents. We evaluate several methods from the literature on two sets of documents by comparing the keywords extracted and those initially associated with documents. We found that the best method (the one that retrieves keywords the closest to the authors’ keywords) is based...

We propose to demonstrate a french named entity recognizer trained on the French TreeBank enriched with named entity annotations. Mots-clés : REN, POS, apprentissage automatique, French Treebank, extraction d’information, CRF.

Medical images are of great importance in radiotherapy, which became a privileged application field for image processing techniques. Moreover, because of the progression of the computers’ performances, these techniques are also in full expansion. Today, the recent developments of the radiotherapy (3DCR, IMRT) offer a huge place to them. Effectively, they can potentially answer to the precision ...

This paper proposes a new methodology to automatically build semantic hierarchies suitable for image annotation and classification. The building of the hierarchy is based on a new measure of semantic similarity. The proposed measure incorporates several sources of information : visual, conceptual and contextual as we defined in this paper. The aim is to provide a measure that best represents im...

Kawâkib is a tool allowing feedback between arabic corpus and grammar. As far as methodology is concerned, this interactive online software implements and illustrates the grammar variation method that aims to determine the optimal algorithm, either for morphology – which is essential in semitic languages or for syntax. The software also permits the search for criteria for text filtering. Mots-c...