Semantic search
- Publication Effective Reductions of Mealy Machines in Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22) — 26 April 2022
- Publication Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication Efficient Dynamic Type Checking of Heterogeneous Sequences — 22 February 2016
- Publication Efficient Multiscale Sauvola's Binarization in International Journal of Document Analysis and Recognition (IJDAR) — 25 April 2013
- Publication Electricity Price Forecasting on the Day-Ahead Market using Machine Learning in Applied Energy — 10 March 2022
- Publication Energy Problems in Finite and Timed Automata with Büchi Conditions in International Symposium on Formal Methods (FM) — 8 December 2022
- Publication Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids in Journal of Mathematical Imaging and Vision — 3 September 2020
- Publication Error correcting code performance for watermark protection in Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27) — 1 January 2001
- Publication Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur in Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA) — 1 July 2014
- Publication Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) — 22 November 2016
- Publication Estimating the noise level function with the tree of shapes and non-parametric statistics in Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) — 7 June 2019
- Publication Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique in 28e Colloque sur le traitement du signal et des images — 15 June 2022
- Publication Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) — 14 June 2019
- Publication Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics in Proceedings of the 26th International Conference on Pattern Recognition — 8 April 2022
- Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at MeFoSyLoMa — 7 December 2012
- Publication Euler Well-Composedness in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 — 21 July 2020
- Publication Evaluating complex MAC protocols for sensor networks with APMC in Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) — 27 July 2006
- Publication Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks in Complex Network 2021 — 1 October 2021
- Publication Exact optimization of discrete constrained total variation minimization problems in Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) — 1 September 2004
- Publication Exact optimization of discrete constrained total variation minimization problems — 1 October 2004
- Publication Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) in Label-free Biomedical Imaging and Sensing (LBIS) 2020 — 1 January 2020
- Publication Explicit State Model Checking with Generalized Büchi and Rabin Automata in Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17) — 22 May 2017
- Publication Expression templates in Ada 95 in Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) — 1 May 2001
- Publication Extending Testing Automata to All LTL in Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) — 19 May 2015
- Publication Extensible languages: blurring the distinction between DSLs and GPLs in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments — 1 September 2012
- Publication Extraction of Ancient Map Contents Using Trees of Connected Components in Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC) — 20 October 2017
- Publication FOANet: A Focus of Attention Network with Application to Myocardium Segmentation in Proceedings of the 25th International Conference on Pattern Recognition (ICPR) — 2 November 2020
- Publication Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF in Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) — 31 January 2003
- Publication Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials in SIAM Conference on Imaging Sciences — 22 February 2006
- Publication Fast color image segmentation based on levellings in feature Space in Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 — 11 August 2004
- Publication Fast road network extraction in satellite images using mathematical morphology and Markov random fields in EURASIP Journal on Applied Signal Processing — 5 September 2004
- Publication Featured Games in Science of Computer Programming — 1 November 2022
- FiNK 2.0 is released — 12 June 2007
- FiNK 2.1 is released — 14 November 2007
- FiNK 2.1.1 is released — 27 February 2008
- FiXme 3.0 is released — 22 December 2004
- FiXme 3.1 is released — 31 January 2005
- FiXme 3.2 is released — 12 April 2006
- FiXme 3.3 is released — 28 November 2007
- FiXme 3.4 is released — 16 July 2009
- Fifth Stratego Users Days — 1 March 2004
A part of the Transformers's team went to
- Publication Filtres connexes multivariés par fusion d'arbres de composantes in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) — 14 June 2019
- Publication Finding Maximal Common Joins in a DAG — 17 November 2016
- Publication Finite Automata Theory Based Optimization of Conditional Variable Binding in European Lisp Symposium — 14 January 2019
- Publication First Attempt at Boltzmann Machines for Speaker Recognition in Odyssey Speaker and Language Recognition Workshop — 1 June 2012
- Publication Forecasting Electricity Prices: An Optimize Then Predict-Based Approach in Advances in Intelligent Data Analysis XXI — 10 April 2023
- Publication From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning in Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) — 12 June 2017
- Publication From Spot 2.0 to Spot 2.10: What's New? in Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) — 6 June 2022
- Publication From text detection to text segmentation: a unified evaluation scheme in Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) — 1 October 2016
- Publication Front-End Factor Analysis For Speaker Verification in IEEE Transactions on Audio, Speech, and Language Processing — 1 May 2011