319 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-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-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-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-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
...
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
...
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
...
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-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
...
hal-01154374v1  Conference papers
Sébastien GambsJean-François LalandeJacques Traoré. ANR LYRICS: Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2015, Troyes, France
...
hal-01104419v1  Conference papers
Bilal PiotMatthieu GeistOlivier Pietquin. Difference of Convex Functions Programming for Reinforcement Learning
Advances in Neural Information Processing Systems (NIPS 2014), Dec 2014, Montreal, Canada
...
hal-01955837v1  Conference papers
Carole Delporte-GalletHugues FauconnierSergio RajsbaumNayuta Yanagisawa. A Characterization of t-Resilient Colorless Task Anonymous Solvability
SIROCCO 2018 - 25th International Colloquium Structural Information and Communication Complexity, Jun 2018, Ma'ale HaHamisha, Israel. ⟨10.1007/978-3-030-01325-7_18⟩
hal-01857356v1  Conference papers
Sylvain MongyChaabane DjerabaDan A. Simovici. On Clustering Users' Behaviors in Video Sessions
Proceedings of the 2007 International Conference on Data Mining, , Jun 2007, Las Vegas, Nevada, United States
hal-01857392v1  Conference papers
Gregory Piatetsky-ShapiroRobert GrossmanChaabane DjerabaRonen FeldmanLise Getoor et al.  Is there a grand challenge or X-prize for data mining?
12th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD-2006), Aug 2006, Philadelphia, United States. pp.954-956 ⟨10.1145/1150402.1150535⟩
hal-01857390v1  Conference papers
Mehdi AddaPetko ValtchevRokia MissaouiChaabane Djeraba. On The Discovery of Semantically Enhanced Sequential Patterns
Fourth International Conference on Machine Learning and Applications (ICMLA'05), Dec 2005, Los Angeles, France. ⟨10.1109/ICMLA.2005.49⟩
hal-01857380v1  Conference papers
Younes HafriChaabane DjerabaPeter StanchevBruno Bachimont. A Web User Profiling Approach
Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Apr 2002, Xian, China. pp.227--238
...
hal-01955902v1  Conference papers
Carole Delporte-GalletHugues FauconnierEli GafniGiuliano Losa. The Assignment Problem
International Conference on Distributed Computing and Networking, , 2018, Varanasi, India
...
hal-01059201v1  Conference papers
Jean-François LalandeKarine HeydemannPascal Berthomé. Software countermeasures for control flow integrity of smart card C codes
ESORICS - 19th European Symposium on Research in Computer Security, Sep 2014, Wroclaw, Poland. pp.200-218, ⟨10.1007/978-3-319-11212-1_12⟩
hal-01857397v1  Conference papers
Karima HadoudaChaabane DjerabaHenri Briand. Objects and Interactive Application in Term of Scenario in a Multimedia Database
Eighth International Workshop on Database and Expert Systems Applications, DEXA'97, Sep 1997, Toulouse, France. pp.246--251, ⟨10.1109/DEXA.1997.617280⟩
hal-01857358v1  Conference papers
Thierry UrrutyChaabane DjerabaDan A. Simovici. Clustering by Random Projections
7th Industrial Conference on Data Mining (ICDM) 2007, Germany, Jul 2007, Leipzig, Germany. pp.107-119
hal-01857360v1  Conference papers
Chaabane DjerabaStanislas LewDan A. SimoviciSylvain MongyNacim Ihaddadene. Eye/gaze tracking in web, image and video documents
14th ACM international conference on Multimedia , Oct 2006, Santa Barbara, California, United States. pp.481-482, ⟨10.1145/1180639.1180735⟩
hal-01857898v1  Conference papers
Thierry UrrutyFatima BelkouchChaabane Djeraba. Kpyr, une structure efficace d'indexation de documents vidéo
INFORSID-2005, 2005, Grenoble, France. pp. 403-418
inria-00557710v1  Conference papers
Yannick ChevalierDenis LugiezMichaël Rusinowitch. Verifying Cryptographic Protocols with Subterms Constraints
14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. pp.181-195, ⟨10.1007/978-3-540-75560-9_15⟩
inria-00557707v1  Conference papers
Yannick ChevalierDenis LugiezMichaël Rusinowitch. Towards an Automatic Analysis of Web Service Security
6th International Symposium on Frontiers of Combining Systems - FroCoS'07, Sep 2007, Liverpool, United Kingdom. pp.133-147, ⟨10.1007/978-3-540-74621-8_9⟩
...
inria-00457129v1  Conference papers
Brice MorinGilles VanwormhoudtPhilippe LahireAlban GaignardOlivier Barais et al.  Managing Variability Complexity in Aspect-Oriented Modeling
In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France
...
hal-01009516v1  Conference papers
Ghada ArfaouiGuillaume DabosvilleSébastien GambsPatrick LacharmeJean-François Lalande. Un pass de transport anonyme et intraçable pour mobile NFC
Atelier sur la Protection de la Vie Privée 2014, Jun 2014, Cabourg, France
...
hal-00308880v1  Conference papers
Christophe RippertDaniel Hagimont. An evaluation of the Java Card environment
Advanced Topic Workshop Middleware for Mobile Computing, in association with the 3rd ACM/IFIP Middleware conference, Nov 2001, Heidelberg, Germany
...
hal-01081402v1  Conference papers
Pierre ChainaisPierre PfennigAymeric Leray. Quantitative control of the error bounds of a fast super-resolution technique for microscopy and astronomy
Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP), May 2014, Florence, Italy. pp.2853 - 2857, ⟨10.1109/ICASSP.2014.6854121⟩
...
hal-01609260v1  Conference papers
Laurent d'OrazioMirian Halfeld-FerrariCarmem HaraNadia KozievitchMartin Musicante. Graph Constraints in Urban Computing: Dealing with conditions in processing urban data
International workshop on Data Analytics solutions for Real-LIfe Applications (DARLI-AP), Jun 2017, Exter, United Kingdom
hal-02434364v1  Conference papers
Carole Delporte-GalletHugues FauconnierYan JurskiFrançois LaroussinieArnaud Sangnier. Towards Synthesis of Distributed Algorithms with {SMT} Solvers
NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco
...
hal-01958152v1  Conference papers
Lucas BoczkowskiOfer FeinermanAmos KormanEmanuele Natale. Limits for Rumor Spreading in Stochastic Populations
ITCS 2018 - 9th Innovations in Theoretical Computer Science Conference, Jan 2018, Cambridge, United States. pp.1-27
...
hal-01639369v1  Conference papers
Raphaëlle CrubilléUgo Dal Lago. Metric Reasoning About λ-Terms: The General Case
ESOP 2017 - 26th European Symposium on Programming, Apr 2017, Uppsala, Sweden. pp.341-367, ⟨10.1007/978-3-662-54434-1_13⟩
hal-01674656v1  Conference papers
Pierre FraigniaudBalliu Alkida. Certification of Compact Low-Stretch Routing Schemes
DISC 2017 - 31st International Symposium on Distributed Computing, Oct 2017, Vienna, Austria
hal-01674660v1  Conference papers
Pierre FraigniaudLaurent Feuilloley. Error-Sensitive Proof-Labeling Schemes
DISC 2017 - 31st International Symposium on Distributed Computing, Oct 2017, Vienna, Austria. pp.1-15, ⟨10.4230/LIPIcs.DISC.2017.16⟩
hal-01674646v1  Conference papers
Pierre FraigniaudOlivetti Dennis. Distributed Detection of Cycles
SPAA 2017 - 29th ACM Symposium on Parallelism in Algorithms and Architectures, Jul 2017, Washington, United States. pp.153-162, ⟨10.1145/3087556.3087571⟩
hal-01674650v1  Conference papers
Pierre FraigniaudOlivetti DennisBalliu AlkidaGianlorenzo d'Angelo. What Can Be Verified Locally?
STACS 2017 - 34th International Symposium on Theoretical Aspects of Computer Science, Mar 2017, Hannover, Germany. pp.1-13, ⟨10.4230/LIPIcs.STACS.2017.8⟩
hal-00812314v1  Conference papers
Anthony MartinetJean MartinetNacim IhaddadeneStanislas LewChaabane Djeraba. Analyzing eye fixations and gaze orientations on films and pictures
16th International Conference on Multimedia (ACM MM) 2008, Oct 2008, Vancouver, BC, Canada. pp.1111-1112, ⟨10.1145/1459359.1459587⟩
hal-00812317v1  Conference papers
Samir AmirIoan Marius BilascoTaner DanismanThierry UrrutyChaabane Djeraba. Semi-Automatic Multimedia Metadata Integration
EKAW 2010 Poster and Demo Track, Oct 2010, Lisboa, Portugal. pp.art 10
hal-00812318v1  Conference papers
Samir AmirIoan Marius BilascoTaner DanismanThierry UrrutyIsmail El Sayad et al.  Schema matching for integrating multimedia metadata
International Conference on Machine and Web Intelligence (ICMWI), 2010, Oct 2010, Algiers, Algeria. pp.234-239, ⟨10.1109/ICMWI.2010.5647884⟩
hal-00812291v1  Conference papers
Ismail El SayadJean MartinetThierry UrrutyYassine BenabbasChaabane Djeraba. A semantically significant visual representation for social image retrieval
International Conference on Multimedia and Expo (ICME) 2011, Jul 2011, Barcelona, Spain. pp.1-6, ⟨10.1109/ICME.2011.6011867⟩
hal-00812312v1  Conference papers
Thierry UrrutyJose Joemon M.Chaabane Djeraba. An efficient indexing structure for multimedia data
1st ACM SIGMM International Conference on Multimedia Information Retrieval (MIR) 2008, Oct 2008, Vancouver, BC, Canada. pp.313-320, ⟨10.1145/1460096.1460148⟩
hal-00812313v1  Conference papers
Nacim IhaddadeneMd. Haidar SharifChaabane Djeraba. Crowd behaviour monitoring
16th International Conference on Multimedia (ACM MM) 2008, Oct 2008, Vancouver, BC, Canada. pp.1013-1014, ⟨10.1145/1459359.1459556⟩
hal-00812311v1  Conference papers
Nacim IhaddadeneChaabane Djeraba. A semantic Higher-Level Visual Representation for Object Recognition
Advances in Multimedia Modeling - 17th International Multimedia Modeling Conference (MMM) 2011, Jan 2011, Taipei, Taiwan. pp.251-261, ⟨10.1007/978-3-642-17832-0_24⟩
hal-00812305v1  Conference papers
Ismail El SayadJean MartinetThierry UrrutySamir AmirChaabane Djeraba. Toward a higher-level visual representation for content-based image retrieval
8th International Conference on Advances in Mobile Computing and Multimedia (MoMM) 2010, Nov 2010, Paris, France. pp.213-220, ⟨10.1145/1971519.1971556⟩
hal-00812310v1  Conference papers
Kaci Azzou Samira AitSlimane LarabiChaabane Djeraba. Angles Estimation of Rotating Camera
Fourth International Conference on Computer Vision Theory and Applications (VISAPP) 2009, Feb 2009, Lisboa, Portugal. pp.575-578
hal-00812304v1  Conference papers
Samir AmirIoan Marius BilascoTaner DanismanIsmail El SayadChaabane Djeraba. Multimedia metadata mapping : towards helping developers in their integration task
8th International Conference on Advances in Mobile Computing and Multimedia (MoMM) 2010, Nov 2010, Paris, France. pp.205-212, ⟨10.1145/1971519.197155⟩
hal-00812297v1  Conference papers
Yassine BenabbasSamir AmirAdel LablackChaabane Djeraba. Human Action Recognition using Direction and Magnitude Models of Motion
International Conference on Computer Vision Theory and Applications (VISAPP) 2011, Mar 2011, Vilamoura, Algarve, Portugal. pp.277-285
hal-00812299v1  Conference papers
Yassine BenabbasNacim IhaddadeneTarek YahiaouiThierry UrrutyChaabane Djeraba. Spatio-Temporal Optical Flow Analysis for People Counting
7th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS), Aug 2010, Boston, United States. pp.212-217, ⟨10.1109/AVS.2010.29⟩
hal-00812300v1  Conference papers
Medhi AddaPetko ValtchevRokia MissaouiChaabane Djeraba. A framework for mining meaningful usage patterns within a semantically enhanced web portal
Third C* Conference on Computer Science and Software Engineering (C3S2E) 2010, May 2010, Montreal, Quebec, Canada. pp.138-147, ⟨10.1145/1822327.1822347⟩
hal-00812292v1  Conference papers
Samir AmirYassine BenabbasIoan Marius BilascoChaabane Djeraba. MuMIe : a new system for multimedia metadata interoperability
1st ACM International Conference on Multimedia Retrieval (ICMR) 2011, Apr 2011, Trento, Italy. pp.1, ⟨10.1145/1991996.1991997⟩
hal-00812293v1  Conference papers
Ismail El SayadJean MartinetThierry UrrutyChaabane Djeraba. A semantic Higher-Level Visual Representation for Object Recognition
Advances in Multimedia Modeling - 17th International Multimedia Modeling Conference (MMM) 2011, Jan 2011, Taipei, Taiwan. pp.251-261, ⟨10.1007/978-3-642-17832-0_24⟩
hal-00812328v1  Conference papers
Nacim IhaddadeneAdel LablackChaabane Djeraba. Analysing complex videos for public safety and monitoring
9th International Symposium on Programming and Systems (ISPS 2009), May 2009, Algiers, Algeria
hal-02436289v1  Conference papers
Carole Delporte-GalletHugues FauconnierPierre FraigniaudMikael Rabie. Brief Announcement: Distributed Computing in the Asynchronous {LOCAL} Model
SSS 2019 - 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2019, Pisa, Italy
hal-01669203v1  Conference papers
Dan AlistarhBartlomiej DudekAdrian KosowskiDavid SoloveichikPrzemyslaw Uznanski. Robust Detection in Leak-Prone Population Protocols
DNA 2017 - 23rd International Conference DNA Computing and Molecular Programming, Sep 2017, Austin, TX, United States. pp.155-171, ⟨10.1007/978-3-319-66799-7_11⟩
hal-01960756v1  Conference papers
Divesh AggarwalAntoine JouxAnupam PrakashMiklos Santha. A New Public-Key Cryptosystem via Mersenne Numbers
Crypto 2018, 2018, Santa-Barbara, United States. pp.459-482
...
hal-00812319v1  Conference papers
Taner DanismanIoan Marius BilascoJean MartinetChaabane Djeraba. Construction de masques faciaux pour améliorer la reconnaissance d'expressions
COmpression et REpresentation des Signaux Audiovisuels, May 2012, Lille, France. pp.17
...
hal-00804181v1  Conference papers
Afifa DahmaneSlimane LarabiChaabane DjerabaIoan Marius Bilasco. Learning symmetrical model for head pose estimation
ICPR - 21st International Conference on Pattern Recognition, Nov 2012, Tsukuba, Japan. pp.3614-3617
...
hal-00812290v1  Conference papers
Samir AmirIoan Marius BilascoThierry UrrutyChaabane Djeraba. MuMIE : Une approche automatique pour l'interopérabilité des métadonnées
Extraction et Gestion des Connaissances (EGC) 2011, Jan 2011, Brest, France. pp.347-352
...
hal-01958133v1  Conference papers
Lucas BoczkowskiAmos KormanYoav Rodeh. Searching a Tree with Permanently Noisy Advice
ESA 2018 - 26th Annual European Symposium on Algorithms, Aug 2018, Helsinki, Finland. pp.1-32, ⟨10.4230/LIPIcs.ESA.2018.54⟩
...
hal-01955582v1  Conference papers
Lucas BoczkowskiBrieuc GuinardAmos KormanZvi LotkerMarc Renault. Random Walks with Multiple Step Lengths
LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Apr 2018, Buenos Aires, Argentina. pp.174-186
...
hal-01373411v3  Conference papers
Paolo PennaLaurent Viennot. Independent Lazy Better-Response Dynamics on Network Games
CIAC 2019 2019 : 11th International Conference on Algorithms and Complexity, May 2019, Rome, Italy
...
hal-01737210v2  Conference papers
Siddharth GuptaAdrian KosowskiLaurent Viennot. Exploiting Hopsets: Improved Distance Oracles for Graphs of Constant Highway Dimension and Beyond
ICALP 2019 - 46th International Colloquium on Automata, Languages, and Programming, Jul 2019, Patras, Greece
...
hal-01904588v1  Conference papers
Jasmin Christian BlanchetteNicolas PeltierSimon Robillard. Superposition with Datatypes and Codatatypes
IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
...
hal-01960182v1  Conference papers
Vincent Cohen-AddadLaurent FeuilloleyTatiana Starikovskaya. Lower bounds for text indexing with mismatches and differences
SODA 2019 - Symposium on Discrete Algorithms, Jan 2019, San Diego, United States
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
in2p3-00517912v1  Conference papers
B. Reichborn-KjennerudAsad AboobakerP. AdeF. AubinC. Baccigalupi et al.  EBEX: a balloon-borne CMB polarization experiment
Millimeter, Submillimeter, and Far-Infrared Detectors and Instrumentation for Astronomy V, Jun 2010, San Diego, United States. pp.77411C, ⟨10.1117/12.857138⟩
...
hal-01359084v2  Conference papers
Adrian KosowskiLaurent Viennot. Beyond Highway Dimension: Small Distance Labels Using Tree Skeletons
SODA 2017 - 28th ACM-SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelona, Spain
...
hal-00767170v1  Conference papers
Mathieu AcherPatrick HeymansPhilippe ColletPhilippe Lahire. Next-Generation Model-based Variability Management: Languages and Tools
MODELS 2012 - 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
...
hal-01964771v1  Conference papers
Laurent FeuilloleyPierre FraigniaudJuho HirvonenAmi PazMor Perry. Redundancy in Distributed Proofs
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
...
hal-00383834v1  Conference papers
Nathalie MittonEric FleuryIsabelle Guérin LassousBruno SericolaSébastien Tixeuil. Fast Convergence in Self-stabilizing Wireless Networks.
12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA, Jul 2006, Mineapolis, United States. pp.31-38
...
hal-01424469v1  Conference papers
Etienne BirmeléFabien de MontgolfierLéo Planche. Minimum Eccentricity Shortest Path Problem: An Approximation Algorithm and Relation with the k-Laminarity Problem
COCOA 2016, Combinatorial Optimization and Applications - 10th International Conference, Dec 2016, Hong Kong, China. pp.216 - 229, ⟨10.1007/978-3-319-48749-6_16⟩
...
hal-01415090v1  Conference papers
Adrian Kosowski. What Makes a Distributed Problem Truly Local?
SIROCCO 2016 - 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland. pp.3, ⟨10.1007/978-3-319-48314-6⟩
hal-01672520v1  Conference papers
Michel HabibLalla Mouatadid. Maximum Induced Matching Algorithms via Vertex Ordering Characterizations
ISAAC 2017 - 28th International Symposium on Algorithms and Computation, Dec 2017, Phuket, Thailand. pp.1-12, ⟨10.4230/LIPIcs.ISAAC.2017.43⟩
hal-01672521v1  Conference papers
Pierre CharbitMichel HabibLalla MouatadidReza Naserasr. A New Graph Parameter to Measure Linearity
COCOA 2017 - 11th Annual International Conference on Combinatorial Optimization and Applications, Dec 2017, Shanghai, China. pp.154-168, ⟨10.1007/978-3-319-71147-8_11⟩