Technical reports

From LRDE

Revision as of 10:52, 18 September 2013 by Clément Démoulins (talk | contribs)
 AuthorsTitleDate
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a SetJim NewtonAnalysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set2 February 2017
Monads in Common LispJim NewtonMonads in Common Lisp18 November 2016
Finding Maximal Common Joins in a DAGJim NewtonFinding Maximal Common Joins in a DAG17 November 2016
Efficient Dynamic Type Checking of Heterogeneous SequencesJim NewtonEfficient Dynamic Type Checking of Heterogeneous Sequences22 February 2016
JSPP: Morphing C++ into JavaScriptChristopher Chedeau
Didier Verna
JSPP: Morphing C++ into JavaScript1 January 2012
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model CheckingAlexandre Duret-Lutz
Kais Klai
Denis Poitrenaud
Yann Thierry-Mieg
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking1 June 2011
A note on nice-levelable MRFs for SAR image denoising with contrast preservationJérôme Darbon
Marc Sigelle
Florence Tupin
A note on nice-levelable MRFs for SAR image denoising with contrast preservation1 September 2006
A fast and exact algorithm for total variation minimizationJérôme Darbon
Marc Sigelle
A fast and exact algorithm for total variation minimization1 January 2005
Proposal: an XML representation for automataThe Vaucanson groupProposal: an XML representation for automata1 November 2004
Exact optimization of discrete constrained total variation minimization problemsJérôme Darbon
Marc Sigelle
Exact optimization of discrete constrained total variation minimization problems1 October 2004
Unified texture management for arbitrary meshesSylvain Lefebvre
Jérôme Darbon
Fabrice Neyret
Unified texture management for arbitrary meshes26 April 2004
Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'imagesRégis Clouard
Abderrahim Elmoataz
François Angot
Olivier Lezoray
Alexandre Duret-Lutz
Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images1 November 1999