Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	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-01472082v1 Reports Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding [Research Report] RR-LIG-031, LIG. 2012
	hal-00576948v1 Journal articles Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
	hal-00743981v1 Journal articles Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
	hal-00724508v1 Conference papers Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
	lirmm-00879575v1 Conference papers Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity for Phenotyping Data Search and Recommendation BDA: Bases de Données Avancées, Oct 2013, Nantes, France
	hal-01208397v1 Conference papers Sofia Kleisarchaki, Sihem Amer-Yahia, Ahlame Douzal-Chouakria, Vassilis Christophides. Querying Temporal Drifts at Multiple Granularities CIKM 2015, Oct 2015, Melbourne, Australia
	hal-00953273v1 Conference papers Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
	hal-01089427v1 Conference papers Stéphane Ayache, Georges Quénot. LIG and LIRIS at TRECVID 2008: High Level Feature Extraction and Collaborative Annotation TRECVID Workshop, 2008, Gaithersburg, MD, United States
	hal-01059677v1 Conference papers Akram Idani, Nicolas Stouls. When a Formal Model Rhymes with a Graphical Notation Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
	hal-00930964v1 Journal articles Jack Dongarra, Bernard Tourancheau. Selected papers of the Workshop on Clusters, Clouds and Grids for Scientific Computing (CCGSC) International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.259-260. ⟨10.1177/1094342011414550⟩
	hal-00931040v1 Journal articles Leila Ben Saad, Cedric Chauvenet, Bernard Tourancheau. IPv6 (Internet Protocol version 6) heterogeneous networking infrastructure for energy efficient building Energy, Elsevier, 2012, Integration and Energy System Engineering, 44 (1), pp.447-457. ⟨10.1016/j.energy.2012.06.008⟩
	hal-00930982v1 Other publications Bernard Tourancheau. Vers un monde d'objets interconnectés 2011
	hal-00954076v1 Conference papers Éric Gaussier. Apprentissage pour la Recherche d'Information Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France
	hal-00954024v1 Conference papers Philippe Mulhem, Delphine Verbyst. Utilisation des liens entre documents structurés pour la recherche d'information Actes de la conférence CORIA, 2009, Giens, France. pp.319-331
	hal-00944484v1 Journal articles Pablo Arrighi, Jonathan Grattage. Intrinsically universal n-dimensional quantum cellular automata Journal of Computer and System Sciences, Elsevier, 2012, 78 (6), pp.1883-1898
	hal-00758626v1 Journal articles Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. Dynamic Combination of Automatic Speech Recognition Systems by Driven Decoding IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2013
	hal-02094742v1 Poster communications Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. GENERALIZED DRIVEN DECODING FOR SPEECH RECOGNITION SYSTEM COMBINATION ICASSP, 2008, Las Vegas, United States
	hal-00683433v1 Conference papers Fabrice Lefèvre, Djamel Mostefa, Laurent Besacier, Yannick Estève, Matthieu Quignard et al. Leveraging study of robustness and portability of spoken language understanding systems across languages and domains: the PORTMEDIA corpora The International Conference on Language Resources and Evaluation, May 2012, Istanbul, Turkey
	hal-02059224v1 Conference papers Annie Foret, Valérie Bellynck, Christian Boitet. Akenou-Breizh, un projet de plate-forme valorisant des ressources et outils informatiques et linguistiques pour le breton TALaRE'2015, Jun 2015, Caen, France
	hal-00712942v1 Journal articles Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (3), pp.397-413
	inria-00326519v1 Conference papers Luis Villaseñor-Pineda, Manuel Montes-Y-Gómez, Dominique Vaufreydaz, Jean-François Serignat. Experiments on the Construction of a Phonetically Balanced Corpus from the Web Conference on Intelligent Text Processing and Computational Linguistics CICLing-2004, Feb 2004, Seoul, South Korea. 4 p
	inria-00326525v1 Conference papers Florian Metze, Petra Gieselmann, Hartwig Holzapfel, Thomas Kluge, Ivica Rogina et al. The “FAME” Interactive Space 2nd Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms, Feb 2005, Edinburgh, United Kingdom. 4 p
	inria-00395108v1 Conference papers Ciaran Bryce, M.A.C Dekker, Sandro Etalle, Daniel Le Métayer, Frédéric Le Mouël et al. Ubiquitous Privacy Protection Proceedings of the 5th Workshop on Ubicomp Privacy in conjunction with the 9th International Conference on Ubiquitous Computing (UbiComp'2007), Sep 2007, Innsbruck, Austria
	hal-00731122v1 Journal articles Christian Obrecht, F. Kuznik, Bernard Tourancheau, J.-J. Roux. The TheLMA project: Multi-GPU Implementation of the Lattice Boltzmann Method International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.295-303. ⟨10.1177/1094342011414745⟩
	hal-00930965v1 Conference papers Christian Obrecht, Frédéric Kuznik, Bernard Tourancheau, Jean-Jacques Roux. Towards Urban-Scale Flow Simulations Using the Lattice Boltzmann Method Building Simulation 2011 - 12th Conference of International Building Performance Simulation Association, Nov 2011, Sydney, Australia. pp.933-940
	hal-01003059v1 Journal articles Christian Obrecht, Frédéric Kuznik, Bernard Tourancheau, Jean-Jacques Roux. Global Memory Access Modelling for Efficient Implementation of the LBM on GPUs Lecture Notes in Computer Science, Springer, 2011, 6449, pp.151-161
	hal-00827889v1 Conference papers Raphaël Laurent, Jean-Luc Schwartz, Pierre Bessière, Julien Diard. COSMO, un modèle bayésien de la communication parlée : application à la perception des syllabes JEP-TALN-RECITAL 2012 - conférence conjointe 29e Journées d'Études sur la Parole, 19e Traitement Automatique des Langues Naturelles, 14e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2012, Grenoble, France. pp.305-312
	hal-00338789v1 Conference papers Clément Moulin-Frier, Jean-Luc Schwartz, Julien Diard, Pierre Bessière. Emergence du langage par jeux déictiques dans une société d'agents sensori-moteurs en interaction JEP 2008 - 27e Journées d'Etudes sur la Parole, Jun 2008, Avignon, France
	hal-00849026v1 Conference papers A. Ancel, I. Assenmacher, K. Baba, J. Cisonni, Y. Fujiso et al. PetaFlow - An example of communication and computational technologies with social impact HSNCE 2013 - 4th IEEE International Workshop on High-Speed Network and Computing Environment, Jul 2013, Kyoto, Japan. pp.1-4
	hal-00493999v1 Conference papers Annemie van Hirtum, K. Baba, Julien Cisonni, Y. Ebara, Xavier Grandchamp et al. Petaflow: a project towards information and communication technologies in society HSNCE 2010 - 1st IEEE International Workshop on High-Speed Network and Computing Environments for Scientific Applications, Jul 2010, Séoul, South Korea. pp.4
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	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 Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize