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
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity +
- A Study of Well-Composedness in n-D +
- A Tree of Shapes for Multivariate Images +
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images +
- Contribution aux tests de vacuité pour le model checking explicite +
- Contributions to LTL and ω-Automata for Model Checking +
- Génération efficace de grands espaces d'états +
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
- Improving the Model Checking of Stutter-Invariant LTL Properties +
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) +
- Non-iterative methods for image improvement in digital holography of the retina +
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes +
- Representing and Computing with Types in Dynamically Typed Languages +
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification +
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. +
- Towards a Software Architecture for Generic Image Processing +
- Towards more efficient parallel SAT solving +
- Tree-based shape spaces: Definition and applications in image processing and computer vision +