Rechercher

	1 2 3 4 5 6 7 8 9	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 243 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00400272v1 Rapport Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson et al. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form [Research Report] RR-6976, INRIA. 2009, pp.16
	inria-00156468v1 Rapport Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli et al. Loosely Time-Triggered Architectures based on Communication-by-Sampling [Research Report] PI 1854, 2007, pp.41
	inria-00001058v1 Communication dans un congrès Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, 3188, pp.1-16, 2004, Lecture Notes in Computer Science; Formal Methods for Components and Objects: Second International Symposium, FMCO 2003. <10.1007/b100112>
	hal-01273170v1 Pré-publication, Document de travail David Margery, Frédéric Desprez. On the sustainability of large-scale computer science testbeds: the Grid'5000 case 2016
	inria-00424283v1 Communication dans un congrès Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications. 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. <10.1007/978-3-642-00982-2_13>
	inria-00424356v1 Communication dans un congrès Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. 11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp.679-697, 2009, LNCS
	inria-00526261v1 Communication dans un congrès Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin et al. A Protocol for Loosely Time-Triggered Architectures Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. <10.1007/3-540-45828-X_19>
	hal-00872751v1 Communication dans un congrès Matthijs Douze, Jérôme Revaud, Cordelia Schmid, Hervé Jégou. Stable hyper-pooling and query expansion for event detection ICCV 2013 - IEEE International Conference on Computer Vision, Dec 2013, Sydney, Australia. IEEE, pp.1825-1832, 2013, <10.1109/ICCV.2013.229>
	hal-00746980v1 Communication dans un congrès Bahjat Safadi, Nadia Derbas, Abdelkader Hamadi, Franck Thollard, Georges Quénot et al. Quaero at TRECVID 2011: Semantic Indexing and Multimedia Event Detection TRECVID 2011 - TREC Video Retrieval Evaluation workshop, Nov 2011, Gaithersburg, MD, United States. 10p., 2011, <http://www-nlpir.nist.gov/projects/tvpubs/tv.pubs.org.html>
	inria-00548637v1 Communication dans un congrès Hervé Jégou, Matthijs Douze, Cordelia Schmid, Patrick Pérez. Aggregating local descriptors into a compact image representation CVPR 2010 - 23rd IEEE Conference on Computer Vision & Pattern Recognition, Jun 2010, San Francisco, United States. IEEE Computer Society, pp.3304-3311, 2010, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5540039>. <10.1109/CVPR.2010.5540039>
	inria-00548638v1 Communication dans un congrès Hervé Jégou, Matthijs Douze, Cordelia Schmid. Représentation compacte des sacs de mots pour l'indexation d'images RFIA 2010 - Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France. 2010
	inria-00548659v1 Communication dans un congrès Ivan Laptev, Marcin Marszałek, Cordelia Schmid, Benjamin Rozenfeld. Learning Realistic Human Actions from Movies CVPR 2008 - IEEE Conference on Computer Vision & Pattern Recognition, Jun 2008, Anchorage, United States. IEEE Computer Society, pp.1-8, 2008, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4587756>. <10.1109/CVPR.2008.4587756>
	hal-00847827v1 Communication dans un congrès Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jégourel, Axel Legay et al. Statistical Model Checking QoS properties of Systems with SBIP Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Oct 2012, Heraklion, Greece. Springer, 7609, pp.327-341, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-34026-0_25>
	inria-00548648v1 Chapitre d'ouvrage Hervé Jégou, Matthijs Douze, Cordelia Schmid. Recent advance in image search Frank Nielsen. Emerging Trends in Visual Computing, 5416, Springer-Verlag, pp.305-326, 2009, Lecture Notes in Computer Science, 978-3-642-00826-9. <10.1007/978-3-642-00826-9_14>
	inria-00548645v1 Communication dans un congrès Marcin Marszałek, Ivan Laptev, Cordelia Schmid. Actions in Context CVPR 2009 - IEEE Conference on Computer Vision & Pattern Recognition, Jun 2009, Miami, United States. IEEE Computer Society, pp.2929-2936, 2009, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5206557>. <10.1109/CVPR.2009.5206557>
	inria-00000175v1 Rapport Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications [Research Report] PI 1730, 2005, pp.22
	hal-01086874v1 Communication dans un congrès Cristian Ene, Yassine Lakhnech, Van Chan Ngo. Formal Indistinguishability Extended to the Random Oracle Model ESORICS 2009, Sep 2009, St Malo, France. pp.555 - 570, 2009, <10.1007/978-3-642-04444-1_34>
	inria-00318614v1 Communication dans un congrès Hervé Jégou, Laurent Amsaleg, Cordelia Schmid, Patrick Gros. Query-Adaptative Locality Sensitive Hashing ICASSP 2008 - IEEE International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. IEEE, pp.825-828, 2008, <10.1109/ICASSP.2008.4517737>
	inria-00466158v1 Rapport Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoit Delahaye et al. Statistical abstraction and model-checking of large heterogeneous systems [Research Report] RR-7238, INRIA. 2010
	hal-00988772v1 Communication dans un congrès Abdelaziz Djelouah, Jean-Sébastien Franco, Edmond Boyer, François Le Clerc, Patrick Pérez. Segmentation multi-vues par coupure de graphes RFIA 2014 - Reconnaissance de Formes et Intelligence Artificielle, Jun 2014, Rouen, France. 2014
	inria-00602325v2 Rapport Hervé Jégou, Matthijs Douze, Cordelia Schmid. Exploiting descriptor distances for precise image search [Research Report] RR-7656, INRIA. 2011
	hal-00801714v1 Communication dans un congrès Jérôme Revaud, Matthijs Douze, Cordelia Schmid, Hervé Jégou. Event retrieval in large video collections with circulant temporal encoding CVPR 2013 - International Conference on Computer Vision and Pattern Recognition, Jun 2013, Portland, United States. IEEE, pp.2459-2466, 2013, <10.1109/CVPR.2013.318>
	inria-00435910v1 Communication dans un congrès Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varette. Dynamic Adaptation Applied to Sabotage Tolerance Didier El Baz, François Spies, Tom Gross. 17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009, Feb 2009, Weimar, Germany. IEEE Computer Society, pp.237-244, 2009, <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4912939&isnumber=4912900>. <10.1109/PDP.2009.19>
	hal-00677651v1 Communication dans un congrès Bertrand Delezoide, Frédéric Precioso, Philippe-Henri Gosselin, Miriam Redi, Bernard Merialdo et al. IRIM at TRECVID 2011: Semantic Indexing and Instance Search TRECVID 2011 - TREC Video Retrieval Evaluation Online, Nov 2011, Gaithersburg, MD, United States. NIST, 12p., 2011
	hal-00953839v1 Communication dans un congrès David Gorisse, Frédéric Precioso, Philippe Gosselin, Lionel Granjon, Denis Pellerin et al. IRIM at TRECVID 2010: High Level Feature Extraction and Instance Search TREC Video Retrieval Evaluation workshop, 2010, Gaithersburg, MD, United States. 2010
	hal-00591099v1 Communication dans un congrès David Gorisse, Frédéric Precioso, Philippe-Henri Gosselin, Lionel Granjon, Denis Pellerin et al. IRIM at TRECVID 2010: Semantic Indexing and Instance Search TRECVID - TREC Video Retrieval Evaluation workshop, Nov 2010, Gaithersburg, MD, United States. 2010
	hal-00477153v1 Article dans une revue Yann Renard, Fabien Lotte, Guillaume Gibert, Marco Congedo, Emmanuel Maby et al. OpenViBE: An Open-Source Software Platform to Design, Test and Use Brain-Computer Interfaces in Real and Virtual Environments Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, 19 (1), pp.35-53
	hal-01010772v1 Communication dans un congrès Nicolas Cazy, Claire Dune, Pierre-Brice Wieber, Paolo Robuffo Giordano, François Chaumette. Pose Error Correction For Visual Features Prediction IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'14, Sep 2014, Chicago, United States. IEEE, pp.791-796, 2014, <10.1109/IROS.2014.6942649>
	hal-01010224v1 Communication dans un congrès Panagiotis Papadakis, Patrick Rives, Anne Spalanzani. Adaptive Spacing in Human-Robot Interactions IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'14,, Sep 2014, Chicago, United States. 2014
	hal-00955496v1 Rapport Guillaume Baudart, Albert Benveniste, Anne Bouillard, Paul Caspi. A Unifying View of Loosely Time-Triggered Architectures [Research Report] RR-8494, INRIA. 2014, pp.14
	1 2 3 4 5 6 7 8 9	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 243 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année