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
- Program templates: expression templates applied to program evaluation + (Francis Maes)
- People/Franck Coppola + (Franck Coppola)
- 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)
- 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)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- 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)
- Document type recognition using evidence theory + (Thierry Géraud)
- 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)
- 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)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- 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)
- Past People + (Yann Jacquelet)
- People/Guillaume Leroi + (Guillaume Leroi)
- Synchronized Tranducers + (Guillaume Leroi)
- Transducteurs synchronisés + (Guillaume Leroi)
- Papers about Vaucanson + (Akim Demaille)
- 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)
- A Promela front-end for Spot + (Guillaume Sadegh)
- Complementing Büchi Automata + (Guillaume Sadegh)
- Complementing Büchi Automata With Alternating Automata + (Guillaume Sadegh)
- Front-end Promela dans Spot + (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)
- Past People + (Guillaume Sadegh)
- People/Guillaume Sadegh + (Guillaume Sadegh)
- Améliorer l'architecture de Vaucanson 2 + (Guillaume Sanchez)
- Improving Vaucanson's design + (Guillaume Sanchez)
- Papers about Vaucanson + (Akim Demaille)
- 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)
- Olena Publications + (Edwin Carlinet)
- 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)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- 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)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (Najim Dehak)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- Report on the 5th Workshop ELW at ECOOP 2008 + (Didier Verna)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- 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)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- 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)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- 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)
- Past People + (Yann Jacquelet)
- 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)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (Geoffroy Fouquier)
- 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)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (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)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- 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)
- 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)
- 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)