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
- 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)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- Going beyond p-convolutions to learn grayscale morphological operators + (Alexandre Kirszenberg)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (Romain Hermary)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Monads in Common Lisp + (Jim Newton)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (Jim Newton)
- Approaches in Typecase Optimization + (Jim Newton)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (Jim Newton)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set + (Jim Newton)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Jim Newton)
- Finding Maximal Common Joins in a DAG + (Jim Newton)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (Jim Newton)
- Representing and Computing with Types in Dynamically Typed Languages + (Jim Newton)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (Jim Newton)
- Implementing Baker's SUBTYPEP decision procedure + (Léo Valais)
- Performance Comparison of Several Folding Strategies + (Jim Newton)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (Jim Newton)
- A Portable, Simple, Embeddable Type System + (Jim Newton)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (Jim Newton)
- Olena Publications + (Edwin Carlinet)
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation + (Jimmy Francky Randrianasoa)
- Past People + (Yann Jacquelet)
- People/Jimmy Ma + (Jimmy Ma)
- Boosting Vaucanson + (Guillame Lazzara)
- Boosting Vaucanson's Iterator + (Jimmy Ma)
- Les automates en traitement automatique des langues naturelles + (Jimmy Ma)
- Automata in Natural Language Processing + (Jimmy Ma)
- Booster les itérateurs de Vaucanson + (Jimmy Ma)
- Boosting Vaucanson + (Guillame Lazzara)
- Papers about Vaucanson + (Akim Demaille)
- People/Jimmy Yeh + (Jimmy Yeh)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (Jimmy Yeh)
- Local channel compensated method in Speaker Recognition System + (Jimmy Yeh)
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur + (Jimmy Yeh)
- Compensation locale du canal dans les systèmes de reconnaissance du locuteur + (Jimmy Yeh)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (Joaquim Estopinan)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (Lucas Drumetz)
- 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)
- Constructing a braid of partitions from hierarchies of partitions + (Guillaume Tochon)