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

• Building LTL Model Checkers using Transition-based Generalized Büchi Automata  + (June 1, 2011)
• LRDE Seminar on Performance and Genericity (2011-06-15)  + (June 15, 2011)
• Seminar/2011-06-15  + (June 15, 2011)
• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking  + (June 23, 2011)
• Guillaume Lazzara invited to the LORIA in Nancy (2011-06-24)  + (June 24, 2011)
• L'air de rien 21  + (July 4, 2011)
• LRDE Seminar on Performance and Genericity (2011-07-06)  + (July 6, 2011)
• Seminar/2011-07-06  + (July 6, 2011)
• LTL Translation Improvements in Spot  + (July 25, 2011)
• Language Recognition via I-Vectors and Dimensionality Reduction  + (August 1, 2011)
• L'air de rien 22  + (September 12, 2011)
• OlenaNewsEntry (2011/09/16)  + (September 16, 2011)
• Olena 2.0 is released (2011-09-16)  + (September 16, 2011)
• OlenaNewsEntry (2011/09/21)  + (September 21, 2011)
• The LRDE hosts a new member: Benjamin Raynal (2011-09-26)  + (September 26, 2011)
• Vaucanson 1.4 is released (2011-09-28)  + (September 28, 2011)
• The LRDE hosts a new member: Étienne Renault (2011-10-03)  + (October 3, 2011)
• L'air de rien 23  + (October 10, 2011)
• LRDE Seminar on Performance and Genericity (2011-10-26)  + (October 26, 2011)
• Seminar/2011-10-26  + (October 26, 2011)
• Towards a Software Architecture for Generic Image Processing  + (November 1, 2011)
• Roland Levillain defends his Ph.D. thesis (2011-11-15)  + (November 15, 2011)
• LRDE Seminar on Performance and Genericity (2011-11-16)  + (November 16, 2011)
• Seminar/2011-11-16  + (November 16, 2011)
• The LRDE Progress Report 2010 is available now. (2011-12-06)  + (December 6, 2011)
• Project TerraRush (TerraRush- French Version) accepted (2011-12-26)  + (December 26, 2011)

• JSPP: Morphing C++ into JavaScript  + (January 1, 2012)
• Model Checking using Generalized Testing Automata  + (January 1, 2012)
• Star TeX : the Next Generation  + (January 1, 2012)

• Project eTourismeAugmenté - French version) accepted (2012-01-16)  + (January 16, 2012)
• L'air de rien 24  + (February 2, 2012)
• The LRDE participates in the conference dedicated to "Free Software and higher Education" organized by IRILL at IRILL, Paris; more info on this page (2012-02-02)  + (February 2, 2012)
• Motion compensation based on Tangent Distance prediction for video compression  + (February 9, 2012)
• LRDE Seminar on Performance and Genericity (2012-02-15)  + (February 15, 2012)
• LRDE Seminar on Performance and Genericity (2012-03-14)  + (March 14, 2012)
• Seminar/2012-03-14  + (March 14, 2012)
• LRDE Seminar on Performance and Genericity (2012-03-21)  + (March 21, 2012)
• Seminar/2012-03-21  + (March 21, 2012)
• Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at ESIEE (2012-04-12)  + (April 12, 2012)
• Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes  + (April 17, 2012)
• Generic Image Processing with Climb  + (May 1, 2012)
• L'air de rien 25  + (May 9, 2012)
• Spot 0.9 released (2012-05-09)  + (May 9, 2012)
• LRDE Seminar on Performance and Genericity (2012-05-09)  + (May 9, 2012)
• Seminar/2012-05-09  + (May 9, 2012)
• OlenaNewsEntry (2012/05/16)  + (May 16, 2012)
• Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes  + (June 1, 2012)
• First Attempt at Boltzmann Machines for Speaker Recognition  + (June 1, 2012)
• Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations  + (June 16, 2012)
• LRDE Seminar on Performance and Genericity (2012-06-20)  + (June 20, 2012)
• Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at ENSTA (2012-06-20)  + (June 20, 2012)
• Seminar/2012-06-20  + (June 20, 2012)
• OlenaNewsEntry (2012/06/25)  + (June 25, 2012)