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
- MITLL 2012 Speaker Recognition Evaluation System Description + (December 1, 2012)
- The LRDE hosts a new member, Clément Démoulins, Research Engineer (2012-12-01) + (December 1, 2012)
- Alexandre Duret-Lutz invited to give a talk at Faculty of Informatics, Masaryk University, Czech Republic (2012-12-03) + (December 3, 2012)
- Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at MeFoSyLoMa (2012-12-07) + (December 7, 2012)
- The incredible tale of the author who didn't want to do the publisher's job + (January 1, 2013)
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) + (January 1, 2013)
- Didier Verna will hold a 90 minutes session with the title "The Bright Side of Exceptions" at ACCU 2013 (2013-01-03) + (January 3, 2013)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (January 8, 2013)
- LRDE Seminar on Performance and Genericity - Amélioration du design et des performances des machines virtuelles langages by Gaël Thomas (2013-01-23) + (January 23, 2013)
- LRDE Seminar on Performance and Genericity - Une représentation d'images 2D discrète, continue et auto-duale by Thierry Géraud (2013-02-20) + (February 20, 2013)
- Seminar/2013-02-20 + (February 20, 2013)
- The LRDE hosts a new member, Myriam Robert-Seidowsky, Research Engineer (2013-03-01) + (March 1, 2013)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (March 14, 2013)
- A comparison of many max-tree computation algorithms + (March 14, 2013)
- Discrete set-valued continuity and interpolation + (March 14, 2013)
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity + (March 14, 2013)
- LRDE Seminar on Performance and Genericity - SMIL : Simple Morphological Image Library by Matthieu Faessel et Michel Bilodeau (2013-03-27) + (March 27, 2013)
- OlenaNewsEntry (2013-03-28) + (March 28, 2013)
- OlenaNewsEntry (2013-04-03) + (April 3, 2013)
- LRDE Seminar on Performance and Genericity - Designing robust distributed systems with weakly interacting feedback structures by Peter Van Roy (2013-04-24) + (April 24, 2013)
- Efficient Multiscale Sauvola's Binarization + (April 25, 2013)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (April 28, 2013)
- Spot 1.1 released (2013-04-28) + (April 28, 2013)
- ProjectLINXV2 (LINXV2- French Version) started (2013-05-01) + (May 1, 2013)