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
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- Olena Publications + (Edwin Carlinet)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- Obtaining genericity for image processing and pattern recognition algorithms + (Thierry Géraud)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (Thierry Géraud)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- People/Jean-Luc Bounthong + (Jean-Luc Bounthong)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (Jean-Luc Bounthong)
- Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur + (Jean-Luc Bounthong)
- Boltzmann Machine in speaker verification + (Jean-Luc Bounthong)
- Speaker specific i-vector channel compensation in speaker recognition + (Jean-Luc Bounthong)
- People/Jean-Marie Santoni-Costantini + (Jean-Marie Santoni-Costantini)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (Alexandre Duret-Lutz)
- Fictious Play + (Jean-Philippe Garcia Ballester)
- Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques + (Jean-Philippe Garcia Ballester)
- People/Jean-Philippe Garcia-Ballester + (Jean-Philippe Garcia-Ballester)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (Michael Atlan)
- Past People + (Yann Jacquelet)
- People/Jean-Sébastien Mouret + (Jean-Sébastien Mouret)
- 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)
- A Portable, Simple, Embeddable Type System + (Jim Newton)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (Jim Newton)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set + (Jim Newton)
- Approaches in Typecase Optimization + (Jim Newton)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (Jim Newton)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (Jim Newton)
- Finding Maximal Common Joins in a DAG + (Jim Newton)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (Jim Newton)
- Implementing Baker's SUBTYPEP decision procedure + (Jim Newton)
- Monads in Common Lisp + (Jim Newton)
- Performance Comparison of Several Folding Strategies + (Jim Newton)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Jim Newton)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (Jim Newton)
- Representing and Computing with Types in Dynamically Typed Languages + (Jim Newton)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (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)