Technical reports

From LRDE

Title Authors Published in Date
newton.17.dtd.report Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set Jim Newton 2 February 2017
newton.16.monad.report Monads in Common Lisp Jim Newton 18 November 2016
newton.16.dag.report Finding Maximal Common Joins in a DAG Jim Newton 17 November 2016
newton.16.rte.report Efficient Dynamic Type Checking of Heterogeneous Sequences Jim Newton 22 February 2016
chedeau.12.tr JSPP: Morphing C++ into JavaScript Christopher Chedeau, Didier Verna 1 January 2012
duret.11.arxiv Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg 1 June 2011
darbon.06.tr A note on nice-levelable MRFs for SAR image denoising with contrast preservation Jérôme Darbon, Marc Sigelle, Florence Tupin 1 September 2006
darbon.05.tr A fast and exact algorithm for total variation minimization Jérôme Darbon, Marc Sigelle 1 January 2005
vaucanson.04.techrep Proposal: an XML representation for automata The Vaucanson group 1 November 2004
darbon.04.tr Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle 1 October 2004
lefebvre.04.tr Unified texture management for arbitrary meshes Sylvain Lefebvre, Jérôme Darbon, Fabrice Neyret 26 April 2004
clouard.99.tr Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images Régis Clouard, Abderrahim Elmoataz, François Angot, Olivier Lezoray, Alexandre Duret-Lutz 1 November 1999