Skip to Main content Skip to Navigation

hal-02176456v2  Conference papers
Vlad RusuDavid Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Working Formal Methods Symposium, Sep 2019, Timisoara, Romania. pp. 32-47, ⟨10.4204/EPTCS.303.3⟩
hal-02153710v1  Conference papers
Emmanuelle PoulainGrégoire MalandainRégis Vaillant. 3D Coronary Vessel Tree Tracking in X-Ray Projections
FIMH 2019 - 10th Functional Imaging and Modeling of the Heart, Jun 2019, Bordeaux, France. pp.388-396, ⟨10.1007/978-3-319-59448-4_20⟩
hal-02312274v1  Conference papers
Mélanie CarrièreMélina SkourasStefanie Hahmann. 3D Design Of Ancient Garments
GCH 2019 - EUROGRAPHICS Workshop on Graphics and Cultural Heritage, Nov 2019, Sarajevo, Bosnia and Herzegovina. pp.73-77, ⟨10.2312/gch.20191351⟩
hal-02292436v1  Conference papers
Jérémy LacocheThierry DuvalBruno ArnaldiEric MaiselJérôme Royan. 3DPlasticToolkit: Plasticity for 3D User Interfaces
EuroVR 2019 - 16th EuroVR International Conference, Oct 2019, Tallinn, Estonia. pp.62-83, ⟨10.1007/978-3-030-31908-3_5⟩
hal-02366730v1  Conference papers
Michel BuffaJerome LebrunJohan PauwelsGuillaume Pellerin. A 2 Million Commercial Song Interactive Navigator
WAC 2019 - 5th WebAudio Conference 2019, Dec 2019, Trondheim, Norway
hal-02284965v1  Conference papers
Luan TeyloLúcia de A. DrummondLuciana ArantesPierre Sens. A Bag-of-Tasks Scheduler Tolerant to Temporal Failures in Clouds
SBAC-PAD 2019 - International Symposium on Computer Architecture and High Performance Computing, Oct 2019, Campo Grande, Brazil
hal-02064966v1  Conference papers
Salma Ben DhaouMouloud KharouneArnaud MartinBoutheina Yaghlane. A Belief Approach for Detecting Spammed Links in Social Networks
International Conference on Agents and Artificial Intelligence, Feb 2019, Prague, Czech Republic
hal-02163464v1  Conference papers
Imen Ben MohamedWalid KlibiRuslan SadykovHalil SenFrançois Vanderbeck. A Benders Approach for the Two-echelon Stochastic Multi-period Capacitated Location-Routing Problem
Roadef 2019 - 20ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2019, Le Havre, France
hal-02378977v1  Conference papers
Pedro LiguoriRidha MahjoubRuslan SadykovEduardo Uchoa. A Branch-Cut-and-Price Algorithm for the Location-Routing Problem
TRISTAN X - The Tenth Triennial Symposium on Transportation Analysis, Jun 2019, Hamilton Island, Australia
hal-02382711v1  Conference papers
Alexandre GonzalvezRonan Lashermes. A case against indirect jumps for secure programs
SSPREW-9 2019 - 9th Software Security, Protection, and Reverse Engineering Workshop, Dec 2019, San Juan, United States. pp.1-10
hal-02088913v1  Conference papers
Pierre PuchaudGeorges DumontNicolas BideauCharles Pontonnier. A case study with custom : a comparison of normal and altered gait with an ankle brace
ESB 2019 - 25th Congress of the European Society of Biomechanics, Jul 2019, Vienne, Austria. pp.1
hal-02088529v2  Conference papers
Florent BréhardAssia MahboubiDamien Pous. A certificate-based approach to formally verified approximations
ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
hal-02282591v2  Conference papers
Alejandro Gómez-BoixDavide FreyYérom-David BrombergBenoit Baudry. A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting
MTD 2019 - 6th ACM Workshop on Moving Target Defense, Nov 2019, London, United Kingdom. pp.1-12, ⟨10.1145/3338468.3356828⟩
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
hal-02272539v1  Conference papers
Quentin RoyCamelia ZakariaSimon PerraultMathieu NancelWonjung Kim et al.  A Comparative Study of Pointing Techniques for Eyewear Using a Simulated Pedestrian Environment
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.625-646, ⟨10.31219/⟩
hal-02270524v1  Conference papers
José Carlos Rosales NunezDjamé SeddahGuillaume Wisniewski. A Comparison between NMT and PBSMT Performance for Translating Noisy User-Generated Content
The 22nd Nordic Conference on Computational Linguistics (NoDaLiDa’19), Sep 2019, Turku, Finland
hal-02183760v1  Conference papers
Franco FuscoOlivier KermorgantPhilippe Martinet. A Comparison of Visual Servoing from Features Velocity and Acceleration Interaction Models
IROS 2019 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2019, Macau, China
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy
hal-02294272v1  Conference papers
Agustín Gabriel YaboBogdan RobuOlivier RichardBruno BzeznikEric Rutten. A control-theory approach for cluster autonomic management: maximizing usage while avoiding overload
CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications, Aug 2019, Hong Kong, China. pp.189-195
hal-02091672v1  Conference papers
R. BardenetPierre ChainaisJulien FlamantAdrien Hardy. A correspondence between zeros of time-frequency transforms and Gaussian analytic functions
13th International Conference on Sampling Theory and Applications, SampTA 2019, Aug 2019, Bordeaux, France
hal-02270539v1  Conference papers
Yann BusnelNoël Gillet. A Cost-effective and Lightweight Membership Assessment for Large-scale Data Stream
NCA 2019 : 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, Massachussets, United States. pp.1-8, ⟨10.1109/NCA.2019.8935048⟩
hal-02314418v1  Conference papers
Yosra MarnissiDany AbboudEmilie ChouzenouxJean-Christophe PesquetMohamed El-Badaoui et al.  A Data Augmentation Approach for Sampling Gaussian Models in High Dimension
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, La Corogne, Spain
emse-02070625v1  Conference papers
Andrei CiorteaSimon MayerFabien GandonOlivier BoissierAlessandro Ricci et al.  A Decade in Hindsight: The Missing Bridge Between Multi-Agent Systems and the World Wide Web
AAMAS 2019 - 18th International Conference on Autonomous Agents and Multiagent Systems, May 2019, Montréal, Canada. pp.5