This document describes a formalization, a solver-independant methodology and implementation alternatives for realizing constrained model search in a model-driven engineering framework. The proposed approach combines model-driven engineering tools ((meta)model transformations, models to text, text to models) and constraint programming techniques. Based on previous research, motivations to model...

Résumé. Avec la prolifération des données géographiques, il y a un fort besoin de concevoir des outils automatiques pour l’exploitation des connaissances géographiques incarnées dans les documents textuels. C’est dans ce contexte, que nous proposons une approche permettant de générer une base de données géographiques (BDG) à partir de textes. Notre approche s’articule autour de deux grandes pha...

Vu la quantité de documents numériques disponible sur le Web et la nécessité de mettre au point des techniques de recherche efficaces, les systèmes de recherche d'information font de plus en plus appel aux techniques de Traitement Automatique des Langues (TAL) qui exploitent les informations syntaxiques ou sémantiques, dans le but d’améliorer la qualité des résultats fournis par les moteurs de ...

The sustainability debate concerns whether the world will experience stable or improving living standards for the foreseeable future, or whether the current trajectory will overtax the natural environment, leading to a ‘crash’ in living standards. This paper selectively reviews relevant research, focusing on both ecological concerns and technological progress, and asks whether sustainability wo...

In this paper, we deal with the problem of extracting and processing useful information from bibliographic references in Digital Humanities (DH) data. We present our ongoing project BILBO, supported by Google Grant for Digital Humanities that includes the constitution of proper reference corpora and construction of efficient annotation model using several appropriate machine learning techniques...

Une notation s~mantique et ses implications linguistiques (R6sum6) i. Une notation estpropos~e en vue de fixer la structure s~mantique d'un texte naturel de fagon a en permettre le traitement automatique ult~rieur, logique (d~duction) ou linguistique (traduction). A la difference d'un langage documentaire (ou d'information), la notation propos~e ne vise, en premier lieu qu'~ ~claircir et ordonn...

RÉSUMÉ. La création musicale contemporaine comme d’autres formes de création, telle la scénographie fait largement appel à des dispositifs numériques. La préservation de ces dispositifs est problématique en raison de leur forte dépendance au système sous-jacent (hardware et software), de même que leur compréhension et leur interprétation dans le cadre d’une analyse de type musicologique. Nous p...

RÉSUMÉ. Cet article s'intéresse à la spécification de la coordination dans les processus d’activités. Le problème soulevé est comment appréhender et décrire la coordination mise en œuvre dans un processus composé d’un grand nombre d’activités et d’acteurs. Notre contribution prend la forme d'un modèle de coordination dont nous dérivons un catalogue de patrons. Le modèle facilite la compréhensio...

RÉSUMÉ. Nous abordons dans ces travaux, le problème de la segmentation de documents de cahiers de la chimie en zones homogènes. Les documents à traiter sont manuscrits sans contraintes composés de zones de textes, de tableaux et de graphiques, représentant l’expression graphique de l’expérience réalisée. L’objectif de ce premier travail est d’extraire, dans chaque document, le bloc contenant le...

In this paper, we propose a method for presenting formal proofs in an intelligible form. We describe a transducer from proof objects (terms in the Calculus of Constructions) to pseudo natural language that has been implemented for the Coq system Extraction de Texte a partir de Preuves R esum e : Ce papier pr esente une m ethode pour produire a partir de preuves formelles une explication textuel...