Skip to Main content Skip to Navigation


inria-00000554v1  Conference papers
Martin AbadiVéronique Cortier. Deciding knowledge in security protocols under (many more) equational theories
CSFW 2005 - 18th IEEE Computer Security Foundations Workshop, Jun 2005, Aix-en-Provence, France. pp.62-76, ⟨10.1109/CSFW.2005.14⟩
...
inria-00000448v1  Conference papers
Mourad AbbasKamel Smaïli. Comparison of Topic Identification methods for Arabic Language
International Conference on Recent Advances in Natural Language Processing - RANLP 2005, Sep 2005, Borovets, Bulgaria
...
hal-00350930v1  Conference papers
Samy AbbesAlbert Benveniste. Branching cells as local states for event structures and nets: probabilistic applications
Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. pp.95-109
hal-02391472v1  Conference papers
Michel AbdallaPierre-Alain FouqueDavid Pointcheval. Password-Based Authenticated Key Exchange in the Three-Party Setting
Public Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.65-84, ⟨10.1007/978-3-540-30580-4_6⟩
hal-02391456v1  Conference papers
Michel AbdallaDavid Pointcheval. Simple Password-Based Encrypted Key Exchange Protocols
Topics in Cryptology - CT-RSA 2005, Feb 2005, San Francisco, United States. pp.191-208, ⟨10.1007/978-3-540-30574-3_14⟩
hal-02391460v1  Conference papers
Michel AbdallaOlivier ChevassutDavid Pointcheval. One-Time Verifier-Based Encrypted Key Exchange
Public Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.47-64, ⟨10.1007/978-3-540-30580-4_5⟩
halshs-01450319v1  Conference papers
Anne AbeilléOlivier BonamiDanièle GodardJesse Tseng. L'analyse syntaxique des SN de la forme N
Deuxièmes journées romanes, 2005, Toulouse, Unknown Region
hal-00699644v1  Conference papers
Serge AbiteboulXavier LeroyBoris VrdoljakCiaran BryceRoberto Di Cosmo et al.  EDOS: Environment for the Development and Distribution of Open Source Software
OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy
hal-00701503v1  Conference papers
Serge AbiteboulItay DarRadu PopGabriel VasileDan Vodislav. EDOS Distribution System: a P2P architecture for open-source content dissemination
OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy
inria-00638322v1  Conference papers
Serge AbiteboulZoe AbramsStefan HaarTova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. pp.358-367, ⟨10.1145/1065167.1065214⟩
hal-00689347v1  Conference papers
Serge AbiteboulIoana ManolescuNicoleta Preda. Constructing and querying peer-to-peer warehouses of XML resources
ICDE '05 Proceedings of the 21st International Conference on Data Engineering, Apr 2005, Tokyo, Japan. pp.1122-1123, ⟨10.1109/ICDE.2005.38⟩
hal-00697409v1  Conference papers
Serge AbiteboulIoana ManolescuNicoleta Preda. Sharing Content in Structured P2P Networks
21èmes journées base de données avancées (BDA 2005), Oct 2005, Saint Malo, France
inria-00000565v1  Conference papers
Denis AbrahamDominique CansellPatrick DitschDominique MéryCyril Proch. Synthesis of the QoS for digital TV services
First International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande
inria-00001245v1  Conference papers
Jean-Raymond AbrialDominique CansellDominique Méry. Refinement and Reachability in Event_B
ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, pp.222-241, ⟨10.1007/11415787_14⟩
...
inria-00424055v1  Conference papers
Vincent AcaryDoh-Elvis Taha. Concurrent Multiple impacts in rigid bodies: Formulation and simulation
ENOC-2005, Technical University Eindhoven Tu/e, Aug 2005, Eindhoven, Netherlands
...
inria-00424056v1  Conference papers
Vincent AcaryBernard Brogliato. Numerical time integration of higher order dynamical systems with state constraints
ENOC-2005, Technical University Eindhoven Tu/e, Aug 2005, Eindhoven, Netherlands
hal-01857390v1  Conference papers
Mehdi AddaPetko ValtchevRokia MissaouiChaabane Djeraba. On The Discovery of Semantically Enhanced Sequential Patterns
Fourth International Conference on Machine Learning and Applications (ICMLA'05), Dec 2005, Los Angeles, France. ⟨10.1109/ICMLA.2005.49⟩
...
inria-00000372v1  Conference papers
Babajide AfolabiOdile Thiery. Business intelligence systems and user's parameters: an application to a documents' database
Modeling Others for Observation - MOO 2005. A workshop at the Nineteenth International Joint Conference on Artificial Intelligence - IJCAI 2005, Jul 2005, Edinburg/Scotland
...
inria-00548522v1  Conference papers
Ankur AgarwalBill Triggs. Monocular Human Motion Capture with a Mixture of Regressors
IEEE Workshop on Vision for Human Computer Interaction at Computer Vision and Pattern Recognition (CVPR '05), Jun 2005, San Diego, United States. pp.72, ⟨10.1109/CVPR.2005.496⟩
inria-00000218v1  Conference papers
Marianne AkianStéphane GaubertVassili Kolokoltsov. Solutions of max-plus linear equations and large deviations
44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), Dec 2005, Seville, Spain
inria-00000965v1  Conference papers
Marianne AkianStéphane GaubertAsma Lakhoua. The max-plus finite element method for optimal control problems: further approximation results
44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), Dec 2005, Seville, Spain
hal-01420307v1  Conference papers
Samir AknineOlivier Marin. Role of Replication Planning for Fault Tolerant Multiagent Systems
Symposium on Adaptive Agents and Multi-Agent Systems, Mar 2005, Paris, France. pp.8-8
...
inria-00000842v1  Conference papers
Shadi Al ShehabiJean-Charles Lamirel. Multi-Topographic Neural Network Communication and Generalization for Multi-Viewpoint Analysis
International Joint Conference on Neural Networks - IJCNN'05, Jul 2005, Montréal/Canada, pp.1564--1569
...
inria-00000841v3  Conference papers
Shadi Al ShehabiJean-Charles Lamirel. Knowledge Extraction from Unsupervised Multi-topographic Neural Network Models
International Conference on Artificial Neural Networks - ICANN 2005, Sep 2005, Warsaw/Poland, pp.479--484, ⟨10.1007/11550907_75⟩
hal-00917726v1  Conference papers
Luc AlbertRafael CasasFrançois FagesA. TorrecillasPaul Zimmermann. Average Case Analysis of Unification Algorithms
Proceedings of STACS'91 - 8th Annual Symposium on Theoretical Aspects of Computer Science, 1991, Hamburg, Germany. pp.196-213, ⟨10.1007/BFb0020799⟩