Filter your results
- 1565
- 1316
- 1
- 683
- 403
- 260
- 122
- 26
- 21
- 15
- 14
- 6
- 6
- 4
- 3
- 2
- 327
- 10
- 5
- 1370
- 179
- 57
- 38
- 21
- 14
- 14
- 13
- 5
- 4
- 3
- 2
- 2
- 1
- 1565
- 1239
- 326
- 301
- 292
- 283
- 269
- 251
- 222
- 209
- 123
- 112
- 73
- 70
- 62
- 58
- 49
- 49
- 40
- 39
- 34
- 33
- 31
- 28
- 27
- 23
- 18
- 17
- 17
- 16
- 16
- 16
- 15
- 11
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 18
- 17
- 15
- 14
- 14
- 14
- 13
- 13
- 13
- 12
- 12
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
|
Actes de l'Ecole d'Eté Temps Réel 2005 - ETR'2005Nicolas Navet. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.296, 2005, 2 905267-47-X
Books
inria-00000543v1
|
||
|
Exemples de systèmes temps réel et choix d'implémentationJacky Akoka - Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
Book sections
inria-00000558v1
|
||
|
Design of automotive X-by-Wire systemsRichard Zurawski. The Industrial Communication Technology Handbook, CRC Press, 2005, 0849330777
Book sections
inria-00000562v1
|
||
|
A New HPSG Approach to Polish Auxiliary ConstructionsProceedings of the 12th International Conference on Head-Driven Phrase Structure Grammar, Aug 2005, Lisbon, Portugal. pp.253-273
Conference papers
halshs-00005195v1
|
||
|
Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes[Research Report] PI 1758, 2005, pp.24
Reports
inria-00000604v1
|
||
|
Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicativesPremiè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
|
||
|
Un système de types pour CHRPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.189-198
Conference papers
inria-00000074v1
|
||
|
Self-* Distributed Query Region Covering in Sensor Networks[Research Report] PI 1715, 2005, pp.20
Reports
inria-00000027v1
|
||
|
Interface lexique-grammaire via des structures de traits2005
Other publications
inria-00000459v1
|
||
|
On the construction of pullbacks for safe Petri nets[Research Report] PI 1750, 2005, pp.12
Reports
inria-00000462v1
|
||
|
XMG : Un Compilateur de Méta-Grammaires Extensible12e Conférence Annuelle sur le Traitement Automatiques des Langues Naturelles - TALN 2005, Jun 2005, Dourdan, France. pp.13-22
Conference papers
inria-00000199v1
|
||
|
Cooperation in stochastic games through communication4th 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
|
||
|
True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers[Research Report] PI 1753, 2005, pp.59
Reports
inria-00000465v1
|
||
|
OSCAR on Debian: the EDF Experience[Research Report] PI 1703, 2005, pp.13
Reports
inria-00000468v1
|
||
|
JRES 2005 : La mémorisation des mots de passe dans les navigateurs web modernesJRES 2005 : La mémorisation des mots de passe dans les navigateurs web modernes, Dec 2005, Marseille
Conference papers
inria-00000404v2
|
||
|
Integrating File Popularity and Peer Generosity in Proximity Measure for Semantic-based Overlays[Research Report] PI 1756, 2005
Reports
inria-00000502v1
|
||
|
Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive toolsFifth 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
|
||
|
Sampling period dependent RST controller used in control/scheduling co-design16th IFAC 2005 World Conference, IFAC, Jul 2005, Prague
Conference papers
inria-00000735v1
|
||
|
Quel avenir pour les moteurs de recherche ?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
|
||
|
Effects of display layout on gaze activity during visual searchIFIP TC13 International Conference on Human-Computer Interaction (INTERACT'05), Sep 2005, Rome, Italy. pp.1054-1058, ⟨10.1007/11555261_103⟩
Conference papers
inria-00000695v1
|
||
|
Suivi 3D temps réel : approche contour/textureMajecSTIC 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
|
||
|
Providing real-time applications with graceful degradation of QoS and fault tolerance according to (m,k)-firm model[Research Report] 2005
Reports
inria-00000704v1
|
||
|
MOSAIC. Méthodologie d'analyse pour la modélisation de situations coopératives en conception de produit2005
Preprints, Working Papers, ...
hal-00003890v1
|
||
|
A Client-Server Approach to Image-Based Rendering on Mobile Terminals[Research Report] RR-5447, INRIA. 2005, pp.29
Reports
inria-00000127v1
|
||
|
MIAMM – A Multimodal Dialogue System Using HapticsKuppevelt, 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
|
||
|
Etat de l'art des stratégies multi-agents de patrouille[Interne] lauri05, 2005, pp.9
Reports
inria-00000219v1
|
||
|
Un SIS pour les universités -- Modélisation de l'acteur et méta données2005
Reports
inria-00000355v1
|
||
|
Consistency in UML and B multi-view specificationsFifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands
Conference papers
hal-00009478v1
|
||
|
Meta-Level Control Under Uncertainty for Handling Multiple Consumable Resources of RobotsIEEE/RSJ International Conference on Intelligent Robots and Systems - IROS 2005, Aug 2005, Edmonton/Canada, Canada
Conference papers
inria-00000413v1
|
||
|
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étaboliqueJournées Ouvertes Biologie Informatique Mathématiques - JOBIM 2005, 2005, Lyon, France. pp.169-173
Conference papers
hal-00009610v1
|