Technical reports
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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 |