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
- NewsEntry (2017/06/13) + (June 13, 2017)
- NewsEntry (2017/06/14) + (June 14, 2017)
- Seminar/2017-06-14 + (June 14, 2017)
- Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage + (June 20, 2017)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales + (June 28, 2017)
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness + (June 29, 2017)
- L'air de rien 38 + (June 30, 2017)
- PaInleSS: a Framework for Parallel SAT Solving + (June 30, 2017)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (July 1, 2017)
- NewsEntry (2017/07/04) + (July 4, 2017)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (July 4, 2017)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (July 5, 2017)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode + (July 21, 2017)
- NewsEntry (2017/08/31) + (August 31, 2017)
- NewsEntry (2017/09/06)2 + (September 6, 2017)
- NewsEntry (2017/09/27) + (September 27, 2017)
- Seminar/2017-09-27 + (September 27, 2017)
- NewsEntry (2017/10/03) + (October 3, 2017)
- A Tutorial on Well-Composedness + (October 12, 2017)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (October 20, 2017)
- NewsEntry (2017/11/02) + (November 2, 2017)
- NewsEntry (2017/11/08) + (November 8, 2017)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (November 8, 2017)
- Seminar/2017-11-08 + (November 8, 2017)
- NewsEntry (2017/11/13) + (November 13, 2017)
- Seminar/2017-11-29 + (November 29, 2017)
- Seminar/2017-12-13 + (December 13, 2017)
- Derived-Term Automata of Multitape Expressions with Composition + (December 29, 2017)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (January 5, 2018)
- NewsEntry (2018/01/20) + (January 20, 2018)
- NewsEntry (2018/01/24) + (January 24, 2018)
- Saliency-Based Detection of Identity Documents Captured by Smartphones + (February 2, 2018)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms + (February 2, 2018)
- Lisp, Jazz, Aikido + (February 5, 2018)
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (February 6, 2018)
- NewsEntry (2018/03/08) + (March 8, 2018)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (March 22, 2018)
- Method Combinators + (March 25, 2018)
- NewsEntry (2018/03/29) + (March 29, 2018)
- Parallel Computation of Component Trees on Distributed Memory Machines + (April 2, 2018)
- Approaches in Typecase Optimization + (April 5, 2018)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (April 10, 2018)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes + (May 4, 2018)
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage + (May 4, 2018)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (May 10, 2018)
- Real-Time Document Detection in Smartphone Videos + (May 10, 2018)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (May 10, 2018)
- Real-Time Document Detection in Smartphone Videos + (May 10, 2018)
- NewsEntry (2018/05/14) + (May 14, 2018)
- NewsEntry (2018/05/18) + (May 18, 2018)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (June 1, 2018)
- Reactive Synthesis from LTL Specification with Spot + (June 7, 2018)
- NewsEntry (2018/06/13) + (June 13, 2018)
- Seminar/2018-06-13 + (June 13, 2018)
- Improving Parallel State-Space Exploration Using Genetic Algorithms + (June 14, 2018)
- NewsEntry (2018/07/03) + (July 3, 2018)
- NewsEntry (2018/07/04) + (July 4, 2018)
- Weakly Well-Composed Cell Complexes over nD Pictures + (July 4, 2018)
- Seminar/2018-07-04 + (July 4, 2018)
- NewsEntry (2018/08/03) + (August 3, 2018)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (August 28, 2018)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (September 14, 2018)
- Document detection in videos captured by smartphones using a saliency-based method + (September 20, 2018)
- NewsEntry (2018/10/01) + (October 1, 2018)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina + (October 25, 2018)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming + (October 25, 2018)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (October 25, 2018)
- Representing and Computing with Types in Dynamically Typed Languages + (November 1, 2018)
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure + (November 5, 2018)
- NewsEntry (2018/11/20) + (November 20, 2018)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach + (November 26, 2018)
- High throughput automated detection of axial malformations in fish embryo + (November 29, 2018)
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. + (December 1, 2018)
- NewsEntry (2018/12/13) + (December 13, 2018)
- NewsEntry (2018/12/14) + (December 14, 2018)
- Seminar/2018-12-14 + (December 14, 2018)
- Motion Compensation in Digital Holography for Retinal Imaging + (December 19, 2018)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (January 14, 2019)
- NewsEntry (2019/01/16) + (January 16, 2019)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (January 22, 2019)
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way + (February 4, 2019)
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (February 13, 2019)
- NewsEntry (2019/03/01) + (March 1, 2019)
- NewsEntry (2019/03/04) + (March 4, 2019)
- NewsEntry (2019/03/06) + (March 6, 2019)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D + (March 13, 2019)
- Introducing Multivariate Connected Openings and Closings + (March 13, 2019)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (March 13, 2019)
- Constructing a braid of partitions from hierarchies of partitions + (March 13, 2019)
- Parallelizing Quickref + (April 1, 2019)
- Model checking with generalized Rabin and Fin-less automata + (April 1, 2019)
- Implementing Baker's SUBTYPEP decision procedure + (April 1, 2019)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (April 10, 2019)
- NewsEntry (2019/04/10) + (April 10, 2019)
- Seminar/2019-04-10 + (April 10, 2019)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (April 11, 2019)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (June 7, 2019)
- Filtres connexes multivariés par fusion d'arbres de composantes + (June 14, 2019)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (June 14, 2019)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures + (June 18, 2019)
- NewsEntry (2019/07/01) + (July 1, 2019)