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
- Estimation of the noise level function in natural images using the tree of shapes + (Baptiste Esteban)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (Baptiste Esteban)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (Baptiste Esteban)
- 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 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 Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- 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)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Text detection in street level image + (Jonathan Fabrizio)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes + (Rodrigo Minetto)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- People/Benjamin Raynal + (Benjamin Raynal)
- People/Benjamin Roux + (Benjamin Roux)
- Full Covariance Matrices based Gaussian Mixture Models + (Benjamin Roux)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (Benjamin Roux)
- SVM decision taking in I-Vector based Speaker Verification Systems + (Benjamin Roux)
- Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector + (Benjamin Roux)
- Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. + (Benjamin Roux)
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines + (Benjamin Roux)
- Olena/RoadMap + (David Lesage)
- A Set of Tools to Teach Compiler Construction + (Benoît Perrot)
- Past People + (Benoît Perrot)
- People/Benoît Perrot + (Benoît Perrot)
- Past People + (Yann Jacquelet)
- People/Benoît Sigoure + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- Semantics driven disambiguation: A comparison of different approaches + (Akim Demaille)
- Modeling of Sensor Networks Using XRM + (Akim Demaille)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (Akim Demaille)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- eXtended Reactive Modules + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (Benoît Sigoure)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Akim Demaille)
- eXtended Reactive Modules + (Benoît Sigoure)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Akim Demaille)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (Benoît Sigoure)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation + (Yizi Chen)
- ICDAR 2021 Competition on Historical Map Segmentation + (Joseph Chazalon)
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction + (Yizi Chen)
- A Benchmark of Named Entity Recognition Approaches in Historical Documents + (Nathalie Abadie)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- On Robustness for the Skolem and Positivity Problems + (S Akshay)
- 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)
- The Biosecure Geometry-based System for Hand Modality + (Geoffroy Fouquier)
- Error correcting code performance for watermark protection + (Jérôme Darbon)
- Person authentication based on hand shape + (Erdem Yoruk)
- Automatically Guided Selection of a Set of Underwater Calibration Images + (Laurent Beaudoin)
- Shape-based hand recognition + (Erdem Yörük)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- 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)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation + (Jimmy Francky Randrianasoa)
- Gradients Intégrés Renforcés + (Caroline Mazini-Rodrigues)
- Les types de couleur dans Milena + (Caroline Vigouroux)
- Color types in Milena + (Caroline Vigouroux)
- Olena Publications + (Edwin Carlinet)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- 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)
- Binding a high-performance C++ image processing library to Python + (Celian Gossec)
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python + (Celian Gossec)
- An efficient algorithm for attribute openings and closings + (Jérôme Darbon)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (David Lesage)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Detecting danger in marine environnement + (Charles Ginane)
- Détection de danger en milieu marin + (Charles Ginane)
- Detecting danger in marine environment: Part 1 - Making the dataset + (Charles Ginane)
- Détection de danger en milieu marin, Création du dataset + (Charles Ginane)
- LRDE's Speaker Verification Framework + (Charles Melin)
- LRDE's Speaker Verification Framework + (Charles Melin)
- People/Charles-Alban Deledalle + (Charles-Alban Deledalle)
- SVM Kernel Combining System for Speaker Verification + (Charles-Alban Deledalle)
- Factor analysis based channel compensation in speaker verification + (Charles-Alban Deledalle)
- LRDE System description + (Réda Dehak)
- Factor analysis based channel compensation in speaker verification + (Charles-Alban Deledalle)
- SVM Kernel Combining System for Speaker Verification + (Charles-Alban Deledalle)
- Report on the 5th Workshop ELW at ECOOP 2008 + (Didier Verna)
- Trie-based Output Itemset Sampling + (Lamine Diop)
- Web services at TERAPIX + (Olivier Ricou)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- 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)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (Lucas Drumetz)
- People/Christophe Berger + (Christophe Berger)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Christophe Berger)
- Using connected operators to manipulate image components + (Christophe Berger)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (Anthony Baillard)
- Using connected operators to manipulate image components + (Christophe Berger)
- Image taxonomy in Olena + (Christophe Berger)
- Image taxonomy in Olena + (Christophe Berger)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (Christophe Escobar)
- High-level Document Structure Analysis in the Olena Scribo Module + (Christophe Escobar)
- People/Christophe Kiciak + (Christophe Kiciak)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (Christophe Vermorel)
- Automatic maintenance of exported symbols in Common Lisp packages + (Christophe Vermorel)
- People/Christopher Chedeau + (Christopher Chedeau)
- Component Trees and Chaining Operators in Climb + (Christopher Chedeau)
- Arbres de composantes et opérateurs de chaînage + (Christopher Chedeau)
- Approche fonctionnelle de la généricité du traitement d'image + (Christopher Chedeau)
- JSPP: Morphing C++ into JavaScript + (Christopher Chedeau)
- Functionnal approach of image processing genericity + (Christopher Chedeau)
- Property based dispatch in functional languages + (Christopher Chedeau)
- Generic Image Processing with Climb + (Laurent Senta)
- Dispatch par propriétés dans les langages fonctionnels + (Christopher Chedeau)
- Décomposition d'un automate de Büchi Généralisé multi-force + (Claire Parquier)
- Strength-based decomposition of Büchi automaton + (Claire Parquier)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- People/Clément Démoulins + (Clément Démoulins)
- People/Clément Faure + (Clément Faure)
- Recherche de chemin acceptant bi-bande dans Spot + (Clément Gillard)
- Two-automaton accepting run search in Spot + (Clément Gillard)
- Two-automaton emptiness check in Spot + (Clément Gillard)
- Test de vacuité bi-bande dans Spot + (Clément Gillard)
- Counterexample searches in Spot + (Clément Gillard)
- Recherches de contrexemple dans Spot + (Clément Gillard)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Minh Ôn Vũ Ngoc)
- People/Clément Vasseur + (Clément Vasseur)
- Transformers: a C++ program transformation framework + (Robert Anisko)
- Semantics driven disambiguation: a comparison of different approaches + (Clément Vasseur)
- Semantics driven disambiguation: a comparison of different approaches + (Clément Vasseur)
- Transformers: a C++ program transformation framework + (Robert Anisko)
- People/Coddy Levi + (Coddy Levi)
- Extraction de l'inverse video dans SCRIBO. + (Coddy Levi)
- Inverse Video extraction in Scribo + (Coddy Levi)
- Inpainting variationnel par combinaison d'invariants + (Coddy Levi)
- Fast structure preserving inpainting + (Coddy Levi)
- Inpainting rapide préservant la structure + (Coddy Levi)
- Variational image inpainting by combination of features + (Coddy Levi)
- Hate Speech and Toxic Comment Detection using Transformers + (Pierre Guillaume)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Mouloud Iferroudjene)
- Polynomial Identification of omega-Language + (Corentin Pape)
- Identification Polynomiale des omega-Langages + (Corentin Pape)
- Towards the World-Wide Quantum Network + (Cuong Le Quoc)
- Stochastic routing in large grid-shaped quantum networks + (Cuong Le Quoc)
- On the security of quantum networks: a proposal framework and its capacity + (Cuong Le Quoc)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (Cédric Raud)
- Centaur: A generic framework simplifying C++ transformation + (Cédric Raud)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning + (Léonard Tschora)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN + (Luca Veyrin-Forrer)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (Pierre Duluard)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (Youcef Remil)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations + (Luca Veyrin-Forrer)
- On GNN Explainability with Activation Rules + (Luca Veyrin-Forrer)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)
- Improving the Quality of Rule-Based GNN Explanations + (Ataollah Kamal)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (Léonard Tschora)
- Cosine Similarity Scoring without Score Normalization Techniques + (Najim Dehak)
- A Channel-Blind System for Speaker Verification + (Najim Dehak)
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking + (Nicolas Widynski)
- People/Damien Lefortier + (Damien Lefortier)
- Traduction d'une LTL étendue en TGBA dans Spot + (Damien Lefortier)
- A new translation from LTL into TGBA in Spot + (Damien Lefortier)
- Translation of an extended LTL into TBGA in Spot + (Damien Lefortier)
- Nouvelle traduction de LTL en TGBA dans Spot + (Damien Lefortier)
- Translation of an extended LTL into TBGA in Spot + (Damien Lefortier)
- Traduction d'une LTL étendue en TGBA dans Spot + (Damien Lefortier)
- Olena/Assignments + (Giovanni Palma)
- People/Damien Thivolle + (Damien Thivolle)
- Canvas in Olena + (Damien Thivolle)
- Dynamization of C++ static libraries + (Nicolas Pouillard)
- Dynamization of C++ static libraries + (Nicolas Pouillard)
- Canvas in Olena + (Damien Thivolle)
- MITLL 2012 Speaker Recognition Evaluation System Description + (Jonas Borgstrom)
- 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)
- People/Daniela Becker + (Daniela Becker)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (Darine Al-Mohtar)
- Olena/Day + (Thierry Geraud)
- Olena/Paradigm2003 + (Sylvain Berlemont)
- Olena/RoadMap + (David Lesage)
- People/David Lesage + (David Lesage)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming + (Nicolas Burrus)
- People/David Moreira + (David Moreira)
- FSMXML pour Vaucanson 2.0 + (David Moreira)
- Vers Vaucanson 2.0 + (David Moreira)
- Implementing rational semiring + (David Moreira)
- FSMXML for Vaucanson 2.0 + (David Moreira)
- Implémentation du corps des (nombres) rationnels + (David Moreira)
- Towards Vaucanson 2.0 + (David Moreira)
- Papers about Vaucanson + (Akim Demaille)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (Alexandre Duret-Lutz)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Alexandre Duret-Lutz)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (Alexandre Duret-Lutz)
- 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)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (Alexandre Duret-Lutz)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Etienne Renault)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (Denis Poitrenaud)
- LTL under reductions with weaker conditions than stutter invariance + (Emmanuel Paviot-Adet)
- High throughput automated detection of axial malformations in fish embryo + (Diane Genest)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (Diane Genest)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (Alban Linard)
- Jobs/M2 DV 2014 conception-dsl + (Didier Verna)
- Jobs/M2 DV 2014 lisp-statistiques + (Didier Verna)
- Jobs/M2 DV 2014 conception-dsl/fr + (Didier Verna)
- Jobs/M2 DV 2014 lisp-statistiques/fr + (Didier Verna)
- Jobs/M2 2015 DV Conception DSL + (Didier Verna)
- Jobs/M2 2015 DV Lisp For Statistics + (Didier Verna)
- People/Didier Verna + (Didier Verna)
- Jobs/SPE DV 2015 interface graphique Qt + (Didier Verna)
- Jobs/M2 2016 DV Profiling for Climb + (Didier Verna)
- Jobs/M2 2016 DV Qt for Climb + (Didier Verna)
- Jobs/M2 2017 DV QuickRefs + (Didier Verna)
- Jobs/M2 2018 DV RTE + (Didier Verna)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (Yoann Fabre)
- Approaches in Typecase Optimization + (Jim Newton)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (Jim Newton)
- Revisiting the Visitor: the Just Do It Pattern + (Didier Verna)
- Lisp, Jazz, Aikido + (Didier Verna)
- How to make Lisp go faster than C + (Didier Verna)
- Extensible languages: blurring the distinction between DSLs and GPLs + (Didier Verna)
- Method Combinators + (Didier Verna)
- Beating C in Scientific Computing Applications + (Didier Verna)
- CLOS Efficiency: Instantiation + (Didier Verna)
- Star TeX : the Next Generation + (Didier Verna)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX + (Didier Verna)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Jim Newton)
- Context-Oriented Image Processing + (Didier Verna)
- Binary Methods Programming: the CLOS Perspective (extended version) + (Didier Verna)
- Binary Methods Programming: the CLOS Perspective + (Didier Verna)
- How to make Lisp go faster than C + (Didier Verna)
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them + (Didier Verna)
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) + (Didier Verna)
- Revisiting the Visitor: the Just Do It Pattern + (Didier Verna)
- Virtual reality and tele-operation: a common framework + (Didier Verna)
- The incredible tale of the author who didn't want to do the publisher's job + (Didier Verna)
- Action recognition: how intelligent virtual environments can ease human-machine interaction + (Didier Verna)
- CLOS solutions to binary methods + (Didier Verna)
- Towards LaTeX Coding Standards + (Didier Verna)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (Jim Newton)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (Jim Newton)
- Parallelizing Quickref + (Didier Verna)
- Implementing Baker's SUBTYPEP decision procedure + (Léo Valais)
- CLoX: Common Lisp objects for XEmacs + (Didier Verna)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (Jim Newton)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo + (Didier Verna)
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity + (Didier Verna)
- A Corpus Processing and Analysis Pipeline for Quickref + (Antoine Hacquard)
- ETAP: Experimental Typesetting Algorithms Platform + (Didier Verna)
- 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)
- People/Dimitri Papadopoulos-Orfanos + (Dimitri Papadopoulos-Orfanos)
- 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)
- Motion compensation based on Tangent Distance prediction for video compression + (Jonathan Fabrizio)
- Language Recognition via I-Vectors and Dimensionality Reduction + (Najim Dehak)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (E Royer)
- Euler Well-Composedness + (Nicolas Boutry)
- Strong Euler Wellcomposedness + (Nicolas Boutry)
- About + (Thierry Géraud)
- People/Edwin Carlinet + (Edwin Carlinet)
- An edge-based attribute filter dedicated to image segmentation + (Edwin Carlinet)
- A fast algorithm for auto-dual trees + (Edwin Carlinet)
- Filtrage à base de contours pour la segmentation d'images + (Edwin Carlinet)
- Morphological Object Picking Based on the Color Tree of Shapes + (Edwin Carlinet)
- A comparison of many max-tree computation algorithms + (Edwin Carlinet)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Edwin Carlinet)
- A Tree of Shapes for Multivariate Images + (Edwin Carlinet)