291 results  save search


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-01951322v1  Conference papers
Théo Zimmermann. Challenges in the collaborative development of a complex mathematical software and its ecosystem
OpenSym 2018 - 14th International Symposium on Open Collaboration, Aug 2018, Paris, France. ⟨10.1145/3233391.3233966⟩
...
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-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-02406569v1  Conference papers
Cédric Ho ThanhPierre-Louis CurienSamuel Mimram. A Sequent Calculus for Opetopes
LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
...
hal-02405864v1  Conference papers
Paolo GiarrussoYann Régis-GianasPhilipp Schuster. Incremental λ-Calculus in Cache-Transfer Style Static Memoization by Program Transformation
ESOP 2019 - European Symposium on Programming, Apr 2019, Prague, Czech Republic
hal-02423508v1  Conference papers
Michel HabibFabien de MontgolfierLalla MouatadidMengchuan Zou. A General Algorithmic Scheme for Modular Decompositions of Hypergraphs and Applications
IWOCA 2019 - 30th International Workshop on Combinatorial Algorithms, Jul 2019, Pise, Italy
hal-00650649v1  Conference papers
Eric SennJérémie GuillotDaniel ChilletCécile BelleudySmail Niar et al.  Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project
Design, Automation & Test in Europe (DATE 2011), University Booth, Mar 2011, Grenoble, France
...
hal-01100265v1  Conference papers
Valentin EmiyaAntoine BonnefoyLaurent DaudetRémi Gribonval. Le problème d'échantillonnage compressif avec permutation des capteurs et une solution de type branch-and-bound
Congrès ROADEF de la société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2015, Marseille, France
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-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
inria-00600298v1  Conference papers
Nathalie MittonÉric 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-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-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-01653261v1  Conference papers
Paul LaforgueYann Régis-Gianas. Copattern matching and first-class observations in OCaml, with a macro
International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131869⟩
...
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⟩
...
hal-01653283v1  Conference papers
Thibaut GirkaDavid MentréYann Régis-Gianas. Verifiable Semantic Difference Languages
International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131870⟩
...
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