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

• On Robustness for the Skolem and Positivity Problems  + (S Akshay)
• Approximate Nash Equilibria for Multi-Player Games  + (Sébastien Hémon)
• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (František Blahoudek)
• Saliency-Based Detection of Identity Documents Captured by Smartphones  + (Minh Ôn Vũ Ngoc)
• Olena Publications  + (Edwin Carlinet)
• A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation  + (Minh Ôn Vũ Ngoc)
• Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  + (Minh Ôn Vũ Ngoc)
• Introducing the Boundary-Aware Loss for Deep Image Segmentation  + (Minh Ôn Vũ Ngoc)
• Document detection in videos captured by smartphones using a saliency-based method  + (Minh Ôn Vũ Ngoc)
• Topology-Aware Method to Segment 3D Plan Tissue Images  + (Minh Ôn Vũ Ngoc)
• The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images  + (Minh Ôn Vũ Ngoc)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)

• An Innovative and Decentralized Identity Framework Based on Blockchain Technology  + (Mohamad Badra)
• Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey  + (Mohamad Badra)
• New Security Protocols for Offline Point-of-Sale Machines  + (Mohamad Badra)

• Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata  + (Ala Eddine Ben Salem)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• 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)
• Parallel Computation of Component Trees on Distributed Memory Machines  + (Markus Götz)
• Methods for Explaining Top-N Recommendations Through Subgroup Discovery  + (Mouloud Iferroudjene)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions  + (Maelle Moranges)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• People/Myriam Robert-Seidowsky  + (Myriam Robert-Seidowsky)
• Past People  + (Yann Jacquelet)
• TextCatcher: A method to detect curved and challenging text in natural scenes  + (Jonathan Fabrizio)
• A Self-Adaptive Likelihood Function for Tracking with Particle Filter  + (Séverine Dubuisson)
• TextTrail: A Robust Text Tracking Algorithm In Wild Environments  + (Myriam Robert-Seidowsky)
• 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)
• SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode  + (J Chazalon)
• Language Recognition via I-Vectors and Dimensionality Reduction  + (Najim Dehak)
• The MIT Lincoln Laboratory 2016 Speaker Recognition System  + (Pedro A Torres-Carrasquillo)
• GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification  + (Najim Dehak)
• The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation  + (Réda Dehak)
• LRDE Speaker Recognition System for NIST-SRE 2010  + (Réda Dehak)
• Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification  + (Najim Dehak)