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

• The incredible tale of the author who didn't want to do the publisher's job  + (Didier Verna)
• Action recognition: how intelligent virtual environments can ease human-machine interaction  + (Didier Verna)
• CLOS solutions to binary methods  + (Didier Verna)
• Towards LaTeX Coding Standards  + (Didier Verna)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  + (Jim Newton)
• Finite Automata Theory Based Optimization of Conditional Variable Binding  + (Jim Newton)
• Parallelizing Quickref  + (Didier Verna)
• Implementing Baker's SUBTYPEP decision procedure  + (Léo Valais)
• CLoX: Common Lisp objects for XEmacs  + (Didier Verna)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (Jim Newton)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (Didier Verna)
• (Dynamic (Programming Paradigms)) ;; Performance and Expressivity  + (Didier Verna)
• A Corpus Processing and Analysis Pipeline for Quickref  + (Antoine Hacquard)
• ETAP: Experimental Typesetting Algorithms Platform  + (Didier Verna)
• 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)
• People/Dimitri Papadopoulos-Orfanos  + (Dimitri Papadopoulos-Orfanos)
• 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)
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (Li Wang)
• Motion compensation based on Tangent Distance prediction for video compression  + (Jonathan Fabrizio)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• Trie-based Output Itemset Sampling  + (Lamine Diop)

• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Dong Ni)

• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (Li Wang)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• MITLL 2012 Speaker Recognition Evaluation System Description  + (Jonas Borgstrom)
• Language Recognition via I-Vectors and Dimensionality Reduction  + (Najim Dehak)
• The MIT Lincoln Laboratory 2016 Speaker Recognition System  + (Pedro A Torres-Carrasquillo)
• On GNN Explainability with Activation Rules  + (Luca Veyrin-Forrer)
• 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)
• Euler Well-Composedness  + (Nicolas Boutry)
• Strong Euler Wellcomposedness  + (Nicolas Boutry)
• Past People  + (Yann Jacquelet)
• About  + (Thierry Géraud)
• People/Edwin Carlinet  + (Edwin Carlinet)
• An edge-based attribute filter dedicated to image segmentation  + (Edwin Carlinet)
• A fast algorithm for auto-dual trees  + (Edwin Carlinet)
• Filtrage à base de contours pour la segmentation d'images  + (Edwin Carlinet)
• Morphological Object Picking Based on the Color Tree of Shapes  + (Edwin Carlinet)
• A comparison of many max-tree computation algorithms  + (Edwin Carlinet)
• The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm  + (Edwin Carlinet)
• A Tree of Shapes for Multivariate Images  + (Edwin Carlinet)
• Une approche morphologique de segmentation interactive avec l'arbre des formes couleur  + (Edwin Carlinet)
• Component trees in Milena  + (Edwin Carlinet)
• Un algorithme rapide pour l'arbre auto-dual  + (Edwin Carlinet)
• Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes  + (Gabriele Cavallaro)