INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01502644v1 Preprints, Working Papers, ... Yohann Uguen, Florent de Dinechin, Steven Derrien. High-Level Synthesis Using Application-Specific Arithmetic: A Case Study 2017
	tel-00502510v1 Habilitation à diriger des recherches Jean-Philippe Babau. Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel Autre [cs.OH]. INSA de Lyon, 2005
	inria-00103288v1 Directions of work or proceedings Monique Grandbastien, Jean-Marc Labat. Environnements Informatiques pour l'Apprentissage Humain France. Hermes Lavoisier, pp.384, 2006, Traité IC2, Série Cognition et traitement de l'information, 2-7462-1171-8
	inria-00452799v1 Reports François Bonnet, Michel Raynal. Anonymous Asynchronous Systems: The Case of Failure Detectors [Research Report] PI 1945, 2010, pp.16
	inria-00603208v1 Conference papers Jónathan Heras, María Poza, Maxime Denes, Laurence Rideau. Incidence simplicial matrices formalized in Coq/SSReflect Conference on Intelligent Computer Mathematics, Jul 2011, Bertinoro, Italy. ⟨10.1007/978-3-642-22673-1_3⟩
	inria-00182023v1 Conference papers Olivier Aycard, Anne Spalanzani, Julien Burlet, Chiara Fulgenzi, Trung-Dung Vu et al. Pedestrian Tracking Using Offboard Cameras Proc. of the IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, Oct 2006, Beijing (CN), China
	inria-00182033v1 Reports Gerald Chong Chin Hui. Absolute Localization Of Cycab [Technical Report] 2005
	inria-00182038v1 Conference papers Nicolas Mansard, Olivier Aycard, Carla Koike. Hierarchy of behaviors Proc. of the IEEE International Conference on Robotics and Biomimetics, 2005, Hong Kong, France
	inria-00182042v1 Conference papers Christopher Tay, Cédric Pradalier, Christian Laugier. Online Reconstruction Of Vehicles In A Car Park Proc. of the Int. Conf. on Field and Service Robotics, Jul 2005, Port Douglas Australia, Australia. pp.207-218, ⟨10.1007/978-3-540-33453-8_18⟩
	inria-00182037v1 Reports Pierre Dangauthier, Pierre Bessière, Anne Spalanzani. Feature Selection For Self-Supervised Learning [Technical Report] 2005
	inria-00182041v1 Conference papers Julien Diard, Pierre Bessière, Emmanuel Mazer. Merging probabilistic models of navigation: the Bayesian Map and the Superposition operator Proc. of the IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, 2005, Edmonton, Canada. pp.668--673
	inria-00182046v1 Conference papers Stephane Petti, Thierry Fraichard. Safe Motion Planning in Dynamic Environments Proc. of the IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, Aug 2005, Edmonton, AB (CA), France
	inria-00182043v1 Conference papers Stephane Petti, Thierry Fraichard. Partial Motion Planning Framework for Reactive Planning Within Dynamic Environments Proc. of the IFAC/AAAI Int. Conf. on Informatics in Control, Automation and Robotics, Sep 2005, Barcelona (SP), France
	inria-00182077v1 Reports Frederic Helin. Développement de la plate-forme expérimentale ParkView pour la reconstruction de l'environnement dynamique [Technical Report] 2003
	inria-00182078v1 Reports Dizan Alejandro Vasquez Govea. Estimation de mouvement des obstacles mobiles: une approche statistique [Travaux universitaires] 2003
	inria-00182067v1 Conference papers Dizan Alejandro Vasquez Govea, Frédéric Large, Thierry Fraichard, Christian Laugier. Moving Obstacles' Motion Prediction for Autonomous Navigation Proc. of the Int. Conf. on Control, Automation, Robotics and Vision, Dec 2004, Kunming, China, France
	inria-00182072v1 Conference papers Pierre Dangauthier, Anne Spalanzani, Pierre Bessière. Statistical methods and genetic algorithms for prior knowledge selection. Actes du congrès francophone de Reconnaissance des Formes et Intelligence Artificielle, Jan 2004, Toulouse (FR), France
	inria-00182075v1 Reports Joel Schaerer. Calcul des états de collision inévitable pour un véhicule de type voiture [Technical Report] 2003
	inria-00182083v1 Reports Jerome de Saint Jean. Recherche et poursuite d'une cible mobile par un robot [Technical Report] 2003
	inria-00182084v1 Conference papers Cédric Pradalier, Jorje Hermosillo, Carla Koike, Christophe Braillon, Pierre Bessière et al. Safe and Autonomous Navigation for a Car-Like Robot Among Pedestrian IARP Int. Workshop on Service, Assistive and Personal Robots, Oct 2003, Madrid (ES), France
	inria-00182085v1 Reports Pierre Dangauthier. Sélection automatique de variables pertinentes [Travaux universitaires] 2003
	inria-00343817v1 Conference papers Claudia-Lavinia Ignat, Stavroula Papadopoulou, Gérald Oster, Moira C. Norrie. Providing awareness in multi-synchronous collaboration without compromising privacy ACM 2008 conference on Computer supported cooperative work, Nov 2008, San Diego, United States. pp.659-668, ⟨10.1145/1460563.1460665⟩
	inria-00343812v1 Conference papers Claudia-Lavinia Ignat, Gérald Oster. Awareness of Concurrent Changes in Distributed Software Development International Conference on Cooperative Information Systems - CoopIS 2008, Nov 2008, Monterrey, Mexico. pp.456-464, ⟨10.1007/978-3-540-88871-0⟩
	hal-01235741v1 Conference papers Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Beccari, Luca Benini et al. AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems: the ANTAREX Approach Design, Automation, and Test in Europe, Mar 2016, Dresden, Germany
	hal-01235781v1 Conference papers Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz et al. When the worst-case execution time estimation gains from the application semantics 8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
	hal-01235713v1 Conference papers Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Beccari, Luca Benini et al. ANTAREX – AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems 18th IEEE International Conference on Computational Science and Engineering, Oct 2015, Porto, Portugal
	tel-00193300v1 Theses Heinrich Hördegen. Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007. Français
	inria-00101080v1 Reports Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima. Manipulating Algebraic Specifications with Term-based and Graph-based Representations [Intern report] A02-R-521 \|\| martins_moreira02a, 2002, 33 p
	inria-00101081v1 Reports Yassine Benayed, Dominique Fohr, Jean-Paul Haton, Gérard Chollet. Détection de mots clés dans un flux de parole par les modèles de Markov cachés [Interne] A02-R-033 \|\| benayed02e, 2002, 10 p
	inria-00101082v1 Reports Romaric Charton. Agent approach for Dialoca Services, Architecture and user-mediator interaction [Intern report] A02-R-048 \|\| charton02a, 2002, 20 p
	1 2 3 4 5 6 7 8 9 10	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types

Author

Subject field

Laboratory

Language

Keyword

Type of deposit

Year

Contact

Informations