HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-01903685v2  Conference papers
Mathieu FehrOlivier BuffetVincent ThomasJilles Dibangoye. ρ-POMDPs have Lipschitz-Continuous ϵ-Optimal Value Functions
NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada. pp.1-27
hal-01906996v1  Conference papers
Xavier MarchalThibault CholezOlivier Festor. μNDN: an Orchestrated Microservice Architecture for Named Data Networking
ACM-ICN'18 - 5th ACM Conference on Information-Centric Networking, Sep 2018, Boston, United States. pp.12, ⟨10.1145/3267955.3267961⟩
hal-01445707v2  Conference papers
Emmanuel JeandelSimon PerdrixRenaud VilmartQuanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
hal-01054395v1  Conference papers
Karën FortBruno GuillaumeValentin Stern. ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16
hal-02974078v1  Conference papers
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. You are what emojis say about your pictures
SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩
hal-01445948v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. Y-Calculus: A language for real Matrices derived from the ZX-Calculus
International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
inria-00160400v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang Maier. XMG: eXtending MetaGrammars to MCTAG
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.473-482
hal-01155144v1  Conference papers
Imen FassiPhilippe Clauss. XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance
14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. ⟨10.1109/ISPDC.2015.19⟩
hal-01946733v1  Conference papers
Pascal FontaineMizuhito OgawaThomas SturmVan Khanh ToXuan Tung Vu. Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom
hal-01142465v1  Conference papers
Ranjan JhaDamien ChablatFabrice RouillierGuillaume Moroz. Workspace and Singularity analysis of a Delta like family robot
4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France
hal-01006614v1  Conference papers
Damien ChablatRanjan JhaFabrice RouillierGuillaume Moroz. Workspace and joint space analysis of the 3-RPS parallel robot
ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2014, Buffalo, United States. pp.1-10
hal-00646845v1  Conference papers
Sai Qian. Workshop Proposal for Young Researchers' Roundtable on Spoken Dialogue Systems 2011
Young Researchers' Roundtable on Spoken Dialogue Systems 2011, Jun 2011, Portland, United States
inria-00440785v1  Conference papers
Guillaume BonfanteBruno GuillaumeMathieu Morey. Word Order Constraints for Lexical Disambiguation of Interaction Grammars
Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France
hal-00597903v1  Conference papers
Yongxin LiaoMario LezocheHervé PanettoNacer Boudjlida. Why, Where and How to use Semantic Annotation for Systems Interoperability
1st UNITE Doctoral Symposium, Jun 2011, Bucarest, Romania. pp.71-78
hal-03245005v1  Conference papers
Eloïse DalinIvan BergonzaniTimothée AnneSerena IvaldiJean-Baptiste Mouret. Whole-body teleoperation of the Talos humanoid robot: preliminary results
ICRA 2021 - 5th Workshop on Teleoperation of Dynamic Legged Robots in Real Scenarios, May 2021, Xi’an / Virtual, China
hal-01790597v1  Conference papers
Enrico HoffmanBrice ClémentChengxu ZhouNikos TsagarakisJean-Baptiste Mouret et al.  Whole-Body Compliant Control of iCub: first results with OpenSoT
IEEE/RAS ICRA Workshop on Dynamic Legged Locomotion in Realistic Terrains, May 2018, Brisbane, Australia
hal-01494043v1  Conference papers
Karën FortBruno GuillaumeNicolas Lefèbvre. Who wants to play Zombie? A survey of the players on ZOMBILINGO
Games4NLP 2017 - Using Games and Gamification for Natural Language Processing, Apr 2017, Valencia, Spain. pp.2
hal-01078045v1  Conference papers
Gilles AddaLaurent BesacierAlain CouillaultKarën FortJoseph Mariani et al.  Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology
Crowdsourcing and human computation multidisciplinary workshop, CNRS, Sep 2014, Paris, France
hal-02864071v2  Conference papers
Miguel CouceiroErkko LehtonenLaurent MicletHenri PradeGilles Richard. When nominal analogical proportions do not fail
SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
hal-01588876v1  Conference papers
Emmanuel Vincent. When mismatched training data outperform matched data
Systematic approaches to deep learning methods for audio, Sep 2017, Vienna, Austria
hal-02185645v1  Conference papers
Amine Boumaza. When Mating Improves On-line Collective Robotics
GECCO’19 Proceedings of the 2019 Genetic and Evolutionary Computation Conference, Jul 2019, Prague, Czech Republic
hal-03021720v1  Conference papers
Gaël GuibonMarine CourtinKim GerdesBruno Guillaume. When Collaborative Treebank Curation Meets Graph Grammars
LREC 2020 - 12th Language Resources and Evaluation Conference, May 2020, Marseille, France
hal-01351398v1  Conference papers
Myrto ArapinisVéronique CortierSteve Kremer. When are three voters enough for privacy properties?
21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece
hal-02984693v1  Conference papers
Scott WisdomHakan ErdoganDaniel EllisRomain SerizelNicolas Turpault et al.  What’s All the FUSS About Free Universal Sound Separation Data?
ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing, Jun 2021, Toronto/Virtual, Canada. ⟨10.1109/ICASSP39728.2021.9414774⟩
hal-00641326v1  Conference papers
Tigran AvanesovYannick ChevalierMohammed Anis MekkiMichaël Rusinowitch. Web Services Verification and Prudent Implementation
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
hal-01378355v1  Conference papers
Guillaume SerrièreChristophe CerisaraDominique FohrOdile Mella. Weakly-supervised text-to-speech alignment confidence measure
International Conference on Computational Linguistics (COLING), Dec 2016, Osaka, Japan
hal-00756563v1  Conference papers
Carolina SaavedraLaurent Bougrain. Wavelet-based Semblance for P300 Single-trial Detection
BIOSIGNAL - international conference on Bio-Inspired Systems and Signal Processing - 2013, Feb 2013, Barcelone, Spain
hal-01421548v1  Conference papers
Pierre-Edouard OscheSylvain CastagnosAmedeo NapoliYannick Naudet. Walk the line: Toward an efficient user model for recommendations in museums
11th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2016), Oct 2016, Thessaloniki, Greece. pp.83 - 88, ⟨10.1109/SMAP.2016.7753389⟩
hal-00836829v1  Conference papers
Shinji MaedaYves Laprie. Vowel and prosodic factor dependent variations of vocal-tract length
InterSpeech - 14th Annual Conference of the International Speech Communication Association - 2013, Aug 2013, Lyon, France
hal-01900086v1  Conference papers
Véronique CortierJoseph Lallemand. Voting: You Can’t Have Privacy without Individual Verifiability
ACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243762⟩
hal-01338070v1  Conference papers
Jannik DreierPascal LafourcadeYassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols
4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩
hal-03090865v1  Conference papers
Ioannis DourosYu XieChrysanthi DourouJacques FelblingerKaryna Isaieva et al.  Vocal tract sagittal slices estimation from MRI midsagittal slices during speech production of CV
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
hal-00990508v1  Conference papers
Manel TagortiBruno Scherrer. Vitesse de convergence et borne d'erreur pour l'algorithme LSTD($\lambda$)
JFPDA - 9èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, May 2014, Liège, Belgique
hal-00730733v1  Conference papers
Slim OuniLoïc MangeonjeanIngmar Steiner. VisArtico: a visualization tool for articulatory data
13th Annual Conference of the International Speech Communication Association - InterSpeech 2012, Sep 2012, Portland, OR, United States
hal-01170042v2  Conference papers
Bernardetta AddisDallal BelabedMathieu BouetStefano Secci. Virtual Network Functions Placement and Routing Optimization
CloudNet 2015 - IEEE 4th International Conference on Cloud Networking, Oct 2015, Niagara Falls, ON, Canada. pp.171-177, ⟨10.1109/CloudNet.2015.7335301⟩
hal-01166785v1  Conference papers
Pierre RolinMarie-Odile BergerFrédéric Sur. Viewpoint simulation for camera pose estimation from an unstructured scene model
International Conference on Robotics and Automation, May 2015, Seattle, United States
hal-01331713v1  Conference papers
Fanny MorinIngerid ReinertsenHadrien CourtecuisseOlivier PalombiBodil Munkvold et al.  Vessel-based brain-shift compensation using elastic registration driven by a patient-specific finite element model
International Conference on Information Processing in Computer-Assisted Interventions (IPCAI), Jun 2016, Heidelberg, Germany
hal-01515954v1  Conference papers
Christian RohlfingJérémy CohenAntoine Liutkus. Very Low Bitrate Spatial Audio Coding with Dimensionality Reduction
42nd International Conference on Acoustics, Speech and Signal Processing (ICASSP), Mar 2017, New Orleans, United States
hal-00885965v1  Conference papers
Elias EghoChedy RaïssiToon CaldersNicolas JayAmedeo Napoli. Vers une mesure de similarité pour les séquences complexes
Extraction et gestion des connaissances (EGC'2013), Jan 2013, Toulouse, France. pp.335-340
hal-00879614v1  Conference papers
Eric FinickelAbdelkader LahmadiOlivier Festor. Vers une détection automatique des applications malveillantes dans les environnements Android
UbiMob - 9èmes journées francophones Mobilité et Ubiquité - 2013, Jun 2013, Nancy, France
hal-00861865v1  Conference papers
My Thao TangYannick Toussaint. Vers un processus continu d'extraction de connaissances à partir de textes
IC - 24èmes Journées francophones d'Ingénierie des Connaissances, Jul 2013, Lille, France
hal-01583863v1  Conference papers
Karën FortBruno GuillaumeNicolas LefèbvreLaura RamírezMathilde Regnault et al.  Vers l'annotation par le jeu de corpus (plus) complexes : le cas de la langue de spécialité
Traitement Automatique des Langues Naturelles (TALN), Jun 2017, Orléans, France
hal-01344905v1  Conference papers
Matthieu ZimmerYann BonifaceAlain Dutech. Vers des architectures acteur-critique neuronales efficaces en données
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, Jul 2016, Grenoble, France
hal-03455459v1  Conference papers
David BasinJannik DreierSofia GiampietroSaša Radomirović. Verifying Table-Based Elections
CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
inria-00534821v1  Conference papers
Kaustuv ChaudhuriDamien DoligezLeslie LamportStephan Merz. Verifying Safety Properties With the TLA+ Proof System
Fifth International Joint Conference on Automated Reasoning - IJCAR 2010, Jul 2010, Edinburgh, United Kingdom. pp.142--148, ⟨10.1007/978-3-642-14203-1_12⟩