Property

Has author

From LRDE

Text

previous 5002050100250500next 500
Showing 500 pages using this property.
(
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity +
Didier Verna  +
.
... Insert a title in French here ... +
Thomas De Carvalho  +
... Insert a title in French here ... +
Ferdinand Mom  +
1
10 years of confrontation between French Internet users and their successive governments +
Olivier Ricou  +
A
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D +
Nicolas Boutry  +, Rocio Gonzalez-Diaz  +, Laurent Najman  +, …
A Benchmark of Named Entity Recognition Approaches in Historical Documents +
Nathalie Abadie  +, Edwin Carlinet  +, Joseph Chazalon  +, …
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI +
Baptiste Morel  +, Yongchao Xu  +, Alessio Virzi  +, …
A Channel-Blind System for Speaker Verification +
Najim Dehak  +, Z Karam  +, D Reynolds  +, …
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation +
Edwin Carlinet  +, Thierry Géraud  +
A Comparative Review of Component Tree Computation Algorithms +
Edwin Carlinet  +, Thierry Géraud  +
A Corpus Processing and Analysis Pipeline for Quickref +
Antoine Hacquard  +, Didier Verna  +
A Fast and Exact Algorithm for Total Variation Minimization +
Jérôme Darbon  +, Marc Sigelle  +
A Feedback Arc Set for Spot +
Alexandre Lewkowicz  +
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images +
Sébastien Crozet  +, Thierry Géraud  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers +
Sylvie Boldo  +, Florian Faissole  +, TourneurVincent  +
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging +
Zhaohan Xiong  +, Qing Xia  +, Zhiqiang Hu  +, …
A Kleene Theorem for Higher-Dimensional Automata +
Uli Fahrenberg  +, Christian Johansen  +, Georg Struth  +, …
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers +
Saeed Nejati  +, Ludovic Le Frioux  +, Vijay Ganesh  +
A Modern C++ Point of View of Programming in Image Processing +
Michaël Roynard  +, Edwin Carlinet  +, Thierry Géraud  +
A Morphological Method for Music Score Staff Removal +
Thierry Géraud  +
A Morphological Tree of Shapes for Color Images +
Edwin Carlinet  +, Thierry Géraud  +
A Myhill-Nerode Theorem for Higher-Dimensional Automata +
Uli Fahrenberg  +, Krzysztof Ziemiański  +
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation +
Nicolas Boutry  +, Thierry Géraud  +
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
Minh Ôn Vũ Ngoc  +, Nicolas Boutry  +, Jonathan Fabrizio  +, …
A Note on the Discrete Binary Mumford-Shah Model +
Jérôme Darbon  +
A Portable, Simple, Embeddable Type System +
Jim Newton  +, Adrien Pommellet  +
A Promela front-end for Spot +
Guillaume Sadegh  +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +
Thierry Géraud  +, Edwin Carlinet  +, Sébastien Crozet  +, …
A Secure Blockchain-Based Architecture for the COVID-19 Data Network +
Darine Al-Mohtar  +, Amani Ramzi Daou  +, Nour El Madhoun  +, …
A Self-Adaptive Likelihood Function for Tracking with Particle Filter +
Séverine Dubuisson  +, Myriam Robert-Seidowsky  +, Jonathan Fabrizio  +
A Set of Tools to Teach Compiler Construction +
Akim Demaille  +, Roland Levillain  +, Benoît Perrot  +
A Study of Well-Composedness in n-D +
Nicolas Boutry  +
A Survey of French Local e-Democracy +
Olivier Ricou  +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
Jim Newton  +, Didier Verna  +
A Tree of Shapes for Multivariate Images +
Edwin Carlinet  +
A Tutorial on Well-Composedness +
Nicolas Boutry  +, Thierry Géraud  +, Laurent Najman  +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
Zhou Zhao  +, Nicolas Boutry  +, Élodie Puybareau  +, …
A Type System for Weighted Automata and Rational Expressions +
Akim Demaille  +, Alexandre Duret-Lutz  +, Sylvain Lombardy  +, …
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization +
Jérôme Darbon  +, Sylvain Peyronnet  +
A blockchain-based certificate revocation management and status verification system +
Yves Christian Elloh Adja  +, Badis Hammi  +, Ahmed Serhrouchni  +, …
A co-Büching Toolbox +
Alexandre Gbaguidi Aïsse  +
A comparative study of image invariants for text / non-text classification +
Julien Marquegnies  +
A comparison of many max-tree computation algorithms +
Edwin Carlinet  +, Thierry Géraud  +
A fast algorithm for auto-dual trees +
Edwin Carlinet  +
A fast and exact algorithm for total variation minimization +
Jérôme Darbon  +, Marc Sigelle  +
A first step toward a fair comparison of evaluation protocols for text detection algorithms +
Aliona Dangla  +, Élodie Puybareau  +, Guillaume Tochon  +, …
A framework to dynamically manage distributed virtual environments +
Yoann Fabre  +, Guillaume Pitel  +, Laurent Soubrevilla  +, …
A new translation from LTL into TGBA in Spot +
Damien Lefortier  +
A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
Jérôme Darbon  +, Marc Sigelle  +, Florence Tupin  +
A novel method to fight the non line of sight error in AOA measurements for mobile location +
Emmanuel Grosicki  +, Karim Abed-Meraim  +, Réda Dehak  +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
Jonathan Fabrizio  +
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +
Nicolas Burrus  +, Alexandre Duret-Lutz  +, Thierry Géraud  +, …
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy +
Sharib Ali  +, Mariia Dmitrieva  +, Noha Ghatwary  +, …
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
Jimmy Francky Randrianasoa  +, Camille Kurtz  +, Éric Desjardin  +, …
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains +
Thomas Hérault  +, Richard Lassaigne  +, Sylvain Peyronnet  +
About +
Thierry Géraud  +, Roland Levillain  +, Edwin Carlinet  +
About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. +
Sébastien Crozet  +
Action recognition: how intelligent virtual environments can ease human-machine interaction +
Didier Verna  +
Active Learning on Visibly One Counter Systems +
Aymeric FAGES  +
Adaptation d'algorithmes de Vaucanson à une interface plus simple +
Florent D'Halluin  +
Adaptation de l'algorithme de watershed cuts aux complexes cellulaires +
Guillaume Doré  +
Adaptation of the watershed cuts algorithm to cellular complexes +
Guillaume Doré  +
Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée +
Jérôme Galtier  +
Adapting Vaucanson algorithms to a simpler interface +
Florent D'Halluin  +
Adapting the data structures of Vaucanson to the concept of kind and a new interface +
Jérôme Galtier  +
Adaptive partial order reduction methods +
Pierre Parutto  +
Adding Contracts to C++ with Transformers +
Vincent Ordy  +
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis +
Guillaume Tochon  +, Mauro Dalla Mura  +, Philippe Salembier  +, …
Ajout de la programmation par contrats au C++ avec Transformers +
Vincent Ordy  +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +
Anthony Baillard  +, Christophe Berger  +, Emmanuel Bertin  +, …
Algorithmes sur les Transducteurs +
Valentin Tolmer  +
Algorithms for Mathematical Morphology +
Thierry Géraud  +, Hugues Talbot  +, Marc Van Droogenbroeck  +
Algorithms on Transducers +
Valentin Tolmer  +
Alternate Fictitious Play study and implementation +
Antoine Leblanc  +
Alternating automata support +
Amaury Fauchille  +
Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR +
Anthony Seure  +
Amélioration de la composition des transducteurs dans Vaucanson +
Jérôme Galtier  +
Amélioration de la dégénéralisation dans Spot +
Pierre Parutto  +
Amélioration de la réduction par simulation +
Laurent Xu  +
Améliorer Horn-Schunck +
Sylvain Lobry  +
Améliorer l'architecture de Vaucanson 2 +
Guillaume Sanchez  +
Améliorer la determinisation d'automates de Büchi +
Alexandre Lewkowicz  +
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings +
David Lesage  +, Jérôme Darbon  +, Ceyhun Burak Akgül  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D +
Nicolas Boutry  +, Thierry Géraud  +, Laurent Najman  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D +
Nicolas Boutry  +, Thierry Géraud  +, Laurent Najman  +
An Experience Report on the Optimization of the Product Configuration System of Renault +
Hao Xu  +, Souheib Baarir  +, Tewfik Ziadi  +, …
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming +
Michaël Roynard  +, Edwin Carlinet  +, Thierry Géraud  +
An Innovative and Decentralized Identity Framework Based on Blockchain Technology +
Daniel Maldonado-Ruiz  +, Jenny Torres  +, El MadhounNour  +, …
An XML format proposal for the description of weighted automata, transducers, and regular expressions +
Akim Demaille  +, Alexandre Duret-Lutz  +, Florian Lesaint  +, …
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments +
Yoann Fabre  +, Guillaume Pitel  +, Laurent Soubrevilla  +, …
An edge-based attribute filter dedicated to image segmentation +
Edwin Carlinet  +
An efficient algorithm for attribute openings and closings +
Jérôme Darbon  +, Ceyhun Burak Akgül  +
An efficient implementation of transition-based generalized Büchi automaton determinization +
Alexandre Lewkowicz  +
An implementation of the C++ container library with SCOOL +
Warren Seine  +
An interpreter for Vaucanson +
Louis-Noël Pouchet  +
An interpreter for Vaucanson +
Louis-Noël Pouchet  +
An overview of Scoop, a static object-oriented paradigm +
Thomas Moulard  +
An overview of Vaucanson +
Thomas Claveirole  +
An overview of Vaucanson +
Thomas Claveirole  +
Analyse de la mise en page d'un document dans SCRIBO +
Julien Marquegnies  +
Analyse de performances dans Vaucanson +
Florent D'Halluin  +
Analyse structurelle haut-niveau de document dans le module Scribo d'Olena +
Christophe Escobar  +
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
Jim Newton  +
Analysis of the Vaucanson project +
Thomas Claveirole  +
Analysis of the Vaucanson project +
Thomas Claveirole  +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks +
A Abou Rida  +, R Amhaz  +, P Parrend  +
Applying generic programming to image processing +
Thierry Géraud  +, Yoann Fabre  +, Alexandre Duret-Lutz  +
Apprentissage d'Opérations Morphologiques +
Alexandre Kirszenberg  +
Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution +
Valentin Iovene  +
Approaches in Typecase Optimization +
Jim Newton  +, Didier Verna  +
Approche fonctionnelle de la généricité du traitement d'image +
Christopher Chedeau  +
Approche parallèle pour le calcul de l'arbre des formes en n-dimensions +
Sébastien Crozet  +
Approximate Nash Equilibria for Multi-Player Games +
Sébastien Hémon  +, Michel de Rougemont  +, Miklos Santha  +
Approximate Probabilistic Model Checking for Programs +
Jérôme Darbon  +, Richard Lassaigne  +, Sylvain Peyronnet  +
Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur +
Jimmy Yeh  +
Aprentissage Actif d'Automates Visiblement á un compteur +
Aymeric FAGES  +
Arbres de composantes et opérateurs de chaînage +
Christopher Chedeau  +
Artificial states generation in state spaces using kernel density estimation +
Thomas De Carvalho  +
Artificial states generation in state spaces using kernel density estimation +
Thomas De Carvalho  +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information +
Thierry Géraud  +, Isabelle Bloch  +, Henri Maître  +
Attribute Grammars for Modular Disambiguation +
Valentin David  +, Akim Demaille  +, Olivier Gournet  +
Attribute grammars for C++ disambiguation +
Valentin David  +
Attribute grammars for C++ disambiguation +
Valentin David  +
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +
Marçal Rusiñol  +, Joseph Chazalon  +, Katerine Diaz-Chito  +
Automata Reduction +
Vivien Delmon  +
Automata in Natural Language Processing +
Jimmy Ma  +
Automatic Attribute Propagation for Modular Attribute Grammars +
Akim Demaille  +, Renaud Durlin  +, Nicolas Pierron  +, …
Automatic Attribute Propagation for Modular Attribute Grammars +
Akim Demaille  +, Renaud Durlin  +, Nicolas Pierron  +, …
Automatic Heart Segmentation +
Younes Khoudli  +
Automatic detection of text zones on identity documents. +
Anne-Claire Berthet  +
Automatic maintenance of exported symbols in Common Lisp packages +
Christophe Vermorel  +
Automatic segmentation of Cassini's maps +
Anne-Claire Berthet  +
Automatic troll farm account detection on Twitter +
Hugo Linsenmaier  +
Automatically Guided Selection of a Set of Underwater Calibration Images +
Laurent Beaudoin  +, Loïca Avanthey  +, Charles Villard  +, …
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
Frederic Grelot  +, Sébastien Larinier  +, SalmonMarie  +
Avancées vers Vaucanson 1.4 et 2.0 +
Guillaume Fiette  +
B
Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales +
Lukas Rabier  +
Beating C in Scientific Computing Applications +
Didier Verna  +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge +
Li Wang  +, Dong Nie  +, Guannan Li  +, …
Benchmarking Keypoint Filtering Approaches for Document Image Matching +
E Royer  +, J Chazalon  +, M Rusiñol  +, …
Benchmarking Vaucanson and large C++ libraries +
Florent D'Halluin  +
Benchmarking of Partial Order Reduction in Spot +
Vincent Tourneur  +
Binary Methods Programming: the CLOS Perspective +
Didier Verna  +
Binary Methods Programming: the CLOS Perspective (extended version) +
Didier Verna  +
Binary Partition Tree for Image Processing +
Fabien Houang  +
Binding a high-performance C++ image processing library to Python +
Celian Gossec  +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
Didier Verna  +
Bisimulation-based Reductions on TGBA +
Thomas Badie  +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
Badis Hammi  +, Sherali Zeadally  +, Yves Christian Elloh Adja  +, …
Boltzmann Machine in speaker verification +
Jean-Luc Bounthong  +
Booster la généricité de Vaucanson +
Guillaume Lazzara  +
Booster les itérateurs de Vaucanson +
Jimmy Ma  +
Boosting Vaucanson +
Guillame Lazzara  +, Jimmy Ma  +
Boosting Vaucanson +
Guillame Lazzara  +, Jimmy Ma  +
Boosting Vaucanson's Iterator +
Jimmy Ma  +
Boosting Vaucanson's genericity +
Guillaume Lazzara  +
Bottleneck neural networks for Speaker Recognition +
Guillaume Daval-Frerot  +
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +
Guillaume Tochon  +, Mauro Dalla Mura  +, Miguel Angel Veganzones  +, …
Brain MRI Segmentation using fully convolutional network +
William Guillet  +
Brain MRI segmentation using mathematical morphology +
Louis Gasnault  +
Brain Tumor Segmentation with deep convolutional network approach +
Thibault Buatois  +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
Alexandre Hamez  +, Yann Thierry-Mieg  +, Fabrice Kordon  +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
Alexandre Duret-Lutz  +
Building a quantum perceptron +
Nathan Habib  +
Building an interface for and with Climb +
Laurent Senta  +
C
C++ Program Slicing with Transformers +
Florian Quèze  +
C++ Transformations panorama +
Nicolas Despres  +
C++ Transformations panorama +
Nicolas Despres  +
C++ container library with the SCOOP paradigm +
Thomas Moulard  +
C++ container library with the SCOOP paradigm +
Thomas Moulard  +
C++ template disambiguation with Transformers Attribute Grammars +
Warren Seine  +
C++ type-checking: A study of existing solutions +
Julien Roussel  +
C++ type-checking: A study of existing solutions +
Julien Roussel  +
C-Transformers — A Framework to Write C Program Transformations +
Alexandre Borghi  +, Valentin David  +, Akim Demaille  +
C/C++ Disambiguation Using Attribute Grammars +
Valentin David  +, Akim Demaille  +, Renaud Durlin  +, …
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
Hakan Metin  +, Souheib Baarir  +, Maximilien Colange  +, …
CLIMB: A Dynamic Approach To Generic Image Processing +
Loïc Denuzière  +
CLIMB: Une approche dynamique du traitement générique d'images +
Loïc Denuzière  +
CLOS Efficiency: Instantiation +
Didier Verna  +
CLOS solutions to binary methods +
Didier Verna  +
CLoX: Common Lisp objects for XEmacs +
Didier Verna  +
Calcul de distance par un rśeau de neurones profond siamois +
Anatole Moreau  +
Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux +
Victor Collette  +
Calcul du flux optique dans des séquences avec des parties manquantes +
Sylvain Lobry  +
Canvas in Morphological Algorithms +
Ugo Jardonnet  +
Canvas in Morphological Algorithms +
Ugo Jardonnet  +
Canvas in Olena +
Damien Thivolle  +
Canvas in Olena +
Damien Thivolle  +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
Élodie Puybareau  +, Hugues Talbot  +, Laurent Najman  +
Catoids and Modal Convolution Algebras +
Uli Fahrenberg  +, Christian Johansen  +, Georg Struth  +, …
Centaur : Une infrastructure générique simplifiant les transformations de C++ +
Cédric Raud  +
Centaur: A generic framework simplifying C++ transformation +
Cédric Raud  +
Cepstral and Long-Term Features for Emotion Recognition +
Pierre Dumouchel  +, Najim Dehak  +, Yazid Attabi  +, …
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
Didier Verna  +
Climb: Implémentation de voisinage pondérés +
Laurent Senta  +
Climb: Weighted Neighborhood Implementation +
Laurent Senta  +
Coercition et programmation orientée contexte +
François Ripault  +
Color image segmentation based on automatic morphological clustering +
Thierry Géraud  +, Pierre-Yves Strub  +, Jérôme Darbon  +
Color types in Milena +
Caroline Vigouroux  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
Yizi Chen  +, Edwin Carlinet  +, Joseph Chazalon  +, …
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
Alexandre Duret-Lutz  +, Kais Klai  +, Denis Poitrenaud  +, …
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
Ala Eddine Ben Salem  +, Mohamed Graiet  +
Combining Parallel Emptiness Checks with Partial Order Reductions +
Denis Poitrenaud  +, Etienne Renault  +
Comment implémenter le support des goroutines dans go2pins +
Antoine Martin  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
Vincent Vallade  +, Ludovic Le Frioux  +, Souheib Baarir  +, …
Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
Antoine Leblanc  +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
Jim Newton  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
Najim Dehak  +, Réda Dehak  +, Patrick Kenny  +, …
Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur +
Jean-Luc Bounthong  +
Compensation locale du canal dans les systèmes de reconnaissance du locuteur +
Jimmy Yeh  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
Akim Demaille  +, Roland Levillain  +
Complementing Büchi Automata +
Guillaume Sadegh  +
Complementing Büchi Automata With Alternating Automata +
Guillaume Sadegh  +
Component Trees and Chaining Operators in Climb +
Christopher Chedeau  +
Component trees in Milena +
Edwin Carlinet  +
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images +
Jérôme Darbon  +
Composition Efficace de Transducteurs dans Vcsn +
Valentin Tolmer  +
Composition de transducteur dans Vaucanson 2 +
Valentin Tolmer  +
Compositional Approach to Suspension and Other Improvements to LTL Translation +
Tomáš Babiak  +, Thomas Badie  +, Alexandre Duret-Lutz  +, …
Compression d'états dans Spot +
Arthur Remaud  +
Computing the optical flow in sequences with missing parts +
Sylvain Lobry  +
Computing the regular language recognized by a finite automaton +
Robert Bigaignon  +
Computing the regular language recognized by a finite automaton +
Robert Bigaignon  +
ConceptC++ study and possible integration in SCOOP +
Alexandre Abraham  +
Conception of a static oriented language: an overview of Scool +
Thomas Moulard  +
Conception of a static oriented language: an overview of Scool +
Thomas Moulard  +
Concevoir l'interface d'une bibliothèque générique en Common Lisp +
Loïc Denuzière  +
Connected Filtering on Tree-Based Shape-Spaces +
Yongchao Xu  +, Thierry Géraud  +, Laurent Najman  +
Connected Filters on Generalized Shape-Spaces +
Lê Duy Huỳnh  +, Nicolas Boutry  +, Thierry Géraud  +
Constructing a braid of partitions from hierarchies of partitions +
Guillaume Tochon  +, Mauro Dalla Mura  +, Jocelyn Chanussot  +
Construction d'une interface pour et avec Climb +
Laurent Senta  +
Construire un perceptron quantique +
Nathan Habib  +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +
Yongchao Xu  +, Thierry Géraud  +, Laurent Najman  +
Context-Oriented Image Processing +
Didier Verna  +, François Ripault  +
Context-oriented programming applied to image processing +
François Ripault  +
Continuous Well-Composedness implies Digital Well-Composedness in n-D +
Nicolas Boutry  +, Rocio Gonzalez-Diaz  +, Laurent Najman  +, …
Contribution aux tests de vacuité pour le model checking explicite +
Etienne Renault  +
Contribution to dyn:: +
Raoul Billion  +
Contribution à dyn:: +
Raoul Billion  +
Contributions to LTL and ω-Automata for Model Checking +
Alexandre Duret-Lutz  +
Cosine Similarity Scoring without Score Normalization Techniques +
Najim Dehak  +, Réda Dehak  +, J Glass  +, …
CosySEL: Improving SAT Solving Using Local Symmetries +
S Saouli  +, S Baarir  +, C Dutheillet  +, …
Counterexample searches in Spot +
Clément Gillard  +
Cover automata for finite languages +
Michaël Cadilhac  +
Cover automata for finite languages +
Michaël Cadilhac  +
Creation of an antichain library +
Arthur Remaud  +
Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
Celian Gossec  +
Création d'une bibliothèque d'antichaîne +
Arthur Remaud  +
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
Daniel Maldonado-Ruiz  +, Jenny Torres  +, El MadhounNour  +, …
D
De nouvelles fac cons d'utiliser l'interface Jupyter. +
Nicolas Barray  +
Debug Packages in OpenBSD +
Marc Espie  +
Deciding Persistence or Recurrence Membership in Spot +
Alexandre Gbaguidi Aïsse  +
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +
Sharib Ali  +, Mariia Dmitrieva  +, Noha Ghatwary  +, …
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +
Julie Rivet  +, Guillaume Tochon  +, Serge Meimon  +, …
Dematerialization Tools in SCRIBO +
Julien Marquegnies  +
Derived-Term Automata of Multitape Expressions with Composition +
Akim Demaille  +
Derived-Term Automata of Multitape Rational Expressions +
Akim Demaille  +
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
Akim Demaille  +, Thibaud Michaud  +
Derived-term Automata for Extended Weighted Rational Expressions +
Akim Demaille  +
Designing the user interface for a Common Lisp generic library +
Loïc Denuzière  +
Detecting Botnets Behaviors over Network Flows using Hidden Markov Models +
Antoine Sainson  +
Detecting danger in marine environment: Part 1 - Making the dataset +
Charles Ginane  +
Detecting danger in marine environnement +
Charles Ginane  +
Direct-Simulation Reduction for TGBA +
Thomas Badie  +
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery +
Pierre Duluard  +, Xinqing Li  +, Marc Plantevit  +, …
Discrete Morse Functions and Watersheds +
Gilles Bertrand  +, Nicolas Boutry  +, Laurent Najman  +
Discrete set-valued continuity and interpolation +
Laurent Najman  +, Thierry Géraud  +
Discrimination supervisé de caractères sur des images +
Thibault Deutsch  +
Dispatch par propriétés dans les langages fonctionnels +
Christopher Chedeau  +
Distance Transform +
Etienne Folio  +
Distance Transform +
Etienne Folio  +
Distributed State Space Exploration +
Paul Guénézan  +
Distribution, approximation and probabilistic model checking +
Guillaume Guirado  +, Thomas Herault  +, Richard Lassaigne  +, …
Diversifying a Parallel SAT Solver with Bayesian Moment Matching +
V Vallade  +, S Nejati  +, J Sopena  +, …
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation +
Zhou Zhao  +, Nicolas Boutry  +, Élodie Puybareau  +, …
Document detection in videos captured by smartphones using a saliency-based method +
Minh Ôn Vũ Ngoc  +, Jonathan Fabrizio  +, Thierry Géraud  +
Document layout analysis in SCRIBO +
Julien Marquegnies  +
Document type recognition using evidence theory +
Thierry Géraud  +, Geoffroy Fouquier  +, Quoc Peyrot  +, …
Domain Mismatch Compensation for Text-Independant Speaker Recognition +
Valentin Iovene  +
Domain Mismatch Compensation for Text-Independant Speaker Recognition +
Valentin Iovene  +
Données, Transparence et Démocratie +
Olivier Ricou  +
Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
Loïc Fosse  +
Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
Loïc Fosse  +
Dynamization of C++ static libraries +
Nicolas Pouillard  +, Damien Thivolle  +
Dynamization of C++ static libraries +
Nicolas Pouillard  +, Damien Thivolle  +
Décomposition d'un automate de Büchi Généralisé multi-force +
Claire Parquier  +
Découpage automatique des cartes de Cassini +
Anne-Claire Berthet  +
Découpage de programme C++ avec Transformers +
Florian Quèze  +
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents +
Youcef Remil  +, Anes Bendimerad  +, Marc Plantevit  +, …
Désambiguïsation de la superposition de lignes. +
Sylvain Lobry  +
Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers +
Warren Seine  +
Détection Automatique de Comptes Troll Farm sur Twitter +
Hugo Linsenmaier  +
Détection automatique de zones de textes sur des pièces d'identité +
Anne-Claire Berthet  +
Détection de danger en milieu marin +
Charles Ginane  +
Détection de danger en milieu marin, Création du dataset +
Charles Ginane  +
Détection de logotypes et autres invariants caractéristiques +
Anthony Seure  +
Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT +
Anthony Seure  +
Détection de voix +
Victor Lenoir  +
Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés +
Antoine Sainson  +
Développement d'une interface graphique pour Vaucanson +
Louis-Noel Pouchët  +
Développement d'une interface graphique pour Vaucanson +
Louis-Noel Pouchët  +
E
ENST-IRCGN System Description +
Patrick Perrot  +, Réda Dehak  +, Gérard Chollet  +
ESDF: A proposal for a more flexible SDF handling +
Akim Demaille  +, Thomas Largillier  +, Nicolas Pouillard  +
ETAP: Experimental Typesetting Algorithms Platform +
Didier Verna  +
Ecriture d'algorithmes de traitement d'images génériques +
Simon Guillot  +
Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging +
Christophe Berger  +, Thierry Géraud  +, Roland Levillain  +, …
Effective Reductions of Mealy Machines +
Florian Renkin  +, Philipp Schlehuber-Caissier  +, Alexandre Duret-Lutz  +, …
Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games +
Antoine Leblanc  +
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations +
Yongchao Xu  +, Edwin Carlinet  +, Thierry Géraud  +, …
Efficient Dynamic Type Checking of Heterogeneous Sequences +
Jim Newton  +
Efficient Multiscale Sauvola's Binarization +
Guillaume Lazzara  +, Thierry Géraud  +
Efficient Transducer Composition in Vcsn +
Valentin Tolmer  +
Efficient Translation of Fairness LTL Formulae into Deterministic Automata +
Laurent XU  +
Efficient algorithmic methods for Nash equilibria computation +
Antoine Leblanc  +
Efficient algorithmic methods for Nash equilibria computation +
Antoine Leblanc  +
Efficient implementations of hierarchical morphological representations +
Victor Simonin  +
Efficient removal of spontaneous transitions in Vcsn +
Antoine Pietri  +
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning +
Léonard Tschora  +, Erwan Pierre  +, Marc Plantevit  +, …
Energy Problems in Finite and Timed Automata with Büchi Conditions +
Sven Dziadek  +, Uli Fahrenberg  +, Philipp Schlehuber-Caissier  +
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids +
Nicolas Boutry  +, Laurent Najman  +, Thierry Géraud  +
Error correcting code performance for watermark protection +
Jérôme Darbon  +, Bulent Sankur  +, Henri Maître  +
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur +
Yongchao Xu  +, Thierry Géraud  +, Laurent Najman  +
Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity +
Lucas Drumetz  +, Guillaume Tochon  +, Jocelyn Chanussot  +, …
Estimating the noise level function with the tree of shapes and non-parametric statistics +
Baptiste Esteban  +, Guillaume Tochon  +, Thierry Géraud  +
Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques +
Baptiste Esteban  +
Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes +
Baptiste Esteban  +
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique +
Baptiste Esteban  +, Guillaume Tochon  +, Edwin Carlinet  +, …
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques +
Baptiste Esteban  +, Guillaume Tochon  +, Thierry Géraud  +
Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics +
Baptiste Esteban  +
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics +
Baptiste Esteban  +, Guillaume Tochon  +, Edwin Carlinet  +, …
Estimation of the noise level function in natural images using the tree of shapes +
Baptiste Esteban  +
Etude comparative d'invariants de forme pour la classification texte / non-texte +
Julien Marquegnies  +
Etude de ConceptC++ et possible intégration dans SCOOP +
Alexandre Abraham  +
Euler Well-Composedness +
Nicolas Boutry  +, Rocio Gonzalez-Diaz  +, Maria-Jose Jimenez  +, …
Evaluating complex MAC protocols for sensor networks with APMC +
Michaël Cadilhac  +, Thomas Hérault  +, Richard Lassaigne  +, …
Evaluation method of text detection algorithm rating +
Aliona Dangla  +
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks +
A Abou Rida  +, P Parrend  +, R Amhaz  +
Exact optimization of discrete constrained total variation minimization problems +
Jérôme Darbon  +, Marc Sigelle  +
Exact optimization of discrete constrained total variation minimization problems +
Jérôme Darbon  +, Marc Sigelle  +
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) +
Michael Atlan  +, Julie Rivet  +, Antoine Taliercio  +, …
Explicit State Model Checking with Generalized Büchi and Rabin Automata +
Vincent Bloemen  +, Alexandre Duret-Lutz  +, Jaco van de Pol  +
Exploration d'espace d'état distribué +
Paul Guénézan  +
Exploring various implementations for goroutines support in go2pins +
Antoine Martin  +
Expression templates in Ada 95 +
Alexandre Duret-Lutz  +
Extending Testing Automata to All LTL +
Ala Eddine Ben Salem  +
Extensible languages: blurring the distinction between DSLs and GPLs +
Didier Verna  +
Extraction de l'inverse video dans SCRIBO. +
Coddy Levi  +
Extraction de texte avec des ondelettes +
Raphael Boissel  +
Extraction of Ancient Map Contents Using Trees of Connected Components +
Jordan Drapeau  +, Thierry Géraud  +, Mickaël Coustaty  +, …
F
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation +
Zhou Zhao  +, Nicolas Boutry  +, Élodie Puybareau  +, …
FSMXML and its application in Vaucanson +
Florian Lesaint  +
FSMXML et son utilisation dans Vaucanson +
Florian Lesaint  +
FSMXML for Vaucanson 2.0 +
David Moreira  +
FSMXML pour Vaucanson 2.0 +
David Moreira  +
Factor analysis based channel compensation in speaker verification +
Charles-Alban Deledalle  +
Factor analysis based channel compensation in speaker verification +
Charles-Alban Deledalle  +
Fast Image Registration +
Ugo Jardonnet  +
Fast Level Line Transform +
Matthieu Garrigues  +
Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF +
Thierry Géraud  +
Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials +
Jérôme Darbon  +, Marc Sigelle  +
Fast color image segmentation based on levellings in feature Space +
Thierry Géraud  +, Giovanni Palma  +, Niels Van Vliet  +
Fast reductions for ω-automaton +
Jérôme Dubois  +
Fast road network extraction in satellite images using mathematical morphology and Markov random fields +
Thierry Géraud  +, Jean-Baptiste Mouret  +
Fast simulation based reduction for ω-automaton +
Jérôme Dubois  +
Fast structure preserving inpainting +
Coddy Levi  +
Featured Games +
Uli Fahrenberg  +, Axel Legay  +
Fictious Play +
Jean-Philippe Garcia Ballester  +
Filtrage à base de contours pour la segmentation d'images +
Edwin Carlinet  +
Filtres connexes multivariés par fusion d'arbres de composantes +
Edwin Carlinet  +, Thierry Géraud  +
Finding Maximal Common Joins in a DAG +
Jim Newton  +
Finding Short Synchronizing Words +
Antoine Pietri  +
Finite Automata Theory Based Optimization of Conditional Variable Binding +
Jim Newton  +, Didier Verna  +
First Attempt at Boltzmann Machines for Speaker Recognition +
M Sennoussaoui  +, Najim Dehak  +, P Kenny  +, …
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach +
Léonard Tschora  +, Erwan Pierre  +, Marc Plantevit  +, …
Formal Definition of the Disambiguation with Attribute Grammars +
Nicolas Pierron  +
Formal Definition of the Disambiguation with Attribute Grammars +
Nicolas Pierron  +
From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning +
Yongchao Xu  +, Thierry Géraud  +, Isabelle Bloch  +
From Spot 2.0 to Spot 2.10: What's New? +
Alexandre Duret-Lutz  +, Etienne Renault  +, Maximilien Colange  +, …
From an expression to the original automaton +
Florent Terrones  +
From an expression to the original automaton +
Florent Terrones  +
From text detection to text segmentation: a unified evaluation scheme +
Stefania Calarasanu  +, Jonathan Fabrizio  +, Séverine Dubuisson  +
Front-End Factor Analysis For Speaker Verification +
Najim Dehak  +, P Kenny  +, Réda Dehak  +, …
Front-end Promela dans Spot +
Guillaume Sadegh  +
Full Covariance Matrices based Gaussian Mixture Models +
Benjamin Roux  +
Functionnal approach of image processing genericity +
Christopher Chedeau  +
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI +
Isabelle Bloch  +, Olivier Colliot  +, Oscar Camara  +, …
G
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification +
Najim Dehak  +, O Plchot  +, M H Bahari  +, …
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 +
J-L Mandel  +, P Burger  +, A Strehle  +, …
Generalized Büchi Automata versus Testing Automata for Model Checking +
Ala Eddine Ben Salem  +, Alexandre Duret-Lutz  +, Fabrice Kordon  +
Generalized Linear Discriminant Sequence for Speaker Verification +
Antoine Legrand  +
Generic Emptiness Check for Fun and Profit +
Christel Baier  +, František Blahoudek  +, Alexandre Duret-Lutz  +, …
Generic Image Processing with Climb +
Laurent Senta  +, Christopher Chedeau  +, Didier Verna  +
Generic algorithmic blocks dedicated to image processing +
Jérôme Darbon  +, Thierry Géraud  +, Patrick Bellot  +
Generic design patterns in C++ +
Alexandre Duret-Lutz  +, Thierry Géraud  +, Akim Demaille  +
Generic epsilon-removal +
Vivien Delmon  +
Generic epsilon-removal +
Vivien Delmon  +
Generic implementation of morphological image operators +
Jérôme Darbon  +, Thierry Géraud  +, Alexandre Duret-Lutz  +
Generic programming redesign of patterns +
Thierry Géraud  +, Alexandre Duret-Lutz  +
Gestion des transitions blackbox dans go2pins +
Hugo Moreau  +
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls +
Edwin Carlinet  +, Thierry Géraud  +
Global Optimization for First Order Markov Random Fields with Submodular Priors +
Jérôme Darbon  +
Go2Pins: A Framework for the LTL Verification of Go Programs +
Alexandre Kirszenberg  +, Antoine Martin  +, Hugo Moreau  +, …
Go2Pins: A framework for the LTL verification of Go programs (Extended Version) +
Etienne Renault  +, Alexandre Kirszenberg  +, Antoine Martin  +, …
Going beyond p-convolutions to learn grayscale morphological operators +
Alexandre Kirszenberg  +, Guillaume Tochon  +, Élodie Puybareau  +, …
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts +
Nicolas Boutry  +, Laurent Najman  +, Gilles Bertrand  +
Gradients Intégrés Renforcés +
Caroline Mazini-Rodrigues  +, Nicolas Boutry  +, NajmanLaurent  +
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata +
Manfred Droste  +, Sven Dziadek  +, Werner Kuich  +
Génération aléatoire d'automates et de chemins dans Vcsn +
Antoine Pietri  +
Génération aléatoire d'expression rationnelle +
Lucien Boillod  +
Génération efficace de grands espaces d'états +
Alexandre Hamez  +
Généricité dynamique pour des algorithmes morphologiques +
Baptiste Esteban  +, Edwin Carlinet  +, Guillaume Tochon  +, …
H
Handling blackbox transitions in go2pins +
Hugo Moreau  +
Hate Speech and Toxic Comment Detection using Transformers +
Pierre Guillaume  +, Corentin Duchene  +, Reda Dehak  +
Heuristics for Checking Liveness Properties with Partial Order Reductions +
Alexandre Duret-Lutz  +, Fabrice Kordon  +, Denis Poitrenaud  +, …
Hierarchical Segmentation Using Tree-Based Shape Spaces +
Yongchao Xu  +, Edwin Carlinet  +, Thierry Géraud  +, …
Hierarchical Set Decision Diagrams and Automatic Saturation +
Alexandre Hamez  +, Yann Thierry-Mieg  +, Fabrice Kordon  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
Yongchao Xu  +, Thierry Géraud  +, Laurent Najman  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
Yongchao Xu  +, Thierry Géraud  +, Laurent Najman  +
High Throughput Automated Detection of Axial Malformations in Medaka Embryo +
Diane Genest  +, Élodie Puybareau  +, Marc Léonard  +, …
High throughput automated detection of axial malformations in fish embryo +
Diane Genest  +, Elodie Puybareau  +, Jean Cousty  +, …
High-level Document Structure Analysis in the Olena Scribo Module +
Christophe Escobar  +
Higher-Dimensional Timed and Hybrid Automata +
Uli Fahrenberg  +
Histogrammes +
Etienne Folio  +
Histograms +
Etienne Folio  +
Hiérarchie par propriétés du module Algebra de Vaucanson +
Alex Hamelin  +
Homolib +
Samuel Charron  +
Homolib +
Samuel Charron  +
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 +
Loïca Avanthey  +, Laurent Beaudoin  +
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way +
Nicolas Boutry  +, Thierry Géraud  +, Laurent Najman  +
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way +
Nicolas Boutry  +, Thierry Géraud  +, Laurent Najman  +
How to Make nD Images Well-Composed Without Interpolation +
Nicolas Boutry  +, Thierry Géraud  +, Laurent Najman  +
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 +
Laurent Beaudoin  +, Loïca Avanthey  +
How to make Lisp go faster than C +
Didier Verna  +
How to make Lisp go faster than C +
Didier Verna  +
I
I-Vector Multilayer Perceptron in Speaker Recognition System +
Jimmy Yeh  +
I-Vectors distance learning with Convolutional Neural Networks +
Valentin Iovene  +
ICDAR 2021 Competition on Historical Map Segmentation +
Joseph Chazalon  +, Edwin Carlinet  +, Yizi Chen  +, …
IVector space mapping with Deep Neural Network +
Louis Groux  +
Identification Polynomiale des omega-Langages +
Corentin Pape  +
Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien +
Hugo Linsenmaier  +
Identifying Botnets in the Network using Gaussian Mixture Models +
Hugo Linsenmaier  +
Image processing for plots detection from ancient maps +
Anne-Claire Berthet  +
Image reconstruction +
Ugo Jardonnet  +
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization +
Jérôme Darbon  +, Marc Sigelle  +
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case +
Jérôme Darbon  +, Marc Sigelle  +
Image taxonomy in Milena +
Nicolas Ballas  +
Image taxonomy in Olena +
Christophe Berger  +
Image taxonomy in Olena +
Christophe Berger  +
Images taxonomy and modeling +
Simon Odou  +
Images taxonomy and modeling +
Simon Odou  +
Implementation Concepts in Vaucanson 2 +
Akim Demaille  +, Alexandre Duret-Lutz  +, Sylvain Lombardy  +, …
Implementation of Invisible and Transparent Transitions in Spot +
Vincent Tourneur  +
Implementation of transducers in Vaucanson +
Sarah O'Connor  +
Implementation of transducers in Vaucanson +
Sarah O'Connor  +
Implementations efficaces des representations hierarchiques morphologiques +
Victor Simonin  +
Implementing Baker's SUBTYPEP decision procedure +
Léo Valais  +, Jim Newton  +, Didier Verna  +
Implementing Baker's SUBTYPEP decision procedure +
Leo Valais  +
Implementing Baker's SUBTYPEP decision procedure +
Leo Valais  +
Implementing a C++ extension with Transformers: class namespace +
Vincent Ordy  +
Implementing attributes in SDF +
Alexandre Borghi  +, Valentin David  +, Akim Demaille  +, …
Implementing rational semiring +
David Moreira  +
Implémentation d'une extension du C++ dans Transformers: class namespace +
Vincent Ordy  +
Implémentation de l'algorithme de SUBTYPEP de Baker +
Leo Valais  +
Implémentation de l'algorithme de SUBTYPEP de Baker +
Leo Valais  +
Implémentation des transitions invisibles et transparentes dans Spot +
Vincent Tourneur  +
Implémentation du corps des (nombres) rationnels +
David Moreira  +
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
Stefania Calarasanu  +
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
Minh Ôn Vũ Ngoc  +
Improvements of Simulation-based Reduction +
Laurent Xu  +
Improving Horn-Schunck +
Sylvain Lobry  +
Improving OCR k-NN classifier's training set +
Anthony Seure  +
Improving Parallel State-Space Exploration Using Genetic Algorithms +
Etienne Renault  +
Improving Vaucanson's design +
Guillaume Sanchez  +
Improving Vaucanson's transducers composition algorithm +
Jérôme Galtier  +
Improving degeneralization in Spot +
Pierre Parutto  +
Improving swarming using genetic algorithms +
Etienne Renault  +
Improving the Model Checking of Stutter-Invariant LTL Properties +
Ala Eddine Ben Salem  +
Improving the Quality of Rule-Based GNN Explanations +
Ataollah Kamal  +, Elouan Vincent  +, Marc Plantevit  +, …
Improving the determinization of Büchi automata +
Alexandre Lewkowicz  +
In Pursuit of the Hidden Features of GNN's Internal Representations +
Luca Veyrin-Forrer  +, Ataollah Kamal  +, Stefan Duffner  +, …
Inpainting rapide préservant la structure +
Coddy Levi  +
Inpainting variationnel par combinaison d'invariants +
Coddy Levi  +
Inside Vaucanson +
Thomas Claveirole  +, Sylvain Lombardy  +, Sarah O'Connor  +, …
Integrating Mathematical Morphology within Deep Convolutional Neural Networks +
Alexandre Kirszenberg  +
Integrating modern parallel techniques in the Tiger compiler +
Warren Seine  +
Integration of Morphological Operators in Neural Networks +
Romain Hermary  +
Integration of TChecker in Spot +
Arthur Remaud  +
Integration of histograms in the NL-Mean algorithm for image denoising. +
Aliona Dangla  +
Interface graphique de Vaucanson +
Florent D'Halluin  +
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +
Edwin Carlinet  +, Thierry Géraud  +
Introducing Multivariate Connected Openings and Closings +
Edwin Carlinet  +, Thierry Géraud  +
Introducing Vaucanson +
Sylvain Lombardy  +, Raphaël Poss  +, Yann Régis-Gianas  +, …
Introducing Vaucanson +
Sylvain Lombardy  +, Yann Régis-Gianas  +, Jacques Sakarovitch  +
Introducing the Boundary-Aware Loss for Deep Image Segmentation +
Minh Ôn Vũ Ngoc  +, Yizi Chen  +, Joseph Chazalon  +, …
Introducing the Dahu Pseudo-Distance +
Thierry Géraud  +, Yongchao Xu  +, Edwin Carlinet  +, …
Introduction to the Special Issue on Distributed Hybrid Systems +
Alessandro Abate  +, Uli Fahrenberg  +, FränzleMartin  +
Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images +
Aliona Dangla  +
Intégration de TChecker dans Spot +
Arthur Remaud  +
Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds +
Alexandre Kirszenberg  +
Intégration de techniques de parallélisation dans le compilateur Tiger +
Warren Seine  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Has_author&oldid=2744"