Semantic search
- Publication LTL Model Checking with Neco in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) — 15 June 2013
- Publication LTL Translation Improvements in Spot in Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) — 25 July 2011
- Publication LTL Translation Improvements in Spot 1.0 in International Journal on Critical Computer-Based Systems — 6 March 2014
- Publication LTL under reductions with weaker conditions than stutter invariance in Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22) — 18 April 2022
- Publication La pseudo-distance du dahu in Actes d'ORASIS — 21 March 2017
- Publication Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning in Proc. Interspeech 2022 — 28 August 2022
- Publication Language Recognition via I-Vectors and Dimensionality Reduction in INTERSPEECH 2011 — 1 August 2011
- Publication Learning Diversity Attributes in Multi-Session Recommendations in 2022 IEEE International Conference on Big Data (Big Data) — 12 December 2022
- Publication Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) — 24 January 2020
- Publication Learning Grayscale Mathematical Morphology with Smooth Morphological Layers in Journal of Mathematical Imaging and Vision — 4 April 2022
- Publication Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks in Proceedings of the 29th European Signal Processing Conference (EUSIPCO) — 4 May 2021
- Publication Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning in Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI — 25 October 2018
- Publication Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification in Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) — 27 August 2007
- Publication Lisp, Jazz, Aikido in The Art, Science and Engineering of Programming Journal — 5 February 2018
- Publication Local Intensity Order Transformation for Robust Curvilinear Object Segmentation in IEEE Transactions on Image Processing — 22 March 2022
- Publication Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation in Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) — 15 February 2007
- Publication MITLL 2012 Speaker Recognition Evaluation System Description in NIST Speaker Recognition Evaluation — 1 December 2012
- Publication MToS: A Tree of Shapes for Multivariate Images in IEEE Transactions on Image Processing — 26 October 2015
- Main.AkimDemaille replaces Main.ThierryGeraud at the head of the lab — 3 March 2003
- Publication Making Compiler Construction Projects Relevant to Core Curriculums in Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) — 6 February 2005
- Publication Manipulating LTL formulas using Spot 1.0 in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) — 15 June 2013
- Publication Max-Tree Computation on GPUs in IEEE Transactions on Parallel and Distributed Systems — 9 March 2022
- Publication Meaningful disjoint level lines selection in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
- Publication Mechanizing the Minimization of Deterministic Generalized Büchi Automata in Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) — 21 March 2014
- Publication Metagene, a C++ meta-program generation tool in Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP) — 25 May 2004
- Publication Method Combinators in 11th European Lisp Symposium — 25 March 2018
- Publication Methods for Explaining Top-N Recommendations Through Subgroup Discovery in Data Mining and Knowledge Discovery — 10 December 2022
- Mical 0.1 is released — 10 July 2003
- Publication Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) — 9 April 2009
- Publication Model Checking using Generalized Testing Automata in Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) — 1 January 2012
- Publication Model checking with generalized Rabin and Fin-less automata in International Journal on Software Tools for Technology Transfer — 1 April 2019
- Publication Modeling of Sensor Networks Using XRM in Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) — 14 September 2006
- Publication Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) — 22 March 2023
- Publication Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) — 13 February 2019
- Publication Monads in Common Lisp — 18 November 2016
- Publication Morphological Analysis of Brownian Motion for Physical Measurements in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
- Publication Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations in Proceedings of the 21st International Conference on Pattern Recognition (ICPR) — 16 June 2012
- Publication Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
- Publication Morphological Object Picking Based on the Color Tree of Shapes in Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) — 29 June 2015
- Publication Morphologie et algorithmes in Morphologie mathématique 2 : estimation, choix et mise en œuvre — 1 September 2010
- Publication Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images in Proceedings of the 23st International Conference on Pattern Recognition (ICPR) — 13 July 2016
- Publication Motion Compensation in Digital Holography for Retinal Imaging in Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) — 19 December 2018
- Publication Motion compensation based on Tangent Distance prediction for video compression in Signal Processing: Image Communication — 9 February 2012
- Publication Multi-band segmentation using morphological clustering and fusion application to color image segmentation in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 10 April 2003
- Publication Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems — 1 October 2022
- Publication New Security Protocols for Offline Point-of-Sale Machines in 36th International Conference on Advanced Information Networking and Applications (AINA) — 1 January 2022
- New online demo of page segmentation and reconstruction — 5 January 2011
Online demo of page segmentation and reconstruction. Convert a document image to PDF and HTML.
- The LRE hosts a new PhD student, Théo Lepage, who joins the Artificial Intelligence group. — 2 November 2022
After obtaining EPITA's engineering degree from the IMAGE and RDI double major, Théo joins the LRE to complete his PhD. He will focus on improving the robustness of representations used by speaker and language recognition systems while considering the growing risk of spoofing attacks.
- Now online: Talk of CSI student Raphaël Boissel on Reducing the resource consumption of a complex image processing chain — 10 September 2013
- LRDE Seminar on Performance and Genericity — GNU epsilon, un langage de programmation extensible by Luca Saiu — 9 October 2013