output
20052011
most citedImproved Analysis of Kannan's Shortest Lattice Vector Algorithm

136 citations

researchers with a paper here
collaborating institutions

107 papers

cs.LO2009★ 1 cited

Compiling and securing cryptographic protocols

Yannick Chevalier, Michael Rusinowitch

Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences…

cs.IR2009★ 2 cited

Enrichissement des contenus par la réindexation des usagers : un état de l'art sur la problématique

Azza Harbaoui, Malek Ghenima, Sahbi Sidhom

Information retrieval (IR) is a user approach to obtain relevant information which meets needs with the help of a IR system (IRS). However, the IRS shows certain differences betwee…

cs.CL2009★ 47 cited

Towards Multimodal Content Representation

Harry Bunt, Laurent Romary

Multimodal interfaces, combining the use of speech, graphics, gestures, and facial expressions in input and output, promise to provide new possibilities to deal with information in…

cs.CL2009★ 1 cited

Grouping Synonyms by Definitions

Ingrid Falk, Claire Gardent, Evelyne Jacquey +1

We present a method for grouping the synonyms of a lemma according to its dictionary senses. The senses are defined by a large machine readable dictionary for French, the TLFi (Tré…

cs.CL2009★ 1 cited

Analyse en dépendances à l'aide des grammaires d'interaction

Jonathan Marchand, Bruno Guillaume, Guy Perrier

This article proposes a method to extract dependency structures from phrase-structure level parsing with Interaction Grammars. Interaction Grammars are a formalism which expresses…

cs.OH2009

Dynamically Generated Interfaces in XML Based Architecture

Minit Gupta, Laurent Romary

Providing on-line services on the Internet will require the definition of flexible interfaces that are capable of adapting to the user's characteristics. This is all the more impor…