Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

1 565 Results
Deposit type : Fulltext
Image document

Actes de l'Ecole d'Eté Temps Réel 2005 - ETR'2005

Nicolas Navet
Nicolas Navet. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.296, 2005, 2 905267-47-X
Books inria-00000543v1
Image document

Exemples de systèmes temps réel et choix d'implémentation

Françoise Simonot-Lion , Yvon Trinquet
Jacky Akoka - Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
Book sections inria-00000558v1
Image document

Design of automotive X-by-Wire systems

Cédric Wilwert , Nicolas Navet , Ye-Qiong Song , Françoise Simonot-Lion
Richard Zurawski. The Industrial Communication Technology Handbook, CRC Press, 2005, 0849330777
Book sections inria-00000562v1
Image document

A New HPSG Approach to Polish Auxiliary Constructions

Anna Kupść , Jesse Tseng
Proceedings of the 12th International Conference on Head-Driven Phrase Structure Grammar, Aug 2005, Lisbon, Portugal. pp.253-273
Conference papers halshs-00005195v1
Image document

Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes

Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers
[Research Report] PI 1758, 2005, pp.24
Reports inria-00000604v1
Image document

Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives

Inès Mouakher , Francis Alexandre , Khaled Bsaïes
Premières Journées Francophones de Programmation par Contraintes - JFPC'2005, CRIL - CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188
Conference papers inria-00000070v1
Image document

Un système de types pour CHR

Emmanuel Coquery , Francois Fages
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.189-198
Conference papers inria-00000074v1
Image document

Self-* Distributed Query Region Covering in Sensor Networks

Ajoy Datta , Maria Gradinariu , Preethy Linga , Philippe Raïpin-Parvédy
[Research Report] PI 1715, 2005, pp.20
Reports inria-00000027v1
Image document

Interface lexique-grammaire via des structures de traits

Bruno Guillaume , Guy Perrier
2005
Other publications inria-00000459v1
Image document

On the construction of pullbacks for safe Petri nets

Eric Fabre
[Research Report] PI 1750, 2005, pp.12
Reports inria-00000462v1
Image document

XMG : Un Compilateur de Méta-Grammaires Extensible

Denys Duchier , Joseph Le Roux , Yannick Parmentier
12e Conférence Annuelle sur le Traitement Automatiques des Langues Naturelles - TALN 2005, Jun 2005, Dourdan, France. pp.13-22
Conference papers inria-00000199v1
Image document

Cooperation in stochastic games through communication

Raghav Aras , Alain Dutech , François Charpillet
4th International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS'05, Jul 2005, Utrecht/ The Netherlands, pp.1197 - 1198, ⟨10.1145/1082473.1082691⟩
Conference papers inria-00000208v1
Image document

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers

Samy Abbes , Albert Benveniste
[Research Report] PI 1753, 2005, pp.59
Reports inria-00000465v1
Image document

OSCAR on Debian: the EDF Experience

Geoffroy Vallée , Jean-Yves Berthou , Hugues Prisker , Daniel Leprince
[Research Report] PI 1703, 2005, pp.13
Reports inria-00000468v1
Image document

JRES 2005 : La mémorisation des mots de passe dans les navigateurs web modernes

Didier Chassignol , Frédéric Giquel
JRES 2005 : La mémorisation des mots de passe dans les navigateurs web modernes, Dec 2005, Marseille
Conference papers inria-00000404v2
Image document

Integrating File Popularity and Peer Generosity in Proximity Measure for Semantic-based Overlays

Yann Busnel , Anne-Marie Kermarrec
[Research Report] PI 1756, 2005
Reports inria-00000502v1
Image document

Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools

Damian Barsotti , Leonor Prensa Nieto , Alwen Tiu
Fifth International Workshop on Automated Verification of Critical Systems 2005 - AVoCS '05, Ranko Lazic, Rajagopal Nagarajan, Nikolaos Papanikolaou, Sep 2005, Coventry/UK
Conference papers inria-00000638v1
Image document

Sampling period dependent RST controller used in control/scheduling co-design

David Robert , Olivier Sename , Daniel Simon
16th IFAC 2005 World Conference, IFAC, Jul 2005, Prague
Conference papers inria-00000735v1
Image document

Quel avenir pour les moteurs de recherche ?

Nicolas Bonnel , Fabienne Moreau
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, France. pp.291-299
Conference papers inria-00000681v1
Image document

Effects of display layout on gaze activity during visual search

Jérôme Simonin , Suzanne Kieffer , Noëlle Carbonell
IFIP TC13 International Conference on Human-Computer Interaction (INTERACT'05), Sep 2005, Rome, Italy. pp.1054-1058, ⟨10.1007/11555261_103⟩
Conference papers inria-00000695v1
Image document

Suivi 3D temps réel : approche contour/texture

M. Pressigout
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, France. pp.57-64
Conference papers inria-00000703v1
Image document

Providing real-time applications with graceful degradation of QoS and fault tolerance according to (m,k)-firm model

Jian Li , Ye-Qiong Song , Françoise Simonot-Lion
[Research Report] 2005
Reports inria-00000704v1
Image document

MOSAIC. Méthodologie d'analyse pour la modélisation de situations coopératives en conception de produit

Françoise Détienne
2005
Preprints, Working Papers, ... hal-00003890v1
Image document

A Client-Server Approach to Image-Based Rendering on Mobile Terminals

Kadi Bouatouch , Gérald Point , Gwenola Thomas
[Research Report] RR-5447, INRIA. 2005, pp.29
Reports inria-00000127v1
Image document

MIAMM – A Multimodal Dialogue System Using Haptics

Norbert Reithinger , Dirk Fedeler , Ashwani Kumar , Elsa Pecourt , Christoph Lauer , et al.
Kuppevelt, Jan C.J. van; Dybkjaer, Laila; Bernsen, Niels Ole. Advances in natural Multimodal Dialogue Systems, Kluwer Academic Publisher, 385 p., 2005, Text, Speech and Language Technology, Vol. 30
Book sections hal-00005453v1
Image document

Etat de l'art des stratégies multi-agents de patrouille

Fabrice Lauri
[Interne] lauri05, 2005, pp.9
Reports inria-00000219v1
Image document

Un SIS pour les universités -- Modélisation de l'acteur et méta données

Frédérique Peguiron
2005
Reports inria-00000355v1
Image document

Consistency in UML and B multi-view specifications

Dieu Donné Okalas Ossami , Jean-Pierre Jacquot , Jeanine Souquières
Fifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands
Conference papers hal-00009478v1
Image document

Meta-Level Control Under Uncertainty for Handling Multiple Consumable Resources of Robots

Simon Le Gloannec , Abdel-Illah Mouaddib , François Charpillet
IEEE/RSJ International Conference on Intelligent Robots and Systems - IROS 2005, Aug 2005, Edmonton/Canada, Canada
Conference papers inria-00000413v1
Image document

Fouille de données biomédicales complexes : extraction de règles et de profils génétiques dans le cadre de l'étude du syndrome métabolique

Sandy Maumus , Amedeo Napoli , Laszlo Szathmary , Sophie Visvikis-Siest
Journées Ouvertes Biologie Informatique Mathématiques - JOBIM 2005, 2005, Lyon, France. pp.169-173
Conference papers hal-00009610v1