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-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-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-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-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-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-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-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-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-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-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
hal-02424697v1  Conference papers
Cesar Augusto Valades CruzAlison ForresterChristian WunderCharles KervrannJean Salamero et al.  3D tracking of endocytic events using lattice light sheet microscopy
QBI 2019 - Quantitative BioImaging Conference, Jan 2019, Rennes, France
...
hal-01950650v1  Conference papers
André Chailloux. A note on the quantum query complexity of permutation symmetric functions
ITCS 2019 - 10th Annual Innovations in Theoretical Computer Science, Jan 2019, San Diego, United States. ⟨10.4230/LIPIcs.ITCS.2019.19⟩
...
hal-02395208v1  Conference papers
Tong LiuFranco CallegatiFranco CallegatiChiara ContoliMaurizio Gabbrielli et al.  Constraint programming for flexible Service Function Chaining deployment
HICS 2019 - 52nd Hawaii International Conference on System Sciences, Jan 2019, Maui, United States
hal-02425271v1  Conference papers
Ali MarandiTorsten BraunKavé SalamatianNikolaos Thomos. Pull-based Bloom Filter-based Routing for Information-Centric Networks
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-6, ⟨10.1109/CCNC.2019.8651713⟩
...
hal-01859695v1  Conference papers
Bruno DonassoloIlhem FajjariArnaud LegrandPanayotis Mertikopoulos. Fog Based Framework for IoT Service Provisioning
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-6, ⟨10.1109/CCNC.2019.8651835⟩
hal-02294729v1  Conference papers
Ruben MiloccoPaul MuhlethalerSelma Boumerdassi. Energy-efficient relay selection over fading channels
CCNC 2019 - 16th IEEE Annual Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-2, ⟨10.1109/CCNC.2019.8651688⟩
...
hal-02011454v1  Conference papers
Illyyne SaffarMarie-Line Alberi-MorelKamal SinghCésar Viho. Machine Learning with partially labeled Data for Indoor Outdoor Detection
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-7, ⟨10.1109/CCNC.2019.8651736⟩
...
hal-01894719v2  Conference papers
Ngurah Indra ErKamal SinghJean-Marie Bonnin. DC4LED: A Hierarchical VDTN Routing for Data Collection in Smart Cities
CCNC 2019 - 16th IEEE Consumer Communications and Networking Conference, Jan 2019, Las Vegas, United States. pp.883-886, ⟨10.1109/CCNC.2019.8651757⟩
...
hal-01933972v1  Conference papers
Jack HodgkissSoufiene DjahelYassine Hadjadj-Aoul. An Advanced Coordination Protocol for Safer and more Efficient Lane Change for Connected and Autonomous Vehicles
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC.2019.8651668⟩
...
hal-01933973v1  Conference papers
Hamza Ben AmmarYassine Hadjadj-AoulSoraya Aït-Chellouche. Efficiently allocating distributed caching resources in future smart networks
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC.2019.8651854⟩
hal-01954122v1  Conference papers
Paul CoudercYoann Maurel. Location corroboration using passive observations of IEEE 802.11 Access Points
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-7, ⟨10.1109/CCNC.2019.8651873⟩
...
hal-02396553v1  Conference papers
Cléo DerooAngélique MontuwyBéatrice DegraeveJean-Michel AuberletAnne-Hélène Olivier et al.  Pedestrian collision avoidance on narrow sidewalk:a meeting between psychology and virtual reality
TRB 2019 - Annual Meeting on Transportation Research Board, Jan 2019, Washington, United States
...
hal-01948466v1  Conference papers
Stéphane MollierMaria Laura Delle MonacheCarlos Canudas de Wit. A step towards a multidirectional 2D model for large scale traffic networks
TRB 2019 - 98th Annual Meeting Transportation Research Board, Jan 2019, Washington, DC, United States. pp.1-7
...
hal-01955773v1  Conference papers
Sandrine BlazyRémi Hutin. Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions
CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. pp.196-208, ⟨10.1145/3293880.3294103⟩
...
hal-01939659v1  Conference papers
Clément BallabrigaJulien ForgetLaure GonnordGiuseppe LipariJordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
...
hal-01940174v1  Conference papers
Stefan HaarJuraj KolčákLoïc Paulevé. Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩
...
hal-02368946v1  Conference papers
Kaustuv ChaudhuriMatteo ManighettiDale Miller. A Proof-Theoretic Approach to Certifying Skolemization
CPP 2019 - 8th ACM SIGPLAN International Conference, Jan 2019, Cascais, Portugal. pp.78-90, ⟨10.1145/3293880.3294094⟩
...
hal-01937136v1  Conference papers
Jasmin Christian Blanchette. Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk)
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294087⟩
...
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩
hal-02427235v1  Conference papers
André Chailloux. A note on the Quantum Query Complexity of Permutation Symmetric Functions
QIP 2019 - 22nd Annual Conference on Quantum Information Processing, Jan 2019, Boulder, United States
...
hal-01849166v3  Conference papers
Théo WinterhalterMatthieu SozeauNicolas Tabareau. Eliminating Reflection from Type Theory
CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.91-103, ⟨10.1145/3293880.3294095⟩
...
hal-02333390v1  Conference papers
Yannick ForsterDominique Larchey-Wendling. Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines
The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Jan 2019, Cascais, Portugal. pp.104-117, ⟨10.1145/3293880.3294096⟩
...
hal-02050930v1  Conference papers
Jérôme GurhemMiwako TsujiSerge PetitonMitsuhisa Sato. Distributed and Parallel Programming Paradigms on the K computer and a Cluster
HPCAsia 2019 International Conference on High Performance Computing in Asia-Pacific Region, Jan 2019, Guangzhou, China. pp.9-17, ⟨10.1145/3293320.3293330⟩
hal-02161692v1  Conference papers
Pamela MoceriNicolas DuchateauDelphine BaudouyCéline SanfiorenzoFabien Squara et al.  Incremental prognostic value of changes in 3D right ventricular function in pulmonary hypertension
JE SFC 2019 - 29es Journées Européennes de la Société Française de Cardiologie, Jan 2019, Paris, France
hal-02161694v1  Conference papers
Pamela MoceriNicolas DuchateauDelphine BaudouyFabien SquaraEmile Ferrari et al.  3D right ventricular strain and shape in volume overload: comparative analysis of Tetralogy of Fallot and atrial septal defect patients
JE SFC 2019 - 29es Journées Européennes de la Société Française de Cardiologie, Jan 2019, Paris, France
...
hal-02099607v1  Conference papers
Nyoman JuniartaMiguel CouceiroAmedeo Napoli. Application des Pattern Structures à la découverte de biclusters à changements de signes cohérents
EGC 2019 - 19ème Conférence francophone sur Extraction et Gestion des connaissances, Jan 2019, Metz, France. pp.285-290
...
hal-02281775v1  Conference papers
Sébastien Ferré. Prédiction de liens dans les graphes de connaissances avec les concepts de plus proches voisins
Extraction et Gestion des Connaissances, Jan 2019, Metz, France
...
hal-01986366v1  Conference papers
Pedro Henrique PennaMatheus SouzaEmmanuel JuniorJoão SoutoMárcio Castro et al.  RMem: An OS Service for Transparent Remote Memory Access in Lightweight Manycores
MultiProg 2019 - 25th International Workshop on Programmability and Architectures for Heterogeneous Multicores, Jan 2019, Valencia, Spain. pp.1-16
...
hal-02019035v1  Conference papers
Lucas FoulonChristophe RigottiSerge FenetDenis Jouvin. Approximation du score CFOF de détection d’anomalie dans un arbre d’indexation iSAX : Application au contexte SI de la SNCF
EGC 2019 - 19ème Conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2019, Metz, France. pp.1-12
hal-01999965v1  Conference papers
Pierre-François MarteauNicolas BéchetOussama Ahmia. Similarité par recouvrement de séquences pour la fouille de données séquentielles et textuelles
Extraction et Gestion des Connaissances (EGC 2019), Jan 2019, Metz, France. pp.105-116
...
hal-02099532v1  Conference papers
Kevin DalleauMiguel CouceiroMalika Smaïl-Tabbone. Les forêts d'arbres extrêmement aléatoires : utilisation dans un cadre non supervisé
EGC 2019 - 19ème Conférence Francophone sur l'Extraction et Gestion des connaissances, Jan 2019, Metz, France. pp.395-400
hal-03180098v1  Conference papers
Jean-Charles Lamirel. Analyse diachronique des données textuelles : mise en comparaison des méthodes LDA et des méthodes basées sur le clustering et les graphes de contraste
EGC-GAST Workshop 19eme Conference Francophone sur l'extraction et la gestion des connaissances, Jan 2019, Metz, France
...
hal-02023805v1  Conference papers
Amir CharifGabriel BusnotRania MameeshTanguy SassolasNicolas Ventroux. Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration
RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2019, Valence, Spain. pp.1-8, ⟨10.1145/3300189.3300192⟩
...
hal-02397043v1  Conference papers
Tomofumi Yuki. The Limit of Polynomials: Implications of Handelman’s Theorem for Exploring Schedules
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, Jan 2019, Valencia, Spain. pp.1-8
...
hal-02059558v1  Conference papers
Salwa KobeissiPhilippe Clauss. The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
...
hal-01934916v1  Conference papers
Alvaro CorreiaFreddy Lecue. Human-in-the-Loop Feature Selection
AAAI 2019 Conference - 33th Association for the Advancement of Artificial Intelligence, Jan 2019, Honolulu, United States
...
hal-02002462v1  Conference papers
Emilio CrucianiEmanuele NataleGiacomo Scornavacca. Distributed Community Detection via Metastability of the 2-Choices Dynamics
AAAI 2019 - 33th AAAI Conference Association for the Advancement of Artificial Intelligence, Jan 2019, Honolulu, United States