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
- 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)