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
- Effective Reductions of Mealy Machines + (Florian Renkin)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Past People + (Yann Jacquelet)
- People/Francis Maes + (Francis Maes)
- Metagene, a C++ meta-program generation tool + (Francis Maes)
- Program templates: expression templates applied to program evaluation + (Francis Maes)
- People/Franck Coppola + (Franck Coppola)
- Document type recognition using evidence theory + (Thierry Géraud)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (František Blahoudek)
- Seminator: A Tool for Semi-Determinization of Omega-Automata + (František Blahoudek)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- On Refinement of Büchi Automata for Explicit Model Checking + (František Blahoudek)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (František Blahoudek)
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images + (Régis Clouard)
- People/François Ripault + (François Ripault)
- La programmation orientée contexte appliquée au traitement d'images + (François Ripault)
- Optimisation en Common Lisp et son application à Climb + (François Ripault)
- Context-Oriented Image Processing + (Didier Verna)
- Optimization in Common Lisp, and its application to Climb + (François Ripault)
- Coercition et programmation orientée contexte + (François Ripault)
- Context-oriented programming applied to image processing + (François Ripault)
- On coercion in Context-Oriented Programming + (François Ripault)
- MITLL 2012 Speaker Recognition Evaluation System Description + (Jonas Borgstrom)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (Frederic Grelot)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Web services at TERAPIX + (Olivier Ricou)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Alessandro Abate)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- Probabilistic abstraction for model checking: an approach based on property testing + (Sophie Laplante)
- Past People + (Yann Jacquelet)
- People/Félix Abecassis + (Félix Abecassis)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (Gabriele Cavallaro)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Markus Götz)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- People/Geoffroy Fouquier + (Geoffroy Fouquier)
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization + (Alexis Angelidis)
- The Biosecure Geometry-based System for Hand Modality + (Geoffroy Fouquier)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (Geoffroy Fouquier)
- Document type recognition using evidence theory + (Thierry Géraud)
- People/Geoffroy Querol + (Geoffroy Querol)
- SVM-MLLR for multi-speaker verification systems score fusion + (Geoffroy Querol)
- Speaker recognition evaluation: selective approaches and fusion + (Geoffroy Querol)
- SVM-MLLR et fusion pour la vérification du locuteur + (Geoffroy Querol)
- Speaker recognition evaluation: selective approaches and fusion + (Geoffroy Querol)
- Posets With Interfaces as a Model for Concurrency + (Uli Fahrenberg)
- A Kleene Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Catoids and Modal Convolution Algebras + (Uli Fahrenberg)