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
- 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)