This article depits the EyeSnap system, dedicated to indexing and retrieval of still images with mobile devices for the CLICIDE project. The system is based on a series of probabilistic matchings : the former uses language models on images, and the latter exploits Bayesian models. The constraints and choices, adopted to a mobility context, are depicted. Several tools, dedicted to assess, a prio...

We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multiscale reasoning and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find tractable subclasses. MOTS-CLÉS : réseaux ...

Towards Preference Extraction From Negotiation Dialogues This paper presents an NLP based approach for preference expression extraction from negotiation dialogues. We propose a new annotation schema for preferences and dependencies among them and illustrate on two different corpus genres. We then suggest a learning approach that efficiently extracts preference expressions using a combination of...

The Coq proof assistant allows generation of programs correct by construction. This feature—called extraction—can be used to build certified libraries. In this article, we present a formalization of the extraction in Coq, along with some properties that have been formally proved. This work is in line with B. Barras’s work on formalizing Coq in Coq. MOTS-CLÉS : assistant de preuve, calcul des co...

This paper deals with spontaneous speech, considering first its specificities, and then its transcription – both diachronically and synchronically. The paper continues by listing the main problems spontaneous speech causes to automatic speech recognition systems, which were identified through several experiments. It ends by suggesting some optimizations to help solve these problems. MOTS-CLÉS :...

Enriching the French Treebank with Properties We present in this paper the hybridation of the French Treebank with Property Grammars annotations. This process consists in acquiring a PG grammar from the source treebank and generating the new syntactic encoding on top of the original one. The result is a new resource for French, opening the way to new tools and descriptions. MOTS-CLÉS : Treebank...

Companies and organisations produce, use and up-date digital records. We address in this paper the problem of sharing confidential digital records in-between autonomous partners. We propose a solution based on a hierarchy of servers and on XML messages following the Dublin Core recommandation. A prototype system for medical records exchange is presented. MOTS-CLÉS : dossier numérique, partage, ...

Semantic web approachs could be useful to better organize big sets of numeric commercial documents. We propose for that purpose a solution of “active” catalogue, build and exploited using multiple viewpoints. We assume that, for this type of collection of electronic documents, semantic network structures built with the help of Knowledge Engineering approachs, lead to better results than the cla...

A cryptographic protocol is a description of message exchanges on a network. The verification of such programs has become crucial. We propose here a synthesis of decidability and undecidability results for secrecy and authentication properties. We consider several restrictions: bound on the number of sessions, on the size of messages, on the number of copies at each transition, etc. Moreover, w...

In this paper, we propose a user evaluation of Citron, a question-answering system in French which extracts answers for multiple answer questions (expecting different correct answers) in open domain from Web documents. We present here our experimental protocol and results for user evaluations which aim at (1) comparing multiple answer extraction performances of Citron and users, and (2) knowing...