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
- LRDE Seminar on Performance and Genericity - Etendre le compilateur GCC avec MELT by Basile Starynkevitch (2013-05-22) + (May 22, 2013)
- Seminar/2013-05-22 + (May 22, 2013)
- Salient Level Lines Selection Using the Mumford-Shah Functional + (May 27, 2013)
- LRDE Seminar on Performance and Genericity - Langages de développement et sécurité -- Mind your language by Eric Jaeger et Olivier Levillain (2013-05-29) + (May 29, 2013)
- Seminar/2013-05-29 + (May 29, 2013)
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach + (June 7, 2013)
- Now online: Talk of CSI student Thomas Badie on Simulation-based Reductions for TGBA (2013-06-11) + (June 11, 2013)
- L'air de rien 27 + (June 12, 2013)
- Manipulating LTL formulas using Spot 1.0 + (June 15, 2013)
- LTL Model Checking with Neco + (June 15, 2013)
- L'air de rien 28 + (June 27, 2013)
- NewsEntry (2013/09/10) + (September 10, 2013)
- L'air de rien 29 + (September 18, 2013)
- NewsEntry (2013/10/09) + (October 9, 2013)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (October 9, 2013)
- Seminar/2013-10-09 + (October 9, 2013)
- NewsEntry (2013/10/23) + (October 23, 2013)
- NewsEntry (2013/11/01) + (November 1, 2013)
- Text detection in street level image + (November 5, 2013)
- NewsEntry (2013/11/13)2 + (November 13, 2013)
- Seminar/2013-11-13 + (November 13, 2013)
- NewsEntry (2013/12/04) + (December 4, 2013)
- Seminar/2013-12-04 + (December 4, 2013)
- NewsEntry (2013/12/05) + (December 5, 2013)
- Resources for the DAS 2014 submission + (December 10, 2013)
- NewsEntry (2013/12/11) + (December 11, 2013)
- Seminar/2013-12-11 + (December 11, 2013)
- Tree-based shape spaces: Definition and applications in image processing and computer vision + (December 12, 2013)
- NewsEntry (2013/12/12) + (December 12, 2013)
- NewsEntry (2013/12/18) + (December 18, 2013)
- NewsEntry (2014/01/22) + (January 22, 2014)
- NewsEntry (2014/02/03) + (February 3, 2014)
- Seminar/2014-02-05 + (February 5, 2014)
- NewsEntry (2014/02/12) + (February 12, 2014)
- NewsEntry (2014/02/14) + (February 14, 2014)
- NewsEntry (2014/02/18) + (February 18, 2014)
- Seminar/2014-02-18 + (February 18, 2014)
- NewsEntry (2014/02/21) + (February 21, 2014)
- LTL Translation Improvements in Spot 1.0 + (March 6, 2014)
- NewsEntry (2014/02/05) + (March 12, 2014)
- Seminar/2014-03-12 + (March 12, 2014)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (March 21, 2014)
- L'air de rien 30 + (March 21, 2014)
- NewsEntry (2014/03/28) + (March 28, 2014)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (April 1, 2014)
- A Morphological Tree of Shapes for Color Images + (April 2, 2014)
- NewsEntry (2014/05/05) + (May 5, 2014)
- NewsEntry (2014/05/12) + (May 12, 2014)
- NewsEntry (2014/05/14) + (May 14, 2014)
- Seminar/2014-05-14 + (May 14, 2014)
- A Type System for Weighted Automata and Rational Expressions + (May 20, 2014)
- NewsEntry (2014/05/23) + (May 23, 2014)
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (May 26, 2014)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images + (May 26, 2014)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform + (May 26, 2014)
- Meaningful disjoint level lines selection + (May 26, 2014)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (May 28, 2014)
- A Morphological Method for Music Score Staff Removal + (June 3, 2014)
- NewsEntry (2014/06/09) + (June 9, 2014)
- NewsEntry (2014/06/11) + (June 11, 2014)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (June 16, 2014)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (June 16, 2014)
- A Comparative Review of Component Tree Computation Algorithms + (June 16, 2014)
- NewsEntry (2014/06/17) + (June 17, 2014)
- NewsEntry (2014/06/24) + (June 24, 2014)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur + (July 1, 2014)
- L'air de rien 31 + (July 4, 2014)
- NewsEntry (2014/07/04) + (July 4, 2014)
- OlenaNewsEntry (2014/07/08) + (July 8, 2014)
- NewsEntry (2014/07/25) + (July 25, 2014)
- NewsEntry (2014/09/01) + (September 1, 2014)
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient + (September 10, 2014)
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking + (September 10, 2014)
- L'air de rien 32 + (September 12, 2014)
- NewsEntry (2014/09/25) + (September 25, 2014)
- Improving the Model Checking of Stutter-Invariant LTL Properties + (September 25, 2014)
- Tree-Based Morse Regions: A Topological Approach to Local Feature Detection + (October 3, 2014)
- NewsEntry (2014/10/15) + (October 15, 2014)
- Une généralisation du bien-composé à la dimension n + (November 17, 2014)
- Traitement d'images multivariées avec l'arbre des formes + (November 17, 2014)
- NewsEntry (2014/11/19) + (November 19, 2014)
- NewsEntry (2014/12/05) + (December 5, 2014)
- Contribution aux tests de vacuité pour le model checking explicite + (December 5, 2014)
- NewsEntry (2014/12/10) + (December 10, 2014)
- Seminar/2014-12-10 + (December 10, 2014)
- NewsEntry (2014/12/17) + (December 17, 2014)
- Seminar/2014-12-17 + (December 17, 2014)
- NewsEntry (2014/12/19) + (December 19, 2014)
- Context-Oriented Image Processing + (January 1, 2015)
- NewsEntry (2015/01/12) + (January 12, 2015)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (January 13, 2015)
- NewsEntry (2015/01/27) + (January 27, 2015)
- NewsEntry (2015/01/28) + (January 28, 2015)
- NewsEntry (2015/02/16) + (February 16, 2015)
- NewsEntry (2015/02/18) + (February 18, 2015)
- Seminar/2015-02-18 + (February 18, 2015)
- Single-pass Testing Automata for LTL Model Checking + (March 1, 2015)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (March 1, 2015)
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments + (March 1, 2015)
- NewsEntry (2015/03/16) + (March 16, 2015)
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way + (April 7, 2015)