PUBLIHEADER Compiler construction is a widely used software engineering exercise, but because most students will not be compiler writers, care must be taken to make ...
PUBLIHEADER Classical (unbounded) genericity in C++03 defines the interactions between generic data types and algorithms in terms of concepts. Concepts define the ...
PUBLIHEADER In this paper a new algorithm to compute the component tree is presented. As compared to the state of the art, this algorithm does not use excessive memory ...
PUBLIHEADER Abstract : Vaucanson is an extensive C++ library for the manipulation of finite state machines. Compared to its main competitor, !OpenFST, Vaucanson has ...
Abstract : Vaucanson is an extensive C++ library for the manipulation of finite state machines. User feedback shows that Vaucanson is slow and that the library interface ...
PUBLIHEADER English : Vaucanson is a finite state machine manipulation platform. Since it was started in 2002, the project has been attracting more and more users ...
Abstract : Tiger is a language designed as a reference for pedagogical compiler writing. Our C++ implementation of a Tiger compiler takes advantage of well-established ...
Complementing Büchi Automata With Alternating Automata Abstract : Model checking is a field of formal verification which aims to automatically test the behavior of ...
Abstract : The design of automata in Vaucanson plays a central role concerning the genericity of the library. We want to be able to extend the model to support new ...
PUBLIHEADER english : Pattern recognition and object detection are very important stakes in image processing. Many solutions have been provided; nevertheless the ...
Abstract : Spot is a model checking library centered around the automata-theoretic approach, and can be used to verify properties expressed using LTL (Linear Temporal ...
Abstract : The Transformers project aims at providing source to source transformations for C and C++ languages. This consists in parsing the input source, a C/C+ ...
PUBLIHEADER Model checking is a field of formal verification which aims to automatically test the behavior of a system with the help of logic formulæ. Spot is a model ...
PUBLIHEADER Abstract : In Vaucanson, Finite State Machines are mathematically defined by an algebraic structure module called Algebra. Considering the algebraic mathematical ...
PUBLIHEADER english : A histogram is a representation of the distribution of data in an image, e.g., gray-levels or colors. This common tool is used for many applications ...
PUBLIHEADER Abstract SPOT is a C++ model checking library that relies on the automata theoretic approach to model checking. The first step of this approach consists ...
PUBLIHEADER Abstract : Vaucanson allows you to manipulate finite state machines. So the modeling of these objects plays a central role concerning the genericity of ...
PUBLIHEADER English: Olena is one of the most advanced image processing libraries regarding its genericity. Its completely static design allows very interesting performance ...
PUBLIHEADER English : As part of a partnership with the Gustave Roussy Institut, the LRDE's image processing library Milena, offers an application dedicated to image ...
PUBLIHEADER English : The Fictitious Play algorithm is an iterate learning process created to compute Nash equilibria. At each iteration of this algorithm, each of ...
PUBLIHEADER PUBLIHEADER In speaker verification appplications, GMM models have an important place and have shown good perfomance. Currently, linear discriminant methods ...
PUBLIHEADER English : C++ classes are closed, such that once a class definition is ended, nothing can be added to it. But most of the time, programmers are used to ...
PUBLIHEADER Nous présentons une bibliothèque générique pour le traitement d'images discrètes, centré sur le concept de généricité. En se donnant une définition générale ...
LRDE Communications This web is dedicated to the various forms of communication from LRDE members. LRDE Bibliography The LRDE Bibliography in PDF The LRDE Bibliography ...
TOC BLUE CSI Seminar: 6 January 2010, EPITA, 14h, Amphi Masters, KB ENDCOLOR VAUCANSON 14h00 : Adapter les structures de données de Vaucanson au concept de kind et ...
PUBLIHEADER This paper presents a new speaker verification system architecture based on Joint Factor Analysis (JFA) as feature extractor. In this modeling, the JFA ...
PUBLIHEADER In this paper, we describe systems that were developed for the Open Performance Sub-Challenge of the INTERSPEECH 2009 Emotion Challenge. We participate ...
PUBLIHEADER Special issue of the lab's bulletin dedicated to 1. Alumni of LRDE from different years and their respective careers 2. New publications of articles and ...
PUBLIHEADER Special issue of the lab's bulletin dedicated to 1. Three new members at the lab 2. Release of Olena 1.0 3. Presentation of the LRDE, its activities and ...
PUBLIHEADER We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological ...
PUBLIHEADER ASTs are commonly used to represent an input/output program in compilers and language processing tools. Many of the tasks of these tools consist in generating ...
PUBLIHEADER Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and ...
PUBLIHEADER In the automata theoretic approach to model checking, checking a state-space S against a linear-time property F can be done in O( S \times 2^O( F )) time ...
PUBLIHEADER This article presents several techniques to combine between Support vector machines (SVM) and Joint Factor Analysis (JFA) model for speaker verification ...
PUBLIHEADER This work takes place in the context of Milena, the C++ generic image processing library of the Olena platform, developed at LRDE. Morphological algorithms ...
PUBLIHEADER Shared decision diagram representations of a state-space provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
PUBLIHEADER Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, ...
PUBLIHEADER English : Spot is a model checking library centered around the automata approach, which can be used to verify properties expressed using LTL (Linear Temporal ...
TOC RED CSI Seminar: 20 Mai 2009, EPITA, Amphi 2, KB ENDCOLOR VAUCANSON 14h00 : Hiérarchie par propriétés du module Algebra de Vaucanson – Alex Hamelin Le module ...
TOC BLUE CSI Seminar: 13 Mai 2009, EPITA, Amphi 2, KB ENDCOLOR VAUCANSON 14h00 : Analyse de performances pour projets C++ Florent D'Halluin Vaucanson est une bibliothèque ...
PUBLIHEADER The standard C++ library is really convenient but it suffers from the limitation of the C++. For example, concepts will not be available before several ...
PUBLIHEADER Abstract : SCOOL is a domain-specific language designed to make high-level C++ development easier. Based on SCOOP, a paradigm mixing generic and object ...
PUBLIHEADER Special issue of the lab's bulletin dedicated to the relationship between EPITA CSI students and PhD. Or on how CSI has become a springboard for future ...
PUBLIHEADER 1. Presentation of LRDE : Akim Demaille hands over the responsibilty of the lab to Olivier Ricou after having held the post for 5,5 years. Presentation ...
PUBLIHEADER This article reports the results of an ongoing experimental research on the behavior and performance of CLOS, the Common-Lisp Object System. Our purpose ...
PUBLIHEADER Abstract : Contract programming is a paradigm that allows developers to ensure that some conditions are satisfied when a function is called ( preconditions ...