Skip to Main content Skip to Navigation

hal-02042559v1  Conference papers
Romain BelmontePierre TirillyIoan Marius BilascoChaabane DjerabaNacim Ihaddadene. Video-based Face Alignment with Local Motion Modeling
IEEE Winter Conf. on Applications of Computer Vision, 2019, Hawaii, United States
hal-02982509v1  Conference papers
Didier GalmicheMichel MartiDaniel Méry. Relating Labelled and Label-Free Bunched Calculi in BI Logic
28th International Conference on Automated Reasoning with Anamytic Tableaux and Related Methods, TABLEAUX 2019, 2019, Londres, United Kingdom. pp.130-146
hal-02986801v1  Conference papers
Didier GalmicheMichel MartiDaniel Méry. From Bunches to Labels and Back in BI Logic
Int. Workshop Syntax meets Semantics, SYSMICS 2019, 2019, Amsterdam, Netherlands
hal-02066930v1  Conference papers
Véronique CortierPierrick GaudryStéphane Glondu. Belenios: a simple private and verifiable electronic voting system
Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩
hal-02513295v1  Conference papers
Maël GuillemeSimon MalinowskiRomain TavenardXavier Renard. Localized Random Shapelets
International Workshop on Advanced Analysis and Learning on Temporal Data, 2019, Wurzburg, Germany. pp.85-97, ⟨10.1007/978-3-030-39098-3_7⟩
hal-02406673v1  Conference papers
Christoph Weidenbach. The Challenge of Unifying Semantic and Syntactic Inference Restrictions
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
hal-02406605v1  Conference papers
Andreas TeuckeMarco VoigtChristoph Weidenbach. On the Expressivity and Applicability of Model Representation Formalisms
FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, 2019, London, United Kingdom. pp.22-39, ⟨10.1007/978-3-030-29007-8_2⟩
hal-02405550v1  Conference papers
Alberto FioriChristoph Weidenbach. SCL: Clause Learning from Simple Models
27th International Conference on Automated Deduction, 2019, Natal, Brazil. pp.233-249, ⟨10.1007/978-3-030-29436-6_14⟩
hal-02084619v1  Conference papers
Eloïse DalinPierre DesreumauxJean-Baptiste Mouret. Learning and adapting quadruped gaits with the "Intelligent Trial & Error" algorithm
IEEE ICRA Workshop on "Learning legged locomotion", 2019, Montreal, Canada
hal-02307142v1  Conference papers
Olivier BlazyAngèle BossuatXavier BultelPierre-Alain FouqueCristina Onete et al.  SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting
IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019, 2019, Stockholm, Sweden. pp.294--309, ⟨10.1109/EuroSP.2019.00030⟩
hal-01964514v1  Conference papers
Xavier BultelPascal LafourcadeRussell LaiGiulio MalavoltaDominique Schröder et al.  Efficient Invisible and Unlinkable Sanitizable Signatures
International Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China
hal-02293239v1  Conference papers
Edouard PineauSebastien RazakarivonyThomas Bonald. Seq2VAR: multivariate time series representation with relational neural networks and linear autoregressive model
AALTD workshop, ECML/PKDD : 4th Workshop on Advanced Analytics and Learning on Temporal Data, 2019, Wurzburg, Germany
hal-02343965v1  Conference papers
Caglayan TunaFrançois MerciolSébastien Lefèvre. Attribute profiles for satellite image time series
IEEE International Geosciences and Remote Sensing Symposium (IGARSS), 2019, Yokohama, Japan
hal-02343921v1  Conference papers
Roberto GiudiciLuc CourtraiSébastien Lefèvre. Mosaicing Fidelity Geometrical Assessment Based on SURF Point Classification
ISPRS International Workshop on Unmanned Aerial Vehicles in Geomatics (UAV-g), 2019, Enschede, Netherlands. pp.309-315, ⟨10.5194/isprs-archives-XLII-2-W13-309-2019⟩
hal-02343897v1  Conference papers
Roberto GiudiciLuc CourtraiSébastien Lefèvre. An Advanced Benchmarking for Image Compositing Evaluation
ISPRS International Workshop on Unmanned Aerial Vehicles in Geomatics (UAV-g), 2019, Enschede, Netherlands. pp.303-308, ⟨10.5194/isprs-archives-XLII-2-W13-303-2019⟩
hal-02343963v1  Conference papers
Florent GuiotteSébastien LefèvreThomas Corpetti. Voxel-based attribute profiles on lidar data for land cover mapping
IEEE International Geosciences and Remote Sensing Symposium (IGARSS), 2019, Yokohama, Japan
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⟩