The Smart City : Inria and CITRIS chosen by the cities of Paris... http://www.inria.fr/en/centre/paris-rocquencourt/news/inria-and-... Home > Centre > Paris - Rocquencourt > News > Inria and CITRIS chosen by the cities

Source URL: citris-uc.org

• University of California
• Berkeley
• Center for Information Technology Research in the Interest of Society
• Smart
• University of California
• France
• Rocquencourt
• Transport
• National Institute for Research in Computer Science and Control

MLF Raising ML to the Power of System F Didier Le Botlan and Didier Rémy INRIA-Rocquencourt[removed]Le Chesnay Cedex, France

Source URL: gallium.inria.fr

• Type theory
• Formal methods
• Models of computation
• Lambda calculus
• Symbol
• System F
• Hindley–Milner
• Ordinal number
• Dynamical system
• Theoretical computer science
• Mathematics
• Applied mathematics

INRIA-IMEDIA TRECVID 2008: Video Copy Detection Alexis Joly, Julien Law-to, and Nozha Boujemaa INRIA Paris-Rocquencourt, IMEDIA Team, France Abstract. This paper reports the participation of INRIA IMEDIA team

Source URL: www-nlpir.nist.gov

• Multimedia
• Technology
• Video copy detection
• Searching
• Data mining
• TRECVID
• Nearest neighbor search
• Recall
• Information science
• Science
• Information retrieval

A proposal for recursive modules in Objective Caml Xavier Leroy INRIA Rocquencourt Version 1.1, May 13, 2003 This notes describes a design and prototype implementation of an extension of the Objective

Source URL: caml.inria.fr

• Programming idioms
• Type theory
• Recursion
• Functional languages
• Procedural programming languages
• Type system
• Module
• Caml
• ALGOL 68
• Software engineering
• Computer programming
• Computing

Applicative functors and fully transparent higher-order modules Xavier Leroy INRIA B.P. 105, Rocquencourt, 78153 Le Chesnay, France. [removed]

Source URL: caml.inria.fr

• Functors
• Adjoint functors
• Homological algebra
• Standard ML
• Monad
• Limit
• Free object
• Denotational semantics
• Sheaf
• Abstract algebra
• Category theory
• Mathematics

TALN 2005, Dourdan, 6–10 juin[removed]Chaînes de traitement syntaxique Pierre Boullier, Lionel Clément, Benoît Sagot, Éric Villemonte de La Clergerie INRIA - Projet Atoll Domaine de Voluceau, Rocquencourt, B.P. 105,7

Source URL: alpage.inria.fr

TALN 2010, Montréal, 19–23 juillet[removed]Détection et résolution d’entités nommées dans des dépêches d’agence Rosa Stern1,2 & Benoît Sagot1 1. Alpage, INRIA Paris–Rocquencourt & Université Paris 7

Source URL: alpage.inria.fr

A Lexicon of French Quotation Verbs for Automatic Quotation Extraction Benoˆıt Sagot1 , Laurence Danlos1 , Rosa Stern1,2 1. Alpage, INRIA Paris-Rocquencourt & Universit´e Paris 7, 30 rue du Chˆateau des Rentiers, 750

Source URL: alpage.inria.fr

• Verb argument
• Verb
• Quotation mark
• Theta role
• Grammatical aspect
• Intransitive verb
• Transitive verb
• Linguistics
• Syntax
• Subcategorization frame

Analyse discursive des incises de citation Laurence Danlos1 , Benoît Sagot1 et Rosa Stern1,2 1. Alpage, INRIA Paris-Rocquencourt & Université Paris 7 30 rue du Château des Rentiers, 75013 Paris, France 2. Agence Franc

Source URL: alpage.inria.fr

Description et analyse des verbes désadjectivaux et dénominaux en -ifier et -iser Benoît Sagot 1 , Karën Fort 2 INRIA Paris-Rocquencourt / Paris 7, INIST Résumé L’objectif de cet article est d’étudier le proc

Source URL: alpage.inria.fr