635 results  save search


hal-01845363v1  Conference papers
Delphine PouxBenjamin AllaertJosé MennessonNacim IhaddadeneIoan Marius Bilasco et al.  Mastering Occlusions by Using Intelligent Facial Frameworks Based on the Propagation of Movement
International Conference on Content-Based Multimedia Indexing (CBMI), Sep 2018, La Rochelle, France
hal-01251571v1  Conference papers
Carole Delporte-GalletHugues FauconnierSam Toueg. A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling
Structural Information and Communication Complexity - 22nd International Colloquium, 2015, Jul 2015, Montserrat, France. pp.385-398, ⟨10.1007/978-3-319-25258-2_27⟩
...
hal-00750611v1  Conference papers
Philippe MullerStergos AfantenosPascal DenisNicholas Asher. Constrained decoding for text-level discourse parsing
COLING - 24th International Conference on Computational Linguistics, Dec 2012, Mumbai, India
hal-01350312v1  Journal articles
Laurent ViennotOdile Lausecker. Les réseaux de pair à pair
Interstices, INRIA, 2005
...
hal-00750618v1  Conference papers
Stergos AfantenosNicholas AsherFarah BenamaraAnaïs CadilhacCédric Dégremont et al.  Developing a corpus of strategic conversation in The Settlers of Catan
SeineDial 2012 - The 16th WORKSHOP ON THE SEMANTICS AND PRAGMATICS OF DIALOGUE, Sep 2012, Paris, France
hal-02429930v1  Conference papers
Adrian KosowskiPrzemysław UznańskiLaurent Viennot. Hardness of Exact Distance Queries in Sparse Graphs Through Hub Labeling
PODC '19 - ACM Symposium on Principles of Distributed Computing, 2019, Toronto, Canada. pp.272-279, ⟨10.1145/3293611.3331625⟩
hal-02433519v1  Conference papers
Pierre FraigniaudPedro MontealegreRotem OshmanRapaport IvanIoan Todinca. On Distributed Merlin-Arthur Decision Protocols
SIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, 2019, L'Aquila, Italy
hal-02433529v1  Conference papers
Pierluigi CrescenziPierre FraigniaudAmi Paz. Trade-Offs in Distributed Interactive Proofs
DISC 2019 - 33rd International Symposium on Distributed Computing, Oct 2019, Budapest, Hungary
hal-02433541v1  Conference papers
Pierluigi CrescenziPierre FraigniaudAmi Paz. Simple and Fast Distributed Computation of Betweenness Centrality
IEEE INFOCOM 2020 - International Conference on Computer Communications, Apr 2020, Pekin, China
hal-02001859v1  Conference papers
Lucas BoczkowskiAmos KormanEmanuele Natale. Brief Announcement: Self-stabilizing Clock Synchronization with 3-bit Messages
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.207-209
hal-01502282v1  Conference papers
Jean-Marc PiersonLionel BrunieMaryvonne MiquelAnne TchounikineClarisse Dhaenens et al.  Grid for Geno-Medicine : A Glimpse on the project
BioGrid 05 (co-located with CCGrid 2005), May 2005, Cardiff, United Kingdom. pp.527-528
hal-01352610v1  Journal articles
Nicolas DerocheMathieu Giraud. Symbiologik : jouez avec les gènes
Interstices, INRIA, 2006
...
hal-01003262v1  Conference papers
Nazim HaouchineJérémie DequidtIgor PeterlikErwan KerrienMarie-Odile Berger et al.  Towards an Accurate Tracking of Liver Tumors for Augmented Reality in Robotic Assisted Surgery
International Conference on Robotics and Automation (ICRA), Jun 2014, Hong Kong, China
...
hal-00738209v2  Journal articles
Olivier CappéAurélien GarivierOdalric-Ambrym MaillardRémi MunosGilles Stoltz. Kullback-Leibler Upper Confidence Bounds for Optimal Sequential Allocation
Annals of Statistics, Institute of Mathematical Statistics, 2013, 41 (3), pp.1516-1541
...
hal-01141226v2  Journal articles
Patrick DehornoyYves Guiraud. Quadratic normalisation in monoids
International Journal of Algebra and Computation, World Scientific Publishing, 2016, 26 (5), pp.935-972. ⟨10.1142/S0218196716500399⟩
hal-01350349v1  Journal articles
Laurent Viennot. Autour des graphes et du routage
Interstices, INRIA, 2006
...
hal-01350668v1  Conference papers
Marc ShapiroMasoud Saeida ArdekaniGustavo Petri. Consistency in 3D
Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
hal-01350409v1  Journal articles
Laurent Viennot. Les réseaux ont la fibre de l’information
Interstices, INRIA, 2009
...
hal-01223494v2  Conference papers
Pierre FraigniaudMarc HeinrichAdrian Kosowski. Local Conflict Coloring
FOCS 2016 - 57th Annual IEEE Symposium on Foundations of Computer Science, Oct 2016, New Brunswick, NJ, United States
...
hal-01669223v1  Conference papers
Andrej IvaskovicAdrian KosowskiDominik PająkThomas Sauerwald. Multiple Random Walks on Paths and Grids
STACS 2017 - 34th Symposium on Theoretical Aspects of Computer Science, Mar 2017, Hannover, Germany. pp.1-14, ⟨10.4230/LIPIcs.STACS.2017.44⟩
inria-00600298v1  Conference papers
Nathalie MittonEric FleuryIsabelle Guérin-LassousBruno SericolaSébastien Tixeuil. Etude de convergence dans les réseaux sans fil
8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France
hal-00684943v1  Journal articles
Raphaël BolzeFranck CappelloEddy CaronMichel DaydeFrédéric Desprez et al.  Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (4), pp.481-494. ⟨10.1177/1094342006070078⟩
hal-01964773v1  Journal articles
Pierre FraigniaudJuho HirvonenJukka Suomela. Node labels in local decision
Theoretical Computer Science, Elsevier, 2018, 751, pp.61-73
...
inria-00564611v1  Journal articles
David CacheraThomas JensenDavid PichardieVlad Rusu. Extracting a data flow analyser in constructive logic
Theoretical Computer Science, Elsevier, 2005, 342 (1)
...
hal-01158211v2  Journal articles
Albert BenvenisteClaude JardSamy Abbes. Application of branching cells to QoS aware service orchestrations
Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
...
inria-00151138v1  Conference papers
Pierre DeransartMireille DucasséGérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), INRIA Rocquencourt, Jun 2007, Rocquencourt / France, France
...
hal-01103441v1  Conference papers
Eoin ThomasEmmanuel DaucéDieter DevlaminckLoïc MahéAlexandra Carpentier et al.  CoAdapt P300 speller: optimized flashing sequences and online learning
6th International Brain Computer Interface Conference, Sep 2014, Graz, Austria
...
hal-00844753v2  Conference papers
Diego MendezBenoit BaudryMartin Monperrus. Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software
International Conference on Source Code Analysis and Manipulation (SCAM'2013), Sep 2013, Eindhoven, Netherlands. pp.10, ⟨10.1109/SCAM.2013.6648183⟩
...
hal-00842855v1  Conference papers
Nazim HaouchineJérémie DequidtIgor PeterlikErwan KerrienMarie-Odile Berger et al.  Image-guided Simulation of Heterogeneous Tissue Deformation For Augmented Reality during Hepatic Surgery
ISMAR - IEEE International Symposium on Mixed and Augmented Reality 2013, Oct 2013, Adelaide, Australia
hal-00904433v1  Conference papers
Erwan AbgrallMartin MonperrusYves Le TraonSylvain GombaultMario Heiderich et al.  Fingerprinting de Navigateurs
SSTIC 2013 : symposium sur la sécurité des technologies de l'information et des communications, Jun 2013, Rennes, France
...
inria-00606100v1  Conference papers
Yohan BoichutThi-Bich-Hanh DaoValérie Murat. Characterizing Conclusive Approximations by Logical Formulae
Reachability Problems 2011, Sep 2011, Gênes, Italy
halshs-00775748v1  Book sections
Hervé ZwirnJean-Paul Delahaye. Unpredictability and computational irreducibility
Hector Zenil, ed. Irreducibility and Computational Equivalence: 10 Years After Wolfram's A New Kind of Science (Emergence, Complexity and Computation), Springer, pp.273-295, 2013, 978-3-642-35481-6. ⟨10.1007/978-3-642-35482-3 ⟩
hal-01038124v1  Directions of work or proceedings
Guillaume GravierFrédéric Bechet. Proceedings of the First ISCA/IEEE Workshop on Speech, Language and Audio in Multimedia
Guillaume Gravier and Frédéric Béchet. First ISCA/IEEE Workshop on Speech, Language and Audio in Multimedia, Aug 2013, France. 2012, 2013
...
hal-00875098v1  Conference papers
Ghada ArfaouiSébastien GambsPatrick LacharmeJean-François LalandeLescuyer Roch et al.  A Privacy-Preserving Contactless Transport Service for NFC Smartphones
Fifth International Conference on Mobile Computing, Applications and Services, Nov 2013, Paris, France. pp.282-285, ⟨10.1007/978-3-319-05452-0_24⟩
...
inria-00384649v2  Conference papers
Samuel BernardStéphane DevismesKaty ParouxMaria Gradinariu Potop-ButucaruSébastien Tixeuil. Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
...
hal-00354043v1  Journal articles
Denis BéchetRoberto BonatoAlexandre DikovskyAnnie ForetYannick Le Nir et al.  Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes
Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2007, 36, pp.123--152
...
inria-00000983v1  Conference papers
Gabriel AntoniuLuc BougéMathieu JanSébastien MonnetMarin Bertier et al.  GDS: An Architecture Proposal for a grid Data-Sharing Service
Workshop on Future Generation Grids, Nov 2004, Dagstuhl, Germany. pp.133-152, ⟨10.1007/978-0-387-29445-2_8⟩
...
inria-00504668v1  Conference papers
Patrick AlbertMireille Blay-FornarinoPhilippe ColletBenoit CombemaleSophie Dupuy-Chessa et al.  End-User Modelling
Défis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010, Pau, France, France
...
hal-01355122v1  Journal articles
Valérie Viet Triem TongJean-François LalandeMourad Leslous. Challenges in Android Malware Analysis
ERCIM News, ERCIM, 2016, Special Theme: Cybersecurity, pp.42-43
...
hal-01154368v1  Conference papers
Radoniaina Andriatsimandefitra RatsisahananaThomas GenetLaurent GuilloJean-François LalandeDavid Pichardie et al.  Kharon : Découvrir, comprendre et reconnaître des malware Android par suivi de flux d'information
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2015, Troyes, France