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⟩
hal-02021315v1  Conference papers
Amina DoumaneDenis KuperbergDamien PousPierre Pradic. Kleene Algebra with Hypotheses
22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2019, Prague, Czech Republic
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-02278171v1  Conference papers
Antoine MahéAntoine RichardBenjamin MouscadetCedric PradalierMatthieu Geist. Importance Sampling for Deep System Identification
19th International Conference on Advanced Robotics (ICAR), 2019, Belo Horizonte, Brazil. ⟨10.1109/ICAR46387.2019.8981590⟩
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-03180526v1  Conference papers
Jean-Charles Lamirel. Basic approaches for text classification
DUT Invited International Seminar, 2019, Dalian, China
hal-03180533v1  Conference papers
Jean-Charles Lamirel. Deep learning methods for text classification
DUT Invited International Seminar, 2019, Dalian, China
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-01929224v1  Conference papers
Etienne MauffretDenis JeanneauLuciana ArantesPierre Sens. The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment
20th International Conference on Distributed Computing and Networking (ICDCN 2019), Jan 2019, Bangalore, India. ⟨10.1145/3288599.3288608⟩
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-01294013v3  Conference papers
Romain AzaïsJean-Baptiste DurandChristophe Godin. Approximation of trees by self-nested trees
ALENEX 2019 - Algorithm Engineering and Experiments, Jan 2019, San Diego, United States. pp.39-53, ⟨10.1137/1.9781611975499.4⟩
hal-01767317v2  Conference papers
Swapnil Dhamal. An Integrated Framework for Competitive Multi-channel Marketing of Multi-featured Products
COMSNETS 2019 - 11th International Conference on Communication Systems & Networks, Jan 2019, Bangalore, India. pp.391-394
hal-01896061v1  Conference papers
Srijan DasMonique ThonnatKaustubh SakhalkarMichał KoperskiFrancois Bremond et al.  A New Hybrid Architecture for Human Activity Recognition from RGB-D videos
MMM 2019 - 25th International Conference on MultiMedia Modeling, Jan 2019, Thessaloniki, Greece. pp.493-505, ⟨10.1007/978-3-030-05716-9_40⟩
hal-01947523v1  Conference papers
Furqan KhanFrancois Bremond. Cross domain Residual Transfer Learning for Person Re-identification
WACV 2019 - IEEE’s and the PAMI-TC’s premier meeting on applications of computer vision, Jan 2019, Waikoloa Village, Hawaii, United States
hal-01946489v1  Conference papers
Hafiz Muhamad AmjadLoïc Besnard. Verilog Code Generation Scheme from Signal Language
IBCAST 2019 - 16th International Bhurban Conference on Applied Sciences and Technology, Jan 2019, Islamabad, Pakistan. pp.457-462, ⟨10.1109/IBCAST.2019.8667266⟩
hal-01927432v1  Conference papers
Srijan DasArpit ChaudharyFrancois BremondMonique Thonnat. Where to Focus on for Human Action Recognition?
WACV 2019 - IEEE Winter Conference on Applications of Computer Vision, Jan 2019, Waikoloa Village, Hawaii, United States. pp.1-10
hal-02106893v1  Conference papers
Snorri GíslasonBjörn Þór JónssonLaurent Amsaleg. Integration of Exploration and Search: A Case Study of the $M^3$ Model
MMM 2019 - 25th International Conference on MultiMedia Modeling, Jan 2019, Thessaloniki, Greece. pp.156-168, ⟨10.1007/978-3-030-05710-7_13⟩
hal-02400010v1  Conference papers
Franco CallegatiMaurizio GabbrielliSaverio GiallorenzoAndréa MelisMarco Prandini. Federated Platooning: Insider Threats and Mitigations
HICSS - 52nd Hawaii International Conference on System Sciences, Jan 2019, Grand Wailea, Maui, Hawaii, USA,, United States. ⟨10.24251/HICSS.2019.389⟩
hal-02424696v1  Conference papers
Emmanuel MoebelCharles Kervrann. 3D ConvNets improve macromolecule localization in 3D cellular cryo-electron tomograms
Quantitative BioImaging (QBI) Conference, Jan 2019, Rennes, France