Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach + (Edwin Carlinet)
- Introducing Multivariate Connected Openings and Closings + (Edwin Carlinet)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (Élodie Puybareau)
- Filtres connexes multivariés par fusion d'arbres de composantes + (Edwin Carlinet)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation + (Yizi Chen)
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation + (Joseph Chazalon)
- ICDAR 2021 Competition on Historical Map Segmentation + (Joseph Chazalon)
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction + (Yizi Chen)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Minh Ôn Vũ Ngoc)
- Max-Tree Computation on GPUs + (Nicolas Blin)
- A Benchmark of Named Entity Recognition Approaches in Historical Documents + (Nathalie Abadie)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (Baptiste Esteban)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (Baptiste Esteban)
- Généricité dynamique pour des algorithmes morphologiques + (Baptiste Esteban)
- The Cost of Dynamism in Static Languages for Image Processing + (Baptiste Esteban)
- A Modern C++ Point of View of Programming in Image Processing + (Michaël Roynard)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images + (Minh Ôn Vũ Ngoc)
- NixOS: A purely functional Linux distribution + (Eelco Dolstra)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology + (Daniel Maldonado-Ruiz)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (Daniel Maldonado-Ruiz)
- MITLL 2012 Speaker Recognition Evaluation System Description + (Jonas Borgstrom)
- High throughput automated detection of axial malformations in fish embryo + (Diane Genest)
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation + (Zhou Zhao)
- Improving the Quality of Rule-Based GNN Explanations + (Ataollah Kamal)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Christophe Berger)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (Anthony Baillard)
- Web services at TERAPIX + (Olivier Ricou)
- New Security Protocols for Offline Point-of-Sale Machines + (Nour El Madhoun)
- A novel method to fight the non line of sight error in AOA measurements for mobile location + (Emmanuel Grosicki)
- People/Emmanuel Marchand + (Emmanuel Marchand)
- A framework to dynamically manage distributed virtual environments + (Yoann Fabre)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (Yoann Fabre)
- People/Emmanuel Turquin + (Emmanuel Turquin)
- Person authentication based on hand shape + (Erdem Yoruk)
- Shape-based hand recognition + (Erdem Yörük)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning + (Léonard Tschora)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (Léonard Tschora)
- Distance Transform + (Etienne Folio)
- Distance Transform + (Etienne Folio)
- Histogrammes + (Etienne Folio)
- Histograms + (Etienne Folio)
- People/Etienne Renault + (Etienne Renault)
- Jobs/M2 2016 ER Multi-core for Spot + (Etienne Renault)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Alexandre Duret-Lutz)
- Improving Parallel State-Space Exploration Using Genetic Algorithms + (Etienne Renault)
- Contribution aux tests de vacuité pour le model checking explicite + (Etienne Renault)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (Denis Poitrenaud)
- Improving swarming using genetic algorithms + (Etienne Renault)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Alexandre Kirszenberg)
- LTL under reductions with weaker conditions than stutter invariance + (Emmanuel Paviot-Adet)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Etienne Renault)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (E Royer)
- Olena Publications + (Edwin Carlinet)
- 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)
- People/Fabien Freling + (Fabien Freling)
- L'Arbre de partition binaire pour le traitement d'images + (Fabien Houang)
- Binary Partition Tree for Image Processing + (Fabien Houang)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (Najim Dehak)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (Ala Eddine Ben Salem)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (Alexandre Hamez)
- Model Checking using Generalized Testing Automata + (Ala Eddine Ben Salem)
- libDMC: a library to Operate Efficient Distributed Model Checking + (Alexandre Hamez)
- PaInleSS: a Framework for Parallel SAT Solving + (Ludovic Le Frioux)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Alexandre Hamez)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Alexandre Duret-Lutz)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (Alban Linard)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (Etienne Renault)
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Etienne Renault)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Ludovic Le Frioux)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Vincent Vallade)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Vincent Vallade)
- Unified texture management for arbitrary meshes + (Sylvain Lefebvre)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- People/Fanny Riols + (Fanny Riols)
- Speaker Diarization based on the Mel Frequency Cepstral Coefficients + (Fanny Riols)
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel + (Fanny Riols)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (Fanny Riols)
- La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes + (Fanny Riols)
- L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur + (Fanny Riols)
- Speaker Diarization based on Independent Component Analysis + (Fanny Riols)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Minimization of automata representing obligation formulae + (Felix Abecassis)
- Parallélisation dans une bibliothèque de traitement d'images générique + (Felix Abecassis)
- Optimisations dans le compilateur Tiger + (Felix Abecassis)
- Parallelization in a generic image processing library + (Felix Abecassis)
- Optimizations in the Tiger Compiler + (Felix Abecassis)
- Minimisation d'automates représentant des obligations + (Felix Abecassis)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Real Time Face Expression Recognition + (Ferdinand Mom)
- ... Insert a title in French here ... + (Ferdinand Mom)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (Jérôme Darbon)
- The use of levelable regularization functions for MRF restoration of SAR images + (Jérôme Darbon)
- People/Florent D'Halluin + (Florent D'Halluin)
- Yet Another Vaucanson GUI + (Florent D'Halluin)
- Benchmarking Vaucanson and large C++ libraries + (Florent D'Halluin)
- Analyse de performances dans Vaucanson + (Florent D'Halluin)
- Interface graphique de Vaucanson + (Florent D'Halluin)
- Adapting Vaucanson algorithms to a simpler interface + (Florent D'Halluin)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (Florent D'Halluin)
- Past People + (Yann Jacquelet)
- People/Florent Terrones + (Florent Terrones)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (Akim Demaille)
- From an expression to the original automaton + (Florent Terrones)
- From an expression to the original automaton + (Florent Terrones)
- Papers about Vaucanson + (Akim Demaille)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (Florian Faissole)
- Max-Tree Computation on GPUs + (Nicolas Blin)
- Past People + (Yann Jacquelet)
- People/Florian Lesaint + (Florian Lesaint)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (Akim Demaille)
- Les relations synchrones dans Vaucanson + (Florian Lesaint)
- FSMXML et son utilisation dans Vaucanson + (Florian Lesaint)
- FSMXML and its application in Vaucanson + (Florian Lesaint)
- XML Proposal and its Application in Vaucanson + (Florian Lesaint)
- Synchronous relations in Vaucanson + (Florian Lesaint)
- XML Proposal and its Application in Vaucanson + (Florian Lesaint)
- Papers about Vaucanson + (Akim Demaille)
- People/Florian Quèze + (Florian Quèze)
- Tools for Attribute Grammars manipulation in Transformers + (Florian Quèze)
- Découpage de programme C++ avec Transformers + (Florian Quèze)
- Tools for Attribute Grammars manipulation in Transformers + (Florian Quèze)
- C++ Program Slicing with Transformers + (Florian Quèze)
- Transformers : vers la fin du tunnel + (Florian Quèze)
- Transformers: toward the end of the pipeline + (Florian Quèze)
- Practical “Paritizing” of Emerson–Lei Automata + (Florian Renkin)
- Practical Applications of the Alternating Cycle Decomposition + (Antonio Casares)
- Effective Reductions of Mealy Machines + (Florian Renkin)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- People/Francis Maes + (Francis Maes)
- Metagene, a C++ meta-program generation tool + (Francis Maes)
- Program templates: expression templates applied to program evaluation + (Francis Maes)
- People/Franck Coppola + (Franck Coppola)
- Document type recognition using evidence theory + (Thierry Géraud)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (František Blahoudek)
- Seminator: A Tool for Semi-Determinization of Omega-Automata + (František Blahoudek)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- On Refinement of Büchi Automata for Explicit Model Checking + (František Blahoudek)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (František Blahoudek)
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images + (Régis Clouard)
- People/François Ripault + (François Ripault)
- La programmation orientée contexte appliquée au traitement d'images + (François Ripault)
- Optimisation en Common Lisp et son application à Climb + (François Ripault)
- Context-Oriented Image Processing + (Didier Verna)
- Optimization in Common Lisp, and its application to Climb + (François Ripault)
- Coercition et programmation orientée contexte + (François Ripault)
- Context-oriented programming applied to image processing + (François Ripault)
- On coercion in Context-Oriented Programming + (François Ripault)
- MITLL 2012 Speaker Recognition Evaluation System Description + (Jonas Borgstrom)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (Frederic Grelot)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Web services at TERAPIX + (Olivier Ricou)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Alessandro Abate)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- Probabilistic abstraction for model checking: an approach based on property testing + (Sophie Laplante)
- People/Félix Abecassis + (Félix Abecassis)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (Gabriele Cavallaro)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Markus Götz)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- People/Geoffroy Fouquier + (Geoffroy Fouquier)
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization + (Alexis Angelidis)
- The Biosecure Geometry-based System for Hand Modality + (Geoffroy Fouquier)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (Geoffroy Fouquier)
- People/Geoffroy Querol + (Geoffroy Querol)
- SVM-MLLR for multi-speaker verification systems score fusion + (Geoffroy Querol)
- Speaker recognition evaluation: selective approaches and fusion + (Geoffroy Querol)
- SVM-MLLR et fusion pour la vérification du locuteur + (Geoffroy Querol)
- Speaker recognition evaluation: selective approaches and fusion + (Geoffroy Querol)
- Posets With Interfaces as a Model for Concurrency + (Uli Fahrenberg)
- A Kleene Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Catoids and Modal Convolution Algebras + (Uli Fahrenberg)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- Trie-based Output Itemset Sampling + (Lamine Diop)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts + (Nicolas Boutry)
- Discrete Morse Functions and Watersheds + (Gilles Bertrand)
- Olena/Assignments + (Giovanni Palma)
- Olena/Paradigm2003 + (Sylvain Berlemont)
- People/Giovanni Palma + (Giovanni Palma)
- Fast color image segmentation based on levellings in feature Space + (Thierry Géraud)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy + (Sharib Ali)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Boosting Vaucanson + (Guillame Lazzara)
- Boosting Vaucanson + (Guillame Lazzara)
- Bottleneck neural networks for Speaker Recognition + (Guillaume Daval-Frerot)
- Reseaux de neurones en goulot pour la Reconnaissance du Locuteur + (Guillaume Daval-Frerot)
- Adaptation of the watershed cuts algorithm to cellular complexes + (Guillaume Doré)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (Guillaume Doré)
- Olena Publications + (Edwin Carlinet)
- Stage de traitement d'image au LRDE + (Guillaume Duhamel)
- Stage de traitement d'image au LRDE + (Guillaume Duhamel)
- Progresses towards Vaucanson 1.4 and 2.0 + (Guillaume Fiette)
- Avancées vers Vaucanson 1.4 et 2.0 + (Guillaume Fiette)
- People/Guillaume Guirado + (Guillaume Guirado)
- Distribution, approximation and probabilistic model checking + (Guillaume Guirado)
- People/Guillaume Lazzara + (Guillaume Lazzara)
- Efficient Multiscale Sauvola's Binarization + (Guillaume Lazzara)
- Boosting Vaucanson's genericity + (Guillaume Lazzara)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (Guillaume Lazzara)
- Booster la généricité de Vaucanson + (Guillaume Lazzara)
- Resources for the DAS 2014 submission + (Guillaume Lazzara)
- People/Guillaume Leroi + (Guillaume Leroi)
- Synchronized Tranducers + (Guillaume Leroi)
- Transducteurs synchronisés + (Guillaume Leroi)
- People/Guillaume Pitel + (Guillaume Pitel)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (Yoann Fabre)
- A framework to dynamically manage distributed virtual environments + (Yoann Fabre)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (Yoann Fabre)
- People/Guillaume Sadegh + (Guillaume Sadegh)
- Complementing Büchi Automata With Alternating Automata + (Guillaume Sadegh)
- Front-end Promela dans Spot + (Guillaume Sadegh)
- A Promela front-end for Spot + (Guillaume Sadegh)
- Complementing Büchi Automata + (Guillaume Sadegh)
- La complémentation d'automates de Büchi + (Guillaume Sadegh)
- La complémentation d'automates de Büchi à travers des automates alternants + (Guillaume Sadegh)
- Améliorer l'architecture de Vaucanson 2 + (Guillaume Sanchez)
- Improving Vaucanson's design + (Guillaume Sanchez)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (Lucas Drumetz)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms + (Aliona Dangla)
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking + (Guillaume Tochon)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (Guillaume Tochon)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina + (Julie Rivet)
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure + (Élodie Puybareau)
- Motion Compensation in Digital Holography for Retinal Imaging + (Julie Rivet)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (Baptiste Esteban)
- Constructing a braid of partitions from hierarchies of partitions + (Guillaume Tochon)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (Baptiste Esteban)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images + (Guillaume Tochon)
- Jobs/LANGEVIN + (Thierry Géraud)
- Jobs/M2 TG 2020 DeepLearning Imagerie Hyperspectrale + (Guillaume Tochon)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (Lucas Drumetz)
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures + (Nicolas Boutry)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (Michael Atlan)
- Going beyond p-convolutions to learn grayscale morphological operators + (Alexandre Kirszenberg)
- Stability of the Tree of Shapes to Additive Noise + (Nicolas Boutry)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (Joaquim Estopinan)
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival + (Thibault Buatois)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence + (Isabelle Bloch)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (Baptiste Esteban)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (Romain Hermary)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (Baptiste Esteban)
- Généricité dynamique pour des algorithmes morphologiques + (Baptiste Esteban)
- The Cost of Dynamism in Static Languages for Image Processing + (Baptiste Esteban)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- New Security Protocols for Offline Point-of-Sale Machines + (Nour El Madhoun)
- ENST-IRCGN System Description + (Patrick Perrot)
- People/Géraud Béguin + (Géraud Béguin)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (Najim Dehak)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- Report on the 5th Workshop ELW at ECOOP 2008 + (Didier Verna)
- Optimization of the Product Configuration System of Renault + (Hao Xu)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (Hao Xu)
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging + (Isabelle Bloch)
- Error correcting code performance for watermark protection + (Jérôme Darbon)
- Spatial reasoning with relative incomplete information on relative positioning + (Réda Dehak)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (Thierry Géraud)
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information + (Thierry Géraud)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- People/Heru Xue + (Heru Xue)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation + (Heru Xue)
- On Robustness for the Skolem and Positivity Problems + (S Akshay)
- Automatic troll farm account detection on Twitter + (Hugo Linsenmaier)
- Détection Automatique de Comptes Troll Farm sur Twitter + (Hugo Linsenmaier)
- Identifying Botnets in the Network using Gaussian Mixture Models + (Hugo Linsenmaier)
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien + (Hugo Linsenmaier)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Alexandre Kirszenberg)
- Handling blackbox transitions in go2pins + (Hugo Moreau)
- Gestion des transitions blackbox dans go2pins + (Hugo Moreau)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Etienne Renault)
- Periodic Area-of-Motion characterization for Bio-Medical applications + (Élodie Puybareau)
- Morphologie et algorithmes + (Thierry Géraud)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales + (Élodie Puybareau)
- Morphological Analysis of Brownian Motion for Physical Measurements + (Élodie Puybareau)
- Algorithms for Mathematical Morphology + (Thierry Géraud)
- High throughput automated detection of axial malformations in fish embryo + (Diane Genest)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (Diane Genest)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (Élodie Puybareau)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (Yongchao Xu)
- Learning Diversity Attributes in Multi-Session Recommendations + (Nassim Bouarour)
- People/Ignacy Gawedzki + (Ignacy Gawedzki)
- On a Polynomial Vector Field Model for Shape Representation + (Mickael Chekroun)
- Residual 3D U-Net with Localization for Brain Tumor Segmentation + (Marc Demoustier)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI + (Isabelle Bloch)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage + (Élodie Puybareau)
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (Yongchao Xu)
- Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage + (Yongchao Xu)
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning + (Yongchao Xu)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode + (J Chazalon)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (E Royer)
- CosySEL: Improving SAT Solving Using Local Symmetries + (S Saouli)
- 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)
- Cosine Similarity Scoring without Score Normalization Techniques + (Najim Dehak)
- A Channel-Blind System for Speaker Verification + (Najim Dehak)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification + (S Shum)
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach + (S Shum)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching + (V Vallade)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- Explicit State Model Checking with Generalized Büchi and Rabin Automata + (Vincent Bloemen)
- Model checking with generalized Rabin and Fin-less automata + (Vincent Bloemen)
- Inside Vaucanson + (Thomas Claveirole)
- Implementation Concepts in Vaucanson 2 + (Akim Demaille)
- Introducing Vaucanson + (Sylvain Lombardy)
- Introducing Vaucanson + (Sylvain Lombardy)
- A Type System for Weighted Automata and Rational Expressions + (Akim Demaille)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (Badis Hammi)
- Using the Mumford-Shah segmentation for Text Detection in images + (James Batten)
- Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images + (James Batten)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- Olena/RoadMap + (David Lesage)
- People/Jean Chalard + (Jean Chalard)
- People/Jean-Baptiste Mouret + (Jean-Baptiste Mouret)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (Thierry Géraud)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- Obtaining genericity for image processing and pattern recognition algorithms + (Thierry Géraud)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (Thierry Géraud)
- People/Jean-Luc Bounthong + (Jean-Luc Bounthong)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (Jean-Luc Bounthong)
- Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur + (Jean-Luc Bounthong)
- Boltzmann Machine in speaker verification + (Jean-Luc Bounthong)
- Speaker specific i-vector channel compensation in speaker recognition + (Jean-Luc Bounthong)
- People/Jean-Marie Santoni-Costantini + (Jean-Marie Santoni-Costantini)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (Alexandre Duret-Lutz)
- Fictious Play + (Jean-Philippe Garcia Ballester)
- Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques + (Jean-Philippe Garcia Ballester)
- People/Jean-Philippe Garcia-Ballester + (Jean-Philippe Garcia-Ballester)
- People/Jean-Sébastien Mouret + (Jean-Sébastien Mouret)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology + (Daniel Maldonado-Ruiz)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (Daniel Maldonado-Ruiz)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Monads in Common Lisp + (Jim Newton)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (Jim Newton)
- Approaches in Typecase Optimization + (Jim Newton)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (Jim Newton)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set + (Jim Newton)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Jim Newton)
- Finding Maximal Common Joins in a DAG + (Jim Newton)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (Jim Newton)
- Representing and Computing with Types in Dynamically Typed Languages + (Jim Newton)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (Jim Newton)
- Implementing Baker's SUBTYPEP decision procedure + (Léo Valais)
- Performance Comparison of Several Folding Strategies + (Jim Newton)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (Jim Newton)
- A Portable, Simple, Embeddable Type System + (Jim Newton)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (Jim Newton)
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation + (Jimmy Francky Randrianasoa)
- People/Jimmy Ma + (Jimmy Ma)
- Boosting Vaucanson's Iterator + (Jimmy Ma)
- Les automates en traitement automatique des langues naturelles + (Jimmy Ma)
- Automata in Natural Language Processing + (Jimmy Ma)
- Booster les itérateurs de Vaucanson + (Jimmy Ma)
- People/Jimmy Yeh + (Jimmy Yeh)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (Jimmy Yeh)