We study under which conditions the domain of-terms (() and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP((,) must be close to Prolog. ...

As research described herein suggests, designing a cross-language information retrieval (CLIR) prototype that supports natural language queries in any language, and presents search results in visual category clusters, represents another step towards providing equitable access to the world community by anyone with an Internet connection and an information need. Résumé : Comme la présente recherc...

This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. From existing compilers we derive some tools that assist users in developing ML programs. ML being a strongly typed language, its typechecking algorithm plays a central role. So we present some tools that show how to make use of type information in a programming environment. RR...

RÉSUMÉ — SUR LES NOTIONS DE SEGMENT ET DE SYLLABE DANS LA FORME SONORE DU LANGAGE : LES COURBES EN PHONOLOGIE ET LA REPRÉSENTATION AUDITIVE DE LA PAROLE. Les approches récentes de la syllabe réintroduisent une description continue et descriptible mathématiquement des objets sonores : les « courbes ». Les recherches psycholinguistiques sur la perception du langage parlé ont plutôt recours à des ...

Word retrieval for browsing old digitized document collections is an active field of research. Indeed, because of the bad quality of this type of documents and the use of an ancient language, applying a basic OCR is not enough in general. In order to circumvent these difficulties, we are currently working on a generic, omni-language and interactive word retrieval system for browsing old documen...

Depuis les années 2000, professionnels du conseil revendiquent explicitement des savoirs et compétences en ce qui concerne le « langage », quand ils parlaient, précédemment, davantage de rédaction » ou récit ». Notre contrat doctoral, financé par dispositif CIFRE au sein d’une agence conseil, nous a amenée à considérer près ces dont la mise discours participe pleinement aux conditions productio...