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

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

• A framework to dynamically manage distributed virtual environments  + (Emmanuel Marchand)
• An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments  + (Emmanuel Marchand)
• People/Emmanuel Marchand  + (Emmanuel Marchand)

• polyDD: Towards a Framework Generalizing Decision Diagrams  + (Alban Linard)
• LTL under reductions with weaker conditions than stutter invariance  + (Emmanuel Paviot-Adet)
• Past People  + (Yann Jacquelet)
• 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)
• Olena Publications  + (Edwin Carlinet)
• 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)
• Heuristics for Checking Liveness Properties with Partial Order Reductions  + (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)
• Contribution aux tests de vacuité pour le model checking explicite  + (Etienne Renault)
• Three SCC-based Emptiness Checks for Generalized Büchi Automata  + (Etienne Renault)