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

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