Property

News date

From LRDE

This is a property of type Date.

previous 5002050100250500next 500
Showing 500 pages using this property.
(
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity +
July 10, 2020  +
1
10 years of confrontation between French Internet users and their successive governments +
June 1, 2007  +
A
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D +
July 21, 2020  +
A Benchmark of Named Entity Recognition Approaches in Historical Documents +
April 7, 2022  +
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI +
May 20, 2016  +
A Channel-Blind System for Speaker Verification +
May 1, 2011  +
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation +
April 7, 2015  +
A Comparative Review of Component Tree Computation Algorithms +
June 16, 2014  +
A Corpus Processing and Analysis Pipeline for Quickref +
May 1, 2021  +
A Fast and Exact Algorithm for Total Variation Minimization +
January 18, 2005  +
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images +
May 26, 2014  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers +
June 1, 2018  +
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging +
November 10, 2020  +
A Kleene Theorem for Higher-Dimensional Automata +
September 6, 2022  +
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers +
December 31, 2020  +
A Modern C++ Point of View of Programming in Image Processing +
October 10, 2022  +
A Morphological Method for Music Score Staff Removal +
June 3, 2014  +
A Morphological Tree of Shapes for Color Images +
April 2, 2014  +
A Myhill-Nerode Theorem for Higher-Dimensional Automata +
March 5, 2023  +
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation +
March 2, 2021  +
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
June 2, 2020  +
A Note on the Discrete Binary Mumford-Shah Model +
December 29, 2006  +
A Portable, Simple, Embeddable Type System +
April 26, 2021  +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +
March 14, 2013  +
A Secure Blockchain-Based Architecture for the COVID-19 Data Network +
October 1, 2021  +
A Self-Adaptive Likelihood Function for Tracking with Particle Filter +
March 1, 2015  +
A Set of Tools to Teach Compiler Construction +
March 29, 2008  +
A Study of Well-Composedness in n-D +
December 1, 2016  +
A Survey of French Local e-Democracy +
July 1, 2008  +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
August 28, 2018  +
A Tree of Shapes for Multivariate Images +
November 1, 2015  +
A Tutorial on Well-Composedness +
October 12, 2017  +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
February 7, 2020  +
A Type System for Weighted Automata and Rational Expressions +
May 20, 2014  +
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization +
August 20, 2005  +
A blockchain-based certificate revocation management and status verification system +
January 1, 2021  +
A comparison of many max-tree computation algorithms +
March 14, 2013  +
A fast and exact algorithm for total variation minimization +
January 1, 2005  +
A first step toward a fair comparison of evaluation protocols for text detection algorithms +
February 2, 2018  +
A framework to dynamically manage distributed virtual environments +
July 1, 2000  +
A more public development scheme! (2004-06-15) +
June 15, 2004  +
A new LRDE permanent member: Sylvain Peyronnet (2004-09-07) +
September 7, 2004  +
A new intern joins the LRDE: Théophile Ranquet (2012-09-10) +
September 10, 2012  +
A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
September 1, 2006  +
A novel method to fight the non line of sight error in AOA measurements for mobile location +
June 1, 2004  +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
May 26, 2014  +
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +
October 29, 2003  +
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy +
January 1, 2020  +
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
December 17, 2021  +
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains +
January 1, 2006  +
Action recognition: how intelligent virtual environments can ease human-machine interaction +
October 1, 2000  +
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis +
November 8, 2017  +
Alexandre Duret-Lutz invited to ETHZ Zurich (2010-01-25) +
January 25, 2010  +
Alexandre Duret-Lutz invited to give a talk at Faculty of Informatics, Masaryk University, Czech Republic (2012-12-03) +
December 3, 2012  +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +
May 11, 2007  +
Algorithms for Mathematical Morphology +
July 1, 2010  +
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings +
August 9, 2006  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D +
March 13, 2019  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D +
March 2, 2021  +
An Experience Report on the Optimization of the Product Configuration System of Renault +
April 3, 2023  +
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming +
October 25, 2018  +
An Innovative and Decentralized Identity Framework Based on Blockchain Technology +
April 1, 2021  +
An XML format proposal for the description of weighted automata, transducers, and regular expressions +
July 28, 2008  +
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments +
June 1, 2000  +
An efficient algorithm for attribute openings and closings +
April 14, 2005  +
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
February 2, 2017  +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks +
January 1, 2022  +
Applying generic programming to image processing +
February 1, 2001  +
Approaches in Typecase Optimization +
April 5, 2018  +
Approximate Nash Equilibria for Multi-Player Games +
January 18, 2008  +
Approximate Probabilistic Model Checking for Programs +
July 27, 2006  +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information +
January 1, 1999  +
Attribute Grammars for Modular Disambiguation +
July 12, 2006  +
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +
June 29, 2017  +
Automatically Guided Selection of a Set of Underwater Calibration Images +
January 1, 2022  +
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
January 1, 2021  +
B
Beating C in Scientific Computing Applications +
July 11, 2006  +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge +
April 11, 2019  +
Benchmarking Keypoint Filtering Approaches for Document Image Matching +
July 4, 2017  +
Binary Methods Programming: the CLOS Perspective +
March 31, 2009  +
Binary Methods Programming: the CLOS Perspective (extended version) +
January 1, 2008  +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
January 1, 2011  +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
January 1, 2021  +
BoxedSdf 0.1 is released (2003-06-18) +
June 18, 2003  +
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +
July 1, 2019  +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
January 1, 2009  +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
June 1, 2011  +
C
C-Transformers — A Framework to Write C Program Transformations +
October 16, 2005  +
C/C++ Disambiguation Using Attribute Grammars +
May 1, 2005  +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
January 5, 2018  +
CLOS Efficiency: Instantiation +
January 13, 2009  +
CLOS solutions to binary methods +
January 22, 2007  +
CLoX: Common Lisp objects for XEmacs +
March 9, 2010  +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
June 28, 2017  +
Catoids and Modal Convolution Algebras +
March 5, 2023  +
Cepstral and Long-Term Features for Emotion Recognition +
June 22, 2009  +
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
March 9, 2010  +
CodeBoost tutorial morning (2004-05-19) +
May 19, 2004  +
Color image segmentation based on automatic morphological clustering +
October 1, 2001  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
February 16, 2021  +
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
June 1, 2011  +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
May 19, 2015  +
Combining Parallel Emptiness Checks with Partial Order Reductions +
August 2, 2019  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
June 1, 2020  +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
August 31, 2022  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
September 25, 2007  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
September 15, 2008  +
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images +
October 1, 2005  +
Compositional Approach to Suspension and Other Improvements to LTL Translation +
April 28, 2013  +
Connected Filtering on Tree-Based Shape-Spaces +
June 5, 2015  +
Connected Filters on Generalized Shape-Spaces +
September 20, 2019  +
Constructing a braid of partitions from hierarchies of partitions +
March 13, 2019  +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +
April 17, 2012  +
Context-Oriented Image Processing +
January 1, 2015  +
Continuous Well-Composedness implies Digital Well-Composedness in n-D +
November 9, 2021  +
Contribution aux tests de vacuité pour le model checking explicite +
December 5, 2014  +
Contributions to LTL and ω-Automata for Model Checking +
February 1, 2017  +
Cosine Similarity Scoring without Score Normalization Techniques +
January 1, 2010  +
CosySEL: Improving SAT Solving Using Local Symmetries +
December 8, 2022  +
CurVe 1.10 is released (2005-09-14) +
September 14, 2005  +
CurVe 1.11 is released (2006-06-07) +
June 7, 2006  +
CurVe 1.13 is released (2007-08-21) +
August 21, 2007  +
CurVe 1.14 is released (2007-11-27) +
November 27, 2007  +
CurVe 1.15 is released (2008-02-25) +
February 25, 2008  +
CurVe 1.6 is released (2004-03-10) +
March 10, 2004  +
CurVe 1.7 is released (2004-05-19) +
May 19, 2004  +
CurVe 1.9 is released (2005-07-21) +
July 21, 2005  +
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
January 1, 2022  +
D
Debug Packages in OpenBSD +
January 1, 2021  +
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +
February 24, 2021  +
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +
October 25, 2018  +
Derived-Term Automata of Multitape Expressions with Composition +
December 29, 2017  +
Derived-Term Automata of Multitape Rational Expressions +
April 26, 2016  +
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
July 5, 2017  +
Derived-term Automata for Extended Weighted Rational Expressions +
July 6, 2016  +
Didider Verna will give a talk on 'Language extensibility and its impact on DSL design and implementation: A case study in Lisp'at the ECOOP workshop on Domain Specific Languages Design and Implementation (DSLDI) in Montpellier (2013-05-21) +
May 21, 2013  +
Didier Verna invited to Vrije University of Brussels (2010-01-26) +
January 26, 2010  +
Didier Verna will hold a 90 minutes session with the title "The Bright Side of Exceptions" at ACCU 2013 (2013-01-03) +
January 3, 2013  +
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery +
September 19, 2022  +
Discrete Morse Functions and Watersheds +
January 1, 2023  +
Discrete set-valued continuity and interpolation +
March 14, 2013  +
Distribution, approximation and probabilistic model checking +
May 23, 2005  +
Diversifying a Parallel SAT Solver with Bayesian Moment Matching +
December 8, 2022  +
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation +
November 2, 2020  +
DoX 1.0 is released (2009-09-11) +
September 11, 2009  +
DoX 2.0 is released (2009-09-21) +
September 21, 2009  +
Document detection in videos captured by smartphones using a saliency-based method +
September 20, 2018  +
Document type recognition using evidence theory +
April 29, 2003  +
Données, Transparence et Démocratie +
May 1, 2022  +
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents +
January 24, 2022  +
E
ENST-IRCGN System Description +
May 30, 2006  +
ESDF: A proposal for a more flexible SDF handling +
May 1, 2005  +
ETAP: Experimental Typesetting Algorithms Platform +
March 1, 2022  +
Edwin Carlinet becomes PhD-student at LRDE (2012-09-10) +
September 10, 2012  +
Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging +
May 3, 2007  +
Effective Reductions of Mealy Machines +
April 26, 2022  +
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations +
April 7, 2015  +
Efficient Dynamic Type Checking of Heterogeneous Sequences +
February 22, 2016  +
Efficient Multiscale Sauvola's Binarization +
April 25, 2013  +
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning +
March 10, 2022  +
Energy Problems in Finite and Timed Automata with Büchi Conditions +
December 8, 2022  +
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids +
September 3, 2020  +
Error correcting code performance for watermark protection +
January 1, 2001  +
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur +
July 1, 2014  +
Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity +
November 22, 2016  +
Estimating the noise level function with the tree of shapes and non-parametric statistics +
June 7, 2019  +
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique +
June 15, 2022  +
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques +
June 14, 2019  +
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics +
April 8, 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 (2012-12-07) +
December 7, 2012  +
Euler Well-Composedness +
July 21, 2020  +
Evaluating complex MAC protocols for sensor networks with APMC +
July 27, 2006  +
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks +
October 1, 2021  +
Exact optimization of discrete constrained total variation minimization problems +
September 1, 2004  +
Exact optimization of discrete constrained total variation minimization problems +
October 1, 2004  +
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) +
January 1, 2020  +
Explicit State Model Checking with Generalized Büchi and Rabin Automata +
May 22, 2017  +
Expression templates in Ada 95 +
May 1, 2001  +
Extending Testing Automata to All LTL +
May 19, 2015  +
Extensible languages: blurring the distinction between DSLs and GPLs +
September 1, 2012  +
Extraction of Ancient Map Contents Using Trees of Connected Components +
October 20, 2017  +
F
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation +
November 2, 2020  +
Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF +
January 31, 2003  +
Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials +
February 22, 2006  +
Fast color image segmentation based on levellings in feature Space +
August 11, 2004  +
Fast road network extraction in satellite images using mathematical morphology and Markov random fields +
September 5, 2004  +
Featured Games +
November 1, 2022  +
FiNK 2.0 is released (2007-06-12) +
June 12, 2007  +
FiNK 2.1 is released (2007-11-14) +
November 14, 2007  +
FiNK 2.1.1 is released (2008-02-27) +
February 27, 2008  +
FiXme 3.0 is released (2004-12-22) +
December 22, 2004  +
FiXme 3.1 is released (2005-01-31) +
January 31, 2005  +
FiXme 3.2 is released (2006-04-12) +
April 12, 2006  +
FiXme 3.3 is released (2007-11-28) +
November 28, 2007  +
FiXme 3.4 is released (2009-07-16) +
July 16, 2009  +
Fifth Stratego Users Days (2004-03-01) +
March 1, 2004  +
Filtres connexes multivariés par fusion d'arbres de composantes +
June 14, 2019  +
Finding Maximal Common Joins in a DAG +
November 17, 2016  +
Finite Automata Theory Based Optimization of Conditional Variable Binding +
January 14, 2019  +
First Attempt at Boltzmann Machines for Speaker Recognition +
June 1, 2012  +
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach +
April 10, 2023  +
From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning +
June 12, 2017  +
From Spot 2.0 to Spot 2.10: What's New? +
June 6, 2022  +
From text detection to text segmentation: a unified evaluation scheme +
October 1, 2016  +
Front-End Factor Analysis For Speaker Verification +
May 1, 2011  +
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI +
July 9, 2004  +
G
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification +
June 16, 2014  +
GNU Bison 2.6.1 is released (2012-07-30) +
July 30, 2012  +
GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux +
February 1, 2022  +
Generalized Büchi Automata versus Testing Automata for Model Checking +
May 25, 2011  +
Generic Emptiness Check for Fun and Profit +
July 29, 2019  +
Generic Image Processing with Climb +
May 1, 2012  +
Generic algorithmic blocks dedicated to image processing +
March 10, 2004  +
Generic design patterns in C++ +
January 1, 2001  +
Generic implementation of morphological image operators +
April 1, 2002  +
Generic programming redesign of patterns +
July 1, 2000  +
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls +
May 26, 2014  +
Global Optimization for First Order Markov Random Fields with Submodular Priors +
January 3, 2008  +
Go2Pins: A Framework for the LTL Verification of Go Programs +
June 8, 2021  +
Go2Pins: A framework for the LTL verification of Go programs (Extended Version) +
December 9, 2022  +
Going beyond p-convolutions to learn grayscale morphological operators +
February 16, 2021  +
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts +
December 31, 2021  +
Gradients Intégrés Renforcés +
December 15, 2022  +
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata +
June 30, 2022  +
Guillaume Lazzara invited to the LORIA in Nancy (2011-06-24) +
June 24, 2011  +
Génération efficace de grands espaces d'états +
December 1, 2009  +
Généricité dynamique pour des algorithmes morphologiques +
June 15, 2022  +
H
Hate Speech and Toxic Comment Detection using Transformers +
January 12, 2022  +
Heuristics for Checking Liveness Properties with Partial Order Reductions +
June 17, 2016  +
Hierarchical Segmentation Using Tree-Based Shape Spaces +
April 11, 2016  +
Hierarchical Set Decision Diagrams and Automatic Saturation +
March 1, 2008  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
September 16, 2015  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
May 20, 2016  +
High Throughput Automated Detection of Axial Malformations in Medaka Embryo +
January 22, 2019  +
High throughput automated detection of axial malformations in fish embryo +
November 29, 2018  +
Higher-Dimensional Timed and Hybrid Automata +
December 8, 2022  +
How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions +
January 1, 2022  +
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way +
February 4, 2019  +
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way +
April 7, 2015  +
How to Make nD Images Well-Composed Without Interpolation +
May 14, 2015  +
How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education +
January 1, 2022  +
How to make Lisp go faster than C +
December 1, 2006  +
How to make Lisp go faster than C +
June 11, 2007  +
I
ICDAR 2021 Competition on Historical Map Segmentation +
May 17, 2021  +
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization +
March 24, 2006  +
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case +
March 24, 2006  +
Implementation Concepts in Vaucanson 2 +
May 2, 2013  +
Implementing Baker's SUBTYPEP decision procedure +
April 1, 2019  +
Implementing attributes in SDF +
May 1, 2005  +
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
December 1, 2015  +
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
February 18, 2020  +
Improving Parallel State-Space Exploration Using Genetic Algorithms +
June 14, 2018  +
Improving swarming using genetic algorithms +
June 2, 2020  +
Improving the Model Checking of Stutter-Invariant LTL Properties +
September 25, 2014  +
Improving the Quality of Rule-Based GNN Explanations +
September 12, 2022  +
In Pursuit of the Hidden Features of GNN's Internal Representations +
October 26, 2022  +
Inside Vaucanson +
May 25, 2005  +
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +
November 26, 2018  +
Introducing Multivariate Connected Openings and Closings +
March 13, 2019  +
Introducing Vaucanson +
May 5, 2003  +
Introducing Vaucanson +
November 1, 2004  +
Introducing the Boundary-Aware Loss for Deep Image Segmentation +
November 28, 2021  +
Introducing the Dahu Pseudo-Distance +
February 23, 2017  +
Introduction to the Special Issue on Distributed Hybrid Systems +
December 8, 2022  +
Is There a Best Büchi Automaton for Explicit Model Checking? +
June 16, 2014  +
J
JSPP: Morphing C++ into JavaScript +
January 1, 2012  +
K
Kernel Combination for SVM Speaker Verification +
September 25, 2007  +
L
L'air de rien 1 +
December 6, 2005  +
L'air de rien 10 +
June 20, 2007  +
L'air de rien 11 +
September 28, 2007  +
L'air de rien 12 +
January 4, 2008  +
L'air de rien 13 +
March 31, 2008  +
L'air de rien 14 +
May 28, 2008  +
L'air de rien 15 +
October 20, 2008  +
L'air de rien 16 +
April 8, 2009  +
L'air de rien 17 +
September 14, 2009  +
L'air de rien 18 +
October 27, 2009  +
L'air de rien 19 +
May 11, 2010  +
L'air de rien 2 +
March 8, 2006  +
L'air de rien 20 +
September 22, 2010  +
L'air de rien 21 +
July 4, 2011  +
L'air de rien 22 +
September 12, 2011  +
L'air de rien 23 +
October 10, 2011  +
L'air de rien 24 +
February 2, 2012  +
L'air de rien 25 +
May 9, 2012  +
L'air de rien 26 +
September 17, 2012  +
L'air de rien 27 +
June 12, 2013  +
L'air de rien 28 +
June 27, 2013  +
L'air de rien 29 +
September 18, 2013  +
L'air de rien 3 +
April 13, 2006  +
L'air de rien 30 +
March 21, 2014  +
L'air de rien 31 +
July 4, 2014  +
L'air de rien 32 +
September 12, 2014  +
L'air de rien 33 +
July 2, 2015  +
L'air de rien 34 +
September 10, 2015  +
L'air de rien 35 +
December 5, 2015  +
L'air de rien 36 +
June 29, 2016  +
L'air de rien 37 +
March 21, 2017  +
L'air de rien 38 +
June 30, 2017  +
L'air de rien 4 +
May 10, 2006  +
L'air de rien 5 +
May 24, 2006  +
L'air de rien 6 +
September 29, 2006  +
L'air de rien 7 +
November 29, 2006  +
L'air de rien 8 +
March 5, 2007  +
L'air de rien 9 +
May 7, 2007  +
LRDE Seminar on Performance and Genericity (2008-01-30) +
January 30, 2008  +
LRDE Seminar on Performance and Genericity (2008-02-20) +
February 20, 2008  +
LRDE Seminar on Performance and Genericity (2008-03-26) +
March 26, 2008  +
LRDE Seminar on Performance and Genericity (2008-04-30) +
April 30, 2008  +
LRDE Seminar on Performance and Genericity (2008-05-28) +
May 28, 2008  +
LRDE Seminar on Performance and Genericity (2008-09-24) +
September 24, 2008  +
LRDE Seminar on Performance and Genericity (2008-11-05) +
November 5, 2008  +
LRDE Seminar on Performance and Genericity (2008-11-26) +
November 26, 2008  +
LRDE Seminar on Performance and Genericity (2009-02-11) +
February 11, 2009  +
LRDE Seminar on Performance and Genericity (2009-02-25) +
February 25, 2009  +
LRDE Seminar on Performance and Genericity (2009-03-25) +
March 25, 2009  +
LRDE Seminar on Performance and Genericity (2009-04-22) +
April 22, 2009  +
LRDE Seminar on Performance and Genericity (2009-09-30) +
September 30, 2009  +
LRDE Seminar on Performance and Genericity (2009-10-21) +
October 21, 2009  +
LRDE Seminar on Performance and Genericity (2009-12-02) +
December 2, 2009  +
LRDE Seminar on Performance and Genericity (2010-03-03) +
March 3, 2010  +
LRDE Seminar on Performance and Genericity (2010-03-31) +
March 31, 2010  +
LRDE Seminar on Performance and Genericity (2010-04-28) +
April 28, 2010  +
LRDE Seminar on Performance and Genericity (2010-10-13) +
October 13, 2010  +
LRDE Seminar on Performance and Genericity (2010-11-10) +
November 10, 2010  +
LRDE Seminar on Performance and Genericity (2010-12-08) +
December 8, 2010  +
LRDE Seminar on Performance and Genericity (2011-02-09) +
February 9, 2011  +
LRDE Seminar on Performance and Genericity (2011-03-16) +
March 16, 2011  +
LRDE Seminar on Performance and Genericity (2011-05-18) +
May 18, 2011  +
LRDE Seminar on Performance and Genericity (2011-06-15) +
June 15, 2011  +
LRDE Seminar on Performance and Genericity (2011-07-06) +
July 6, 2011  +
LRDE Seminar on Performance and Genericity (2011-10-26) +
October 26, 2011  +
LRDE Seminar on Performance and Genericity (2011-11-16) +
November 16, 2011  +
LRDE Seminar on Performance and Genericity (2012-02-15) +
February 15, 2012  +
LRDE Seminar on Performance and Genericity (2012-03-14) +
March 14, 2012  +
LRDE Seminar on Performance and Genericity (2012-03-21) +
March 21, 2012  +
LRDE Seminar on Performance and Genericity (2012-05-09) +
May 9, 2012  +
LRDE Seminar on Performance and Genericity (2012-06-20) +
June 20, 2012  +
LRDE Seminar on Performance and Genericity (2012-07-04) +
July 4, 2012  +
LRDE Seminar on Performance and Genericity (2012-10-17) +
October 17, 2012  +
LRDE Seminar on Performance and Genericity - Amélioration du design et des performances des machines virtuelles langages by Gaël Thomas (2013-01-23) +
January 23, 2013  +
LRDE Seminar on Performance and Genericity - Designing robust distributed systems with weakly interacting feedback structures by Peter Van Roy (2013-04-24) +
April 24, 2013  +
LRDE Seminar on Performance and Genericity - Etendre le compilateur GCC avec MELT by Basile Starynkevitch (2013-05-22) +
May 22, 2013  +
LRDE Seminar on Performance and Genericity - Langages de développement et sécurité -- Mind your language by Eric Jaeger et Olivier Levillain (2013-05-29) +
May 29, 2013  +
LRDE Seminar on Performance and Genericity - SMIL : Simple Morphological Image Library by Matthieu Faessel et Michel Bilodeau (2013-03-27) +
March 27, 2013  +
LRDE Seminar on Performance and Genericity - Une représentation d'images 2D discrète, continue et auto-duale by Thierry Géraud (2013-02-20) +
February 20, 2013  +
LRDE Speaker Recognition System for NIST-SRE 2010 +
January 1, 2010  +
LRDE System description +
June 1, 2006  +
LTL Model Checking for Communicating Concurrent Programs +
May 15, 2020  +
LTL Model Checking with Neco +
June 15, 2013  +
LTL Translation Improvements in Spot +
July 25, 2011  +
LTL Translation Improvements in Spot 1.0 +
March 6, 2014  +
LTL under reductions with weaker conditions than stutter invariance +
April 18, 2022  +
La pseudo-distance du dahu +
March 21, 2017  +
Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning +
August 28, 2022  +
Language Recognition via I-Vectors and Dimensionality Reduction +
August 1, 2011  +
Learning Diversity Attributes in Multi-Session Recommendations +
December 12, 2022  +
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation +
January 24, 2020  +
Learning Grayscale Mathematical Morphology with Smooth Morphological Layers +
April 4, 2022  +
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks +
May 4, 2021  +
Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +
October 25, 2018  +
Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification +
August 27, 2007  +
Lisp, Jazz, Aikido +
February 5, 2018  +
Local Intensity Order Transformation for Robust Curvilinear Object Segmentation +
March 22, 2022  +
Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation +
February 15, 2007  +
M
MITLL 2012 Speaker Recognition Evaluation System Description +
December 1, 2012  +
MToS: A Tree of Shapes for Multivariate Images +
October 26, 2015  +
Main.AkimDemaille replaces Main.ThierryGeraud at the head of the lab (2003-03-03) +
March 3, 2003  +
Making Compiler Construction Projects Relevant to Core Curriculums +
February 6, 2005  +
Manipulating LTL formulas using Spot 1.0 +
June 15, 2013  +
Max-Tree Computation on GPUs +
March 9, 2022  +
Meaningful disjoint level lines selection +
May 26, 2014  +
Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
March 21, 2014  +
Metagene, a C++ meta-program generation tool +
May 25, 2004  +
Method Combinators +
March 25, 2018  +
Methods for Explaining Top-N Recommendations Through Subgroup Discovery +
December 10, 2022  +
Mical 0.1 is released (2003-07-10) +
July 10, 2003  +
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images +
April 9, 2009  +
Model Checking using Generalized Testing Automata +
January 1, 2012  +
Model checking with generalized Rabin and Fin-less automata +
April 1, 2019  +
Modeling of Sensor Networks Using XRM +
September 14, 2006  +
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) +
March 22, 2023  +
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework +
February 13, 2019  +
Monads in Common Lisp +
November 18, 2016  +
Morphological Analysis of Brownian Motion for Physical Measurements +
February 23, 2017  +
Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations +
June 16, 2012  +
Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings +
February 23, 2017  +
Morphological Object Picking Based on the Color Tree of Shapes +
June 29, 2015  +
Morphologie et algorithmes +
September 1, 2010  +
Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images +
July 13, 2016  +
Motion Compensation in Digital Holography for Retinal Imaging +
December 19, 2018  +
Motion compensation based on Tangent Distance prediction for video compression +
February 9, 2012  +
Multi-band segmentation using morphological clustering and fusion application to color image segmentation +
April 10, 2003  +
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor +
October 1, 2022  +
N
New Security Protocols for Offline Point-of-Sale Machines +
January 1, 2022  +
New online demo of page segmentation and reconstruction (2011-01-05) +
January 5, 2011  +
NewsEntry ()2 +
November 2, 2022  +
NewsEntry (2013/09/10) +
September 10, 2013  +
NewsEntry (2013/10/09) +
October 9, 2013  +
NewsEntry (2013/10/23) +
October 23, 2013  +
NewsEntry (2013/11/01) +
November 1, 2013  +
NewsEntry (2013/11/13)2 +
November 13, 2013  +
NewsEntry (2013/12/04) +
December 4, 2013  +
NewsEntry (2013/12/05) +
December 5, 2013  +
NewsEntry (2013/12/11) +
December 11, 2013  +
NewsEntry (2013/12/12) +
December 12, 2013  +
NewsEntry (2013/12/18) +
December 18, 2013  +
NewsEntry (2014/01/22) +
January 22, 2014  +
NewsEntry (2014/02/03) +
February 3, 2014  +
NewsEntry (2014/02/05) +
March 12, 2014  +
NewsEntry (2014/02/12) +
February 12, 2014  +
NewsEntry (2014/02/14) +
February 14, 2014  +
NewsEntry (2014/02/18) +
February 18, 2014  +
NewsEntry (2014/02/21) +
February 21, 2014  +
NewsEntry (2014/03/28) +
March 28, 2014  +
NewsEntry (2014/05/05) +
May 5, 2014  +
NewsEntry (2014/05/12) +
May 12, 2014  +
NewsEntry (2014/05/14) +
May 14, 2014  +
NewsEntry (2014/05/23) +
May 23, 2014  +
NewsEntry (2014/06/09) +
June 9, 2014  +
NewsEntry (2014/06/11) +
June 11, 2014  +
NewsEntry (2014/06/17) +
June 17, 2014  +
NewsEntry (2014/06/24) +
June 24, 2014  +
NewsEntry (2014/07/04) +
July 4, 2014  +
NewsEntry (2014/07/25) +
July 25, 2014  +
NewsEntry (2014/09/01) +
September 1, 2014  +
NewsEntry (2014/09/25) +
September 25, 2014  +
NewsEntry (2014/10/15) +
October 15, 2014  +
NewsEntry (2014/11/19) +
November 19, 2014  +
NewsEntry (2014/12/05) +
December 5, 2014  +
NewsEntry (2014/12/10) +
December 10, 2014  +
NewsEntry (2014/12/17) +
December 17, 2014  +
NewsEntry (2014/12/19) +
December 19, 2014  +
NewsEntry (2015/01/12) +
January 12, 2015  +
NewsEntry (2015/01/27) +
January 27, 2015  +
NewsEntry (2015/01/28) +
January 28, 2015  +
NewsEntry (2015/02/16) +
February 16, 2015  +
NewsEntry (2015/02/18) +
February 18, 2015  +
NewsEntry (2015/03/16) +
March 16, 2015  +
NewsEntry (2015/04/09) +
April 9, 2015  +
NewsEntry (2015/05/05) +
May 5, 2015  +
NewsEntry (2015/05/22) +
May 22, 2015  +
NewsEntry (2015/06/02) +
June 2, 2015  +
NewsEntry (2015/06/02)2 +
June 2, 2015  +
NewsEntry (2015/06/09) +
June 9, 2015  +
NewsEntry (2015/07/06) +
July 6, 2015  +
NewsEntry (2015/09/01) +
September 1, 2015  +
NewsEntry (2015/09/06) +
September 6, 2015  +
NewsEntry (2015/10/01) +
October 1, 2015  +
NewsEntry (2015/10/11) +
October 11, 2015  +
NewsEntry (2015/10/14) +
October 14, 2015  +
NewsEntry (2015/11/27) +
November 27, 2015  +
NewsEntry (2015/12/11) +
December 11, 2015  +
NewsEntry (2016/01/20) +
January 20, 2016  +
NewsEntry (2016/01/27) +
January 27, 2016  +
NewsEntry (2016/02/17) +
February 17, 2016  +
NewsEntry (2016/02/19) +
February 19, 2016  +
NewsEntry (2016/03/16) +
March 16, 2016  +
NewsEntry (2016/03/23) +
March 23, 2016  +
NewsEntry (2016/04/04) +
April 4, 2016  +
NewsEntry (2016/04/08)2 +
April 8, 2016  +
NewsEntry (2016/04/11) +
April 11, 2016  +
NewsEntry (2016/04/22) +
April 22, 2016  +
NewsEntry (2016/05/18) +
May 18, 2016  +
NewsEntry (2016/06/22) +
June 22, 2016  +
NewsEntry (2016/07/01) +
July 1, 2016  +
NewsEntry (2016/07/07) +
July 7, 2016  +
NewsEntry (2016/09/01) +
September 1, 2016  +
NewsEntry (2016/09/01)2 +
September 1, 2016  +
NewsEntry (2016/10/03) +
October 3, 2016  +
NewsEntry (2016/11/14) +
November 14, 2016  +
NewsEntry (2016/11/16) +
November 16, 2016  +
NewsEntry (2016/11/23) +
November 23, 2016  +
NewsEntry (2016/12/07) +
December 7, 2016  +
NewsEntry (2016/12/14) +
December 14, 2016  +
NewsEntry (2017/01/01) +
January 1, 2017  +
NewsEntry (2017/01/17) +
January 17, 2017  +
NewsEntry (2017/01/19) +
January 19, 2017  +
NewsEntry (2017/01/31) +
January 31, 2017  +
NewsEntry (2017/01/31)2 +
January 28, 2017  +
NewsEntry (2017/02/08) +
February 8, 2017  +
NewsEntry (2017/02/10) +
February 10, 2017  +
NewsEntry (2017/03/08) +
March 8, 2017  +
NewsEntry (2017/05/03) +
May 3, 2017  +
NewsEntry (2017/06/13) +
June 13, 2017  +
NewsEntry (2017/06/14) +
June 14, 2017  +
NewsEntry (2017/07/04) +
July 4, 2017  +
NewsEntry (2017/08/31) +
August 31, 2017  +
NewsEntry (2017/09/06)2 +
September 6, 2017  +
NewsEntry (2017/09/27) +
September 27, 2017  +
NewsEntry (2017/10/03) +
October 3, 2017  +
NewsEntry (2017/11/02) +
November 2, 2017  +
NewsEntry (2017/11/08) +
November 8, 2017  +
NewsEntry (2017/11/13) +
November 13, 2017  +
NewsEntry (2018/01/20) +
January 20, 2018  +
NewsEntry (2018/01/24) +
January 24, 2018  +
NewsEntry (2018/03/08) +
March 8, 2018  +
NewsEntry (2018/03/29) +
March 29, 2018  +
NewsEntry (2018/05/14) +
May 14, 2018  +
NewsEntry (2018/05/18) +
May 18, 2018  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:News_date&oldid=7521"