Semantic search

  • Spot 2.3 was released — 19 January 2017
    This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties.
  • The LRDE hosts a new member, Joseph Chazalon, Research Fellow. — 17 January 2017
    Joseph Chazalon, postdoc from Laboratoire Image, Informatique et Interaction (L3i) at Université de
    La Rochelle, has joined the lab for several months and will work on the MOBIDEM project.
  • The LRDE hosts a new member, Elodie Puybareau, research engineer, who joins the Olena team. — 1 January 2017
    Holding an engineering degree in medical imaging and a PhD in computer science from LIGM, ESIEE, Elodie has worked mainly on automatic extraction of physiological parameters from videos.
    She joins LRDE's Olena team where she will work on the MOBIDEM project, especially on automatic extraction of text from images of identity papers.
  • Nicolas Boutry defends his PhD thesis "A study of well-composedness in n-D" at ESIEE at 2pm. — 14 December 2016