Skip to Main content Skip to Navigation


...
hal-01892944v2  Conference papers
Nicolas PassatY. KenmochiPhuc NgoKacper Pluta. Rigid motions in the cubic grid: A discussion on topological issues
Discrete Geometry for Computer Imagery (DGCI), 2019, Marne-la-Vallée, France. pp.127-140, ⟨10.1007/978-3-030-14085-4_11⟩
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-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-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-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-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-03180526v1  Conference papers
Jean-Charles Lamirel. Basic approaches for text classification
DUT Invited International Seminar, 2019, Dalian, China
hal-03180510v1  Conference papers
Jean-Charles Lamirel. Use of data mining and big data management in library science: new challenging approaches
DELNET (Developing Library Network) Invited Conference, 2019, Delhi, India
hal-03180533v1  Conference papers
Jean-Charles Lamirel. Deep learning methods for text classification
DUT Invited International Seminar, 2019, Dalian, China
...
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-02343884v1  Conference papers
Ahmed Samy NassarSébastien LefèvreJan D. Wegner. Simultaneous multi-view instance detection with learned geometric soft-constraints
Internationcal Conference on Computer Vision (ICCV), 2019, Seoul, South Korea
...
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-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