104823 results  save search

hal-02422019v1  Book sections
François Chaumette. Robot Visual Control
J. Baillieul; T. Samad. Encyclopedia of Systems and Control, 2nd edition, Springer London, 2020, ⟨10.1007/978-1-4471-5102-9_170-2⟩
hal-02425000v1  Conference papers
Ferdinand Sibleyras. Low-Memory Attacks Against Two-Round Even-Mansour Using the 3-XOR Problem
Invited talk at NTT Secure Platform Laboratories, Sep 2020, Musashino, Japan
hal-02282908v1  Book sections
Igor RyadchikovSemyon SechenevNikita MikhalkovAndrey BiryukAlexander Svidlov et al.  Feedback Control with Equilibrium Revision for CMG-Actuated Inverted Pendulum
Proceedings of 14th International Conference on Electromechanics and Robotics "Zavalishin's Readings", pp.431-440, 2020, ⟨10.1007/978-981-13-9267-2_35⟩
hal-02086856v2  Conference papers
Benjamin GuedjJuliette Rengot. Non-linear aggregation of filters to improve image denoising
Computing Conference 2020, Jul 2020, London, United Kingdom
hal-02394619v1  Journal articles
Guillaume CelosiaMathieu Cunche. Discontinued Privacy: Personal Data Leaks in Apple Bluetooth-Low-Energy Continuity Protocols
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2020, 2020, pp.26 - 46. ⟨10.2478/popets-2020-0003⟩
hal-02164770v1  Book sections
Jean-Baptiste BarreauEmmanuel LanoëRonan Gaugne. 3D Sketching of the Fortified Entrance of the Citadel of Aleppo from a Few Sightseeing Photos
Horst Kremers. Digital Cultural Heritage, Springer International Publishing, pp.359-371, 2020, 978-3-030-15200-0. ⟨10.1007/978-3-030-15200-0_24⟩
hal-02304806v1  Book sections
Nicolas DupinFrank NielsenEl-Ghazali Talbi. K-Medoids Clustering Is Solvable in Polynomial Time for a 2d Pareto Front
Springer. Optimization of Complex Systems: Theory, Models, Algorithms and Applications, pp.790-799, 2020, ⟨10.1007/978-3-030-21803-4_79⟩
hal-01673025v4  Conference papers
Louis JachietPierre GenevèsNils GesbertNabil Layaïda. On the Optimization of Recursive Relational Queries: Application to Graph Queries
SIGMOD 2020 - ACM International Conference on Management of Data, Jun 2020, Portland, United States. pp.1-23
hal-02440520v1  Conference papers
Julien Girard-SatabinGuillaume CharpiatZakaria ChihaniMarc Schoenauer. CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
European Conference on Artificial Intelligence, Jun 2020, Santiago de Compostela, Spain
hal-02430485v1  Conference papers
Giovanni NegliaChuan XuDon TowsleyGianmarco Calbi. Decentralized gradient methods: does topology matter?
The 23rd International Conference on Artificial Intelligence and Statistics (AISTATS 2020), Jun 2020, Palermo, Italy
hal-02402957v1  Journal articles
Daian YueVania JoloboffFrédéric Mallet. TRAP: trace runtime analysis of properties
Frontiers of Computer Science, Springer Verlag, 2020, 14 (3), ⟨10.1007/s11704-018-7217-7⟩
hal-02431810v1  Conference papers
Lionel Eyraud-DuboisSuraj Kumar. Analysis of a List Scheduling Algorithm for Task Graphs on Two Types of Resources
IPDPS 2020 - 34th IEEE International Parallel and Distributed Procesing Symposium, May 2020, New Orleans, United States
hal-02380446v1  Conference papers
Giuseppe Antonio Di LunaEmmanuelle AnceaumeLeonardo Querzoni. Byzantine Generalized Lattice Agreement
IPDPS 2020 - 34th IEEE International Parallel and Distributed Processing Symposium, IEEE, May 2020, New Orleans, Louisiana, United States. pp.1-21
hal-02120117v1  Book sections
Jérémy FixHervé Frezza-Buet. Look and Feel What and How Recurrent Self-Organizing Maps Learn
Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization, WSOM 19, 976, pp.3-12, 2020, Advances in Intelligent Systems and Computing, 978-3-030-19641-7. ⟨10.1007/978-3-030-19642-4_1⟩
hal-02433541v1  Conference papers
Pierluigi CrescenziPierre FraigniaudAmi Paz. Simple and Fast Distributed Computation of Betweenness Centrality
IEEE INFOCOM 2020 - International Conference on Computer Communications, Apr 2020, Pekin, China
hal-02396406v1  Conference papers
Rafael AlmeidaÍtalo CunhaRenata TeixeiraDarryl VeitchChristophe Diot. Classification of Load Balancing in the Internet
IEEE INFOCOM 2020 - International Conference on Computer Communications, Apr 2020, Beijing, China
hal-02411268v1  Conference papers
Michele GarettoEmilio LeonardiGiovanni Neglia. Similarity Caching: Theory and Algorithms
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications, Apr 2020, Beijing, China
hal-02370003v1  Conference papers
Chris ReinkeMayalen EtcheverryPierre-Yves Oudeyer. Intrinsically Motivated Discovery of Diverse Patterns in Self-Organizing Systems
International Conference on Learning Representations (ICLR), Apr 2020, Addis Ababa, Ethiopia
hal-02424317v1  Conference papers
Sreeja NairGustavo PetriMarc Shapiro. Proving the safety of highly-available distributed objects
ESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
hal-02442690v1  Conference papers
Xiyao WangLonni BesançonDavid RousseauMickael SerenoMehdi Ammi et al.  Towards an Understanding of Augmented Reality Extensions for Existing 3D Data Analysis Tools
ACM Conference on Human Factors in Computing Systems, Apr 2020, Honolulu, United States. ⟨10.1145/3313831.3376657⟩
hal-02402986v1  Conference papers
Adrien HemmerRemi BadonnelIsabelle Chrisment. A Process Mining Approach for Supporting IoT Predictive Security
Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
hal-02403379v1  Conference papers
Zakaria OurnaniMohammed Chakib BelgaidRomain RouvoyPierre RustJoël Penhoat et al.  Taming Energy Consumption Variations in Systems Benchmarking
International Conference on Performance Engineering (ICPE), Apr 2020, Edmonton, Canada