Student Reports

Warren Seine. Integrating modern parallel techniques in the Tiger Compiler. CSI Seminar 0911 January 2010

Guillaume Sadegh. Complementation of Büchi automata. CSI Seminar 0915 January 2010

Vincent Ordy. Study and Analysis of C++ Extension Conception with Transformers. CSI Seminar 0913 January 2010

Damien Lefortier. A new translation from LTL into TGBA in Spot. CSI Seminar 0912 January 2010

Jérôme Galtier. Adapting the data structures of Vaucanson to the concept of kind and to a new interface. CSI Seminar 0916 January 2010

Florent D'Halluin. Adapting Vaucanson algorithms to a simpler interface. CSI Seminar 0914 January 2010

Damien Lefortier. Translation of an extended LTL into TBGA in Spot. CSI Seminar May 2009

Guillaume Sadegh. Complementing Büchi automata. CSI Seminar 0903 June 2009

Alex Hamelin. Property based class hierarchy of Vaucanson's Algebra module. CSI Seminar 0905 May 2009

Etienne Folio. Histograms. CSI Seminar 0907 June 2009

Samuel Da Mota. Nondeterminisation of alternating automata in SPOT. CSI Seminar 0908 June 2009

Edwin Carlinet. Component tree in Milena. CSI Seminar 0910 June 2009

Warren Seine. An implementation of the C++ container library with SCOOL. CSI Seminar 0904 May 2009

Vincent Ordy. Adding Contracts to C++ with Transformers. CSI Seminar 0901 May 2009

Jérôme Galtier. Remedial treatment for Vaucanson: an enhanced automaton concept. CSI Seminar 0909 May 2009

Loïc Denuzière. CLIMB: a dynamic approach to generic image processing. CSI Seminar 0906 May 2009

Florent D'Halluin. Benchmarking Vaucanson and large C++ libraries with CBS. CSI Seminar 0902 May 2009

Ugo Jardonnet. Image reconstruction. CSI Seminar 0831 December 2008

Maxime van Noppen, Roland Levillain, Akim Demaille. Introducing SCOOL. CSI Seminar van-noppen.09.dslwc January 2009

Jimmy Ma. Automata in Natural Language Processing. CSI Seminar 0834 January 2009

Florian Lesaint. Synchronous relations in Vaucanson. CSI Seminar 0833 January 2009

Vivien Delmon. Automata Reduction. CSI Seminar 0830 January 2009

Nicolas Ballas. Properties in Milena. CSI Seminar 0829 January 2009

Alexandre Abraham. Morphology on Color Images. CSI Seminar 0835 January 2009

Antoine Leblanc. Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games. CSI Seminar 0837 January 2009

Caroline Vigouroux. Color types in Milena. CSI Seminar 0809 02/07/2008

Warren Seine. C++ template disambiguation with Transformers Attribute Grammars. CSI Seminar 0811 July 2008

Guillaume Sadegh. A Promela front-end for Spot. CSI Seminar 0817 July 2008

Cedric Raud. Centaur : A generic framework to simplify C++ transformation. CSI Seminar 0823 July 2008

Vincent Ordy. Implementing a C++ extension: class namespaces. CSI Seminar 0813 July 2008

Antoine Legrand. GLDS kernels in speaker-ID. CSI Seminar 0819 July 2008

Damien Lefortier. Translation of an extended LTL into TBGA in Spot. CSI Seminar 0807 July 2008

Jérôme Galtier. Improving Vaucanson's transducers composition algorithm. CSI Seminar 0824 July 2008

Etienne Folio. Distance transform. CSI Seminar 0806 July 2008

Florent D'Halluin. Yet Another Vaucanson GUI. CSI Seminar 0822 July 2008

Jardonnet Ugo. Fast Image Registration. CSI seminar 0808 June 2008

Matthieu Garrigues. Fast Level Line Transform. CSI Seminar 0814 25/06/2008

, Maxime van Noppen. SCOOL: Generic programming and concepts. CSI Seminar 0816 May 2008

, Florian Quèze. C++ Program Slicing with Transformers. CSI Seminar 0825 LRDE May 2008

Jimmy Ma. Boosting Vaucanson's Iterators.. CSI Seminar 0820 June 2008

Florian Lesaint. FSMXML and its application in Vaucanson. CSI Seminar 0818 May 2008

Antoine Leblanc. Alternate Fictitious Play study and implementation. CSI Seminar 0826 2008

Delmon Vivien. Rational Expression Parser. CSI Seminar 0810 June 2008

Nicolas Ballas. Image taxonomy in Milena. CSI Seminar 0812 June 2008

Alexandre Abraham. Topological Watershed. CSI Seminar 0821 25/06/08

, Benoît Sigoure (with Akim Demaille and Roland Levillain). Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages. CSI Seminar 0769 January 2008

Akim Demaille and Renaud Durlin and Nicolas Pierron and Benoît Sigoure. Automatic Attribute Propagation for Modular Attribute Grammars. CSI Seminar 0801 January 2008

Nicolas Neri. Transfinite Chomp. CSI Seminar 16 January 2008

Quentin Hocquet and Benoît Sigoure. revCPP: A reversible C++ preprocessor. CSI Seminar 0742 January 2008

Jean Philippe Garcia Ballester. Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques. CSI Seminar 09 January 2008

Renaud Durlin. Semantics driven disambiguation: A comparison of different approaches. CSI Seminar 0802 January 2008

Charles Deledalle. SVM Kernel Combining System for Speaker Verification. CSI Seminar 0757 January 2008

Geoffroy Querol. SVM-MLLR for multi-system speaker recognition. CSI seminar 0756 December 2007

Florian Lesaint. XML Proposal and its Application in Vaucanson. CSI Seminar 0744 May 2007

Guillaume Lazzara. Boosting Vaucanson's genericity. CSI Seminar 0755 January 2008

Thomas Moulard. An overview of SCOOP, a C++ object-oriented paradigm. CSI Seminar 0761 December 2007

Guillaume Leroi. Synchronized Transducers. CSI Seminar 0759 December 2007

Charles Melin and Julien Ramakichenin. LRDE’s Speaker Verification Framework. CSI Seminar 0706 CSI 2007

Florian Quèze. Tools for Attribute Grammars manipulation in Transformers. CSI Seminar 0747 LRDE June 2007

Pierron Nicolas. Formal Definition of Disambiguation with Attribute Grammars. CSI Seminar 0702 LRDE May 2007

Thomas Moulard. C++ container library with the SCOOP paradigm. CSI Seminar 0710 May 2007

Antoine Leblanc. Efficient algorithmic methods for Nash equilibria computation. CSI Seminar 0745

Ugo Jardonnet. Canvas in Morphological Algorithms. CSI Seminar 0753 LRDE June 2007

Renaud Durlin. Semantics Driven Disambiguation. CSI Seminar 0709 May 2007

Vivien Delmon. Generic epsilon-removal algorithms in Vaucanson. CSI Seminar 0743 June 2007

Ballas Nicolas. Softwate Engineering in Olena core. CSI Seminar 0746 EPITA June 2007

Nicolas Neri. Learning models for model-checking. CSI Seminar 0704 May 2007

Geoffroy Querol. Speaker recognition evaluation: selective approaches and fusion. CSI Seminar 0707 may 2007

Guillaume Lazzara and Jimmy Ma. Boosting Vaucanson. CSI Seminar 0700 May 2007

Charles-alban Deledalle. Factor analysis based channel compensation in speaker verification. CSI Seminar 0705 May 2007

Widynski Nicolas. Real Time Segmentation. CSI Seminar 0611 June 2006

, Benoît Sigoure. eXtended Reactive Modules. CSI Seminar 0620 June 2006

Lazzara Guillaume. Automata and performance. CSI Seminar 0606 June 2006

Guillaume Guirado^?. Distributed BDDs. CSI Seminar 0607 June 2006

Quentin Hocquet, Thomas Moulard. SCOOL and its transformation into C++. CSI Seminar 0610,0619 June 2006

Johan Oudinet. Search Engine Ranking. CSI Seminar 0617 June 2006

Cadilhac, Bigaignon, Terrones. Remodeling Vaucanson. CSI Seminar 0604 17 may 2006

Christophe Berger^?. Image Taxonomy in Olena. CSI Seminar 0603 May 2006

Nicolas Desprès. Automatic performance monitoring tools. CSI Seminar 0601 November 2005

Christophe Berger^? and Nicolas Widynski^?. Using connected operators to manipulate image components. CSI Seminar 0517 July 2005

Michaël Cadilhac^?. Cover automata for finite languages. CSI Seminar 0504 June 2005

Nicolas Desprès. Automatic regression benchmark system. CSI Seminar 0513 June 2005

Damien Thivolle. Canvas in Olena. CSI Seminar 0502 01 June 2005

Louis-Noël Pouchet^?. Improving the design of Vaucanson. CSI Seminar 0506 June 2005

Simon Odou. Images taxonomy and modeling. CSI Seminar 0501 01 June 2005

Nicolas Desprès. Automatic regression benchmark system. CSI Seminar 0513 08 June 2005

Robert Bigaignon. Automata, regular language, regular expressions. CSI Seminar 0508 22 June 2005

Clément Vasseur. Semantics driven disambiguation: a comparison of different approaches. CSI Seminar 0416 December 2004

Valentin David. Attribute grammars for C++ disambiguation. CSI Seminar 0405 December 2004

Thomas Claveirole. An overview of Vaucanson 0.6. CSI Seminar 0401 November 2004

Giovanni Palma, Niels Van Vliet. Capabilities of some C++ image processing libraries. CSI Seminar 0414 November 2004

Louis-Noël Pouchet^?. An interpreter for Vaucanson. CSI Seminar 0413 June 2004

Nicolas Pouillard. Extending SDF. CSI Seminar 0407 June 2004

Nicolas Despres. C++ Tranformations Panorama. CSI Seminar June 2004

Clément Vasseur. Code-generator generators: generating the instruction selector. CSI Seminar 0403 June 2004

Loïc Fosse. Utilisation dynamique de bibliothèques statiques : Compilation «à la demande» et autres solutions. CSI Seminar 0406 16 June 2004

Giovanni Palma, Niels Van Vliet. Color image segmentation. CSI Seminar 0404 June 2004

Thomas Claveirole. Smart Automaton Implementations. CSI Seminar 0304 May 2003

Loïc Fosse. Domain specific language on automata: Design and Implementation problems. CSI Seminar 0305 June 2003

Nicolas Tisserand. Generic Visitors in C++. CSI Seminar 0312 September 2003

Nicolas Burrus and David Lesage. Theory of Evidence. CSI Seminar 0307 September 2003

Benoit Perrot. Tasks graphs and data dependencies. CSI Seminar 0311 May 2003

Robert Anisko, Valentin David, Clément Vasseur. Transformers: a C++ program transformation framework. CSI Seminar 0310 May 2003

Astrid Wang. Snakes: active contours model for boundary detection. CSI Seminar 0301 may 2003

Niels VAN VLIET. Image Segmentation Applied to Cytology. CSI Seminar 0303 may 2003

Sylvain Berlemont. Image segmentation through combinatorial maps. CSI Seminar 0306 may 2003

Emmanuel Turquin. Wavelet transforms and their implementation in Olena. CSI Seminar october 2002

Ignacy Gawedzki. Object theory and application to the C++ language. CSI Seminar 0219 October 2002

Robert Anisko. Program Transformation and the C++ Language. CSI Seminar 0217 October 2002

Astrid Wang. User-friendly and secure initializations in C++. CSI Seminar 0216 September 2002

Nicolas Tisserand. Tools for C++ programs transformations. CSI Seminar 0213 September 2002

Quôc Peyrot. Restoration of Old Films Using Morphological Operators. CSI Seminar September 2002

Nicolas Burrus. Safe and efficient data types in C++. CSI Seminar 0212 September 2002

Maxime Rey. Rational Grammar Inference and its implementation in Vaucanson. CSI Seminar September 2002

David Lesage. Generic Morpher: an adaptive design pattern. CSI Seminar 0211 September 2002

Quoc Peyrot. Watermarking. CSI Seminar 0201 May 2002

Ignacy Gawedzki. Musical scores recognition. CSI Seminar 0207 May 2002

Ignacy Gawedzki. Watershed based color image segmentation (in cooperation with Heru Xue). CSI Seminar 0206 May 2002

Clément Faure. Watermarking using perceptual modeling. CSI Seminar 0202 mai 2002

Emmanuel Turquin. Towards fast image-based rendering of volume data. CSI Seminar 0204 May 2002

Yann Régis-Gianas. Multiparadigm programming and genericity. CSI Seminar 0208 May 2002

Raphaël Poss. Techniques for implementing OO paradigms in static C++. CSI Seminar 0203 mai 2002. In French

Jean-Sébastien Mouret. Vishnu : A Visual Programming Framework. CSI Seminar 0205 mai 2002

Robert Anisko. Towards Automatic Partial Evaluation for the C++ Language. CSI Seminar 0210 May 2002

to top