PUBLIHEADER Dans le cadre de l'écriture en C++ d'une bibliothèque de traitements d'images et d'un atelier de programmation par composants d'une chaîne de traitements ...
PUBLIHEADER Cet exposé présente l'évolution des techniques de programmation d'algorithmes de traitement d'image et discute des limites de la réutilisabilité de ces ...
PUBLIHEADER Cet article présente l'évolution des techniques de programmation d'algorithmes de traitement d'images et discute des limites de la réutilisabilité de ...
PUBLIHEADER This technical report presents the evolution of algorithms implementation in image processing libraries and discusses the limits of these implementations ...
PUBLIHEADER Ce rapport (version provisoire) présente un certain nombre de solutions pour augmenter la réutilisabilité et l'interopérabilité en programmation générique ...
PUBLIHEADER Nous proposons une procédure automatique de reconnaissance progressive des structures internes du cerveau guidée par un atlas anatomique. L’originalité ...
PUBLIHEADER La programmation générique en C++ s'est avérée être un paradigme idéal pour la programmation de composants de calcul numérique scientifique. Dans ce paradigme ...
PUBLIHEADER Great efforts have gone into building scientific libraries dedicated to particular application domains and a main issue is to manage the large number ...
PUBLIHEADER In Distributed Virtual Environments, each machine runs the same software, which is in charge of handling the communications over the network, providing ...
PUBLIHEADER This pattern faces the problem of improving the performances of design patterns when they are involved in intensive algorithms. Generic programming is ...
PUBLIHEADER In this paper, we present the project urbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated ...
PUBLIHEADER Algorithm libraries dedicated to image processing and pattern recognition are not reusable; to run an algorithm on particular data, one usually has either ...
PUBLIHEADER This paper describes Urbi et Orbi, a distributed virtual environment (DVE) project that is being conducted in the Research and Development Laboratory ...
PUBLIHEADER This paper describes a research that has been conducted in the field of cognitive assistance to human-machine interaction in virtual environments. The ...
PUBLIHEADER The watermark signals are weakly inserted in images due to imperceptibility constraints which makes them prone to errors in the extraction stage. Although ...
PUBLIHEADER This paper presents the evolution of algorithms implementation in image processing libraries and discusses the limits of these implementations in terms ...
PUBLIHEADER Generic programming is a paradigm whose wide adoption by the C++ community is quite recent. In this approach most classes and procedures are parameterized ...
PUBLIHEADER Rendering efficiently large virtual environment scenes composed of many elements, dynamic objects, and a highly moving viewpoint is a major issue. This ...
PUBLIHEADER High-order matrix or vector expressions tend to be penalized by the use of huge temporary variables. Expression templates is a C++ technique which can ...
PUBLIHEADER In this paper, we present an original method to segment color images using a classification of the image histogram in the 3D color space. As color modes ...
PUBLIHEADER This paper proposes an overview of a study that conceptually unify the fields of virtual reality and tele-operation, by analyzing the notion of ``assistance ...
PUBLIHEADER We present an original method to segment color images using a classification in the 3-D color space. In the case of ordinary images, clusters that appear ...
PUBLIHEADER Several libraries dedicated to mathematical morphology exist. But they lack genericity, that is to say, the ability for operators to accept input of different ...
PUBLIHEADER Les exceptions sont un mécanisme de signalement et gestion des conditions d'erreurs, permettant d'isoler le code de gestion d'erreurs du code "normal ...
PUBLIHEADER Partial evaluation is a high-level optimisation technique that, given a program text and some of its input, generates a specialized program. It has been ...
PUBLIHEADER Partial evaluation is a high-level optimisation technique that, given a program text and some of its input, generates a specialized program. It has been ...
PUBLIHEADER Dans le cas de programmes non interactifs, chaque entité (objet, méthode, fonction) peut être fortement typée et son type exact peut être connu. À l'inverse ...
PUBLIHEADER Nous attendons du couple langage/compilateur qu'il vérifie la justesse des programmes. Pour cela, un système `sûr' de typage doit garantir au programmeur ...
PUBLIHEADER In need of a simple but efficient environment to combine Olena's image processing algorithms, we present a new visual programming framework based on graph ...
PUBLIHEADER Le polymorphisme d'inclusion est un des outils du paradigme objet les plus utilisés. Pour gagner en efficacité, on souhaite rendre statique la résolution ...
PUBLIHEADER La programmation orientée objet est de nos jours un paradigme bien connu. Néanmoins, les idées qui le dirigent sont souvent obscurcies par des constructions ...
PUBLIHEADER Programming paradigms are models that constrain the developer in a particular conception. Multi-paradigm programming tends to conciliate different paradigms ...
PUBLIHEADER Les paradigmes de programmation sont des fils directeurs qui contraignent le développeur dans une manière de penser particulière. La programmation multiparadigme ...
PUBLIHEADER Volume rendering is a technique for directly displaying a sampled 3D scalar field without first fitting geometric primitives to the samples, allowing ...
PUBLIHEADER Volume rendering is a technique for directly displaying a sampled 3D scalar field without first fitting geometric primitives to the samples, allowing ...
PUBLIHEADER Scientific and industrial interest in watermark increased since the last decade. We start by giving a definition of digital watermarking, and summarizing ...
PUBLIHEADER Continuing of the research on watershed method of image color space segmentation. We are looking for a way to get relevant results while avoiding the ...
PUBLIHEADER Poursuite de la recherche sur la méthode de segmentation de l'espace des couleurs par watershed. On cherche un moyen d'obtenir des résultats tout aussi ...
PUBLIHEADER We first aim to recognize essential elements of musical scores: the notes. Therefore, we make use of morphological methods to detect primitives (the heads ...
PUBLIHEADER On cherche à reconnaître dans un premier temps les éléments essentiels des partitions : les notes. Pour cela, on se dote de méthodes morphologiques de ...
PUBLIHEADER Après avoir rappelé l'intérêt du watermarking et les enjeux sur les droits d'auteur, nous aborderons les differents types de watermarking et les critères ...
PUBLIHEADER La bibliothèque standard du C++ propose des outils pour que l'utilisateur puisse définir ``à la volée'' des ``fonctions'' comme dans le code caml suivant ...
PUBLIHEADER The C++ language provides a two-layer execution model: static execution of meta-programs and dynamic execution of resulting programs. The Expression Templates ...
PUBLIHEADER Les expression template permettent de representer une expression arithmetique a l'aide d'un arbre syntaxique statique. L'interet d'une telle methode est ...
PUBLIHEADER LISP, acronyme de «List Processor», est un langage de programmation originellement développé vers la fin des années 50 au laboratoire d'intelligence artificielle ...
PUBLIHEADER La logique classique a régné pendant des siècles comme seul et unique modèle de preuves. La logique intuitionniste l'a détrônée et a montré que le système ...
PUBLIHEADER La génération d'un code efficace pour les langages fonctionnels non stricts est un problème assez délicat. En effet, les architectures Von Neuman qui ...
PUBLIHEADER La Logique Linéaire rend explicite la gestion de ressources, offrant ainsi un grand contrôle au programmeur. Cet aspect, très utile pour un langage intermediaire ...
PUBLIHEADER We present a type system featuring intersection types and omega, a type constant which is assigned to unused terms. We exploit and extend the technology ...
PUBLIHEADER Common structural design patterns already offers massively adopted solutions for decorating, modifying interfaces and behaviours of existing objects. ...
PUBLIHEADER Les design patterns existants offrent déjà des solutions couramment utilisées, pour décorer, modifier les interfaces ou les comportements d'objets deja ...
PUBLIHEADER L'utilisation de la programmation statique générique en C++ soumet le développeur à des cycles de développement allongés, du fait de la complexité des ...
PUBLIHEADER This presentation is meant to introduce module system evolution and the current research about mixins modules. We expose the ideas of the Wells and Vestegaard ...
PUBLIHEADER Rational Grammar Inference is a part of fundamental computer science which can explain its interest only by its strong theoristic roots. Moreover it is ...
PUBLIHEADER Using C++ builtin types is very unsafe as they are inherited from C types, which do not have overflow checking and have dangerous side effects and unexpected ...
PUBLIHEADER Using C++ builtins types is very unsafe, they don't have overflow checking and are too weak typed. Using intensive meta programming, it becomes possible ...
PUBLIHEADER Cinema is often considered as the eleventh art. Since the invention of "Lumière Cinematograph" in 1895 by Lumière brothers, many motion pictures have ...
PUBLIHEADER Cinema is often considered as the eleventh art. Since the invention of "Lumière Cinematograph" in 1895 by Lumière brothers, many motion pictures have ...
PUBLIHEADER C++ meta-programming has been LRDE's main interest for several years. Experience has shown that developing efficient generic C++ libraries is made difficult ...
PUBLIHEADER C++ meta-programming has been LRDE's main interest for several years. Experience has shown that developing efficient generic C++ libraries is made difficult ...
PUBLIHEADER There are many ways of initializing aggregate types in C++. But those ways may often be inconvenient, for some reasons: ugly syntax, not safe, not flexible ...
PUBLIHEADER There are many ways of initializing aggregate types in C++. But they are often inconvenient to use, for some reasons: their syntax is not really user ...
PUBLIHEADER Many software engineering problems, such as refactoring or optimisation, can be efficiently solved by using source-to-source program transformation technologies ...
PUBLIHEADER De nombreux problèmes de génie logiciel, tel que la rénovation ou l'optimisation de code, peuvent être résolus efficacement par l'application de technologies ...
PUBLIHEADER Many concepts described in the OOP litterature are used in generic programming paradigms. The C++ language, though ubiquitous in industrial applications ...
PUBLIHEADER De nombreux concepts décrits dans la littérature POO sont utilisés dans les paradigmes de programmation générique. Bien qu'il soit un langage répandu ...
PUBLIHEADER Writing algorithms is grossly divided into two stages: conception/tuning and optimization. The first stage has need of fast compile times, easy component ...
PUBLIHEADER Since they were born in the 1980s, Wavelet transforms have been used in a broad range of domains, which include image processing. In this field, powerful ...
PUBLIHEADER Depuis leur apparition dans les années 1980, les ondelettes ont été utilisées dans de nombreux champs, notamment en traitement d'image. De puissantes ...
PUBLIHEADER Pour concevoir les circuits électroniques, les outils de CAO (conception assistée par ordinateur) utilisent des langages spécialisés. On les appelle langages ...
PUBLIHEADER Most of data structures representing image partitions have been designed to perform specific processings on images. Those structures are in general ill ...
PUBLIHEADER Most data structures used in image segmentation must deal with two different aspects of an image: The geometrical one that describes the shape of a region ...
PUBLIHEADER This presentation give an overview of the curvilinear object extraction framework described by Thierry Geraud. This framework relies on four main steps ...
PUBLIHEADER Breath cancer diagnosis using fine needle aspiration needs a long and tedious screening. Being able to emphasize automatically the maligned cells could ...
PUBLIHEADER In the field of image analysis and computer vision, image segmentation is a crucial step on which the quality of higher-level algorithms, such as object ...
PUBLIHEADER In the field of image analysis and computer vision, image segmentation is a crucial step on which depend the quality of higher-level algorithms, such ...
PUBLIHEADER Many software engineering problems, such as refactoring or optimization, can be efficiently solved using source-to-source program transformation technologies ...
PUBLIHEADER C++ parsing is the most critical part of the Transformers project, which should allow us to perform various program transformations on C++ source code ...
PUBLIHEADER The C++ disposes of a two-layer evaluation model. Therefore it is possible to evaluate a program in two steps: the so-called static and dynamic evaluations ...
PUBLIHEADER The pretty-print is the reverse job of parsing. In Transformers project, we use a tool to do this, called Generic Pretty Printing. But the writing of ...
PUBLIHEADER Most of the languages used that support the overloading of functions, does not use the type of the returned value in the function signatures. The fact ...
PUBLIHEADER Transformers is a project which the aim is to do source-to-source C++ transformations. Actually, the most of the work done is about the parsing and disambiguisation ...
PUBLIHEADER The task system used in the Tiger Compiler is actually based on handwritten tasks's dependencies: for instance the developper, who knows that the "parse ...
PUBLIHEADER The task system used in the Tiger Compiler is actually based on handwritten tasks's dependencies: for instance the developper, who knows that the "parse ...
PUBLIHEADER Today's research and applications in the field of quantitative reasoning and decision under uncertainty is dominated by Bayesian networks and their variants ...
PUBLIHEADER Today's research and applications in the field of quantitative reasoning and decision under uncertainty is dominated by Bayesian networks and their variants ...
PUBLIHEADER The Visitor design pattern is a well-known software engineering technique that solves the double dispatch problem and allows decoupling of two inter-dependent ...
PUBLIHEADER The theory of evidence, also called Dempster-Shafer theory or belief functions theory, has been introduced by Glenn Shafer in 1976 as a new approach for ...
PUBLIHEADER The Visitor design pattern is a well-known software engineering technique that solves the double dispatch problem and allows decoupling of two inter-dependent ...
PUBLIHEADER This paper presents a general framework to segment curvi-linear objects in 2D images. A pre-processing step relies on mathemat-ical morphology to obtain ...
PUBLIHEADER This paper presents a fast method to extract road network in satellite images. A pre-processing stage relies on mathematical morphology to obtain a connected ...
PUBLIHEADER For few years, Domain Specific Languages (DSL) has came back to foreground. These languages, which are built especially for a domain or a problem, can ...
PUBLIHEADER For few years, Domain Specific Languages (DSL) has came back to foreground. These languages, which are built especially for a domain or a problem, can ...
PUBLIHEADER Grammar Inference consist to infer a language from a set of words contain in this language, or not. In our particular case of regular grammar inference ...
PUBLIHEADER The aim of this document is to present an overview of techniques to optimize memory usage when constructing automaton from regular expressions. However ...
PUBLIHEADER The aim of this document is to present an overview of techniques to optimize memory usage when constructing automaton from regular expressions. However ...
PUBLIHEADER This paper reports on a new software platform dedicated to the computation with automata and transducers, called Vaucanson, the main feature of which ...
PUBLIHEADER This paper presents a method to recognize the type of a document when a database of models (document types) is given. For instance, when every doc-uments ...
PUBLIHEADER Vaucanson is a C++ generic library for weighted finite state machine manipulation. For the sake of generality, FSM are defined using algebraic structures ...
PUBLIHEADER We present a novel approach of model-based pattern recognition where structural information and spatial relationships have a most important role. It is ...
PUBLIHEADER In this paper we propose a novel approach for color image segmentation. Our approach is based on segmentation of subsets of bands using mathematical morphology ...
PUBLIHEADER Object-oriented and generic programming are both supported in C++. OOP provides high expressiveness whereas GP leads to more efficient programs by avoiding ...
PUBLIHEADER Video games and simulators commonly use very detailed textures, whose cumulative size is often larger than the GPU memory. Textures may be loaded progressively ...
PUBLIHEADER Codeboost is a domain-specific optimizer for the Sophus library. It does so, by means of C++ transformations. Thus, it shares some properties with the ...
PUBLIHEADER Vaucanson is a project from the LRDE whose goal is to provide a platform that allows finite state machine manipulations. Its design began in 2001 to allow ...
PUBLIHEADER This technical report presents several methods to segment color images. We focus on the clustering of images that have relevant colors. The first section ...
PUBLIHEADER La segmentation d'images est une opération qui consiste à localiser les régions d'une image appartenant à une même structure. Nous allons nous intéresser ...
PUBLIHEADER This paper deals with the implementation of algorithms in the specific domain of image processing. Although many image processing libraries are available ...
PUBLIHEADER In this contribution, a mobile location method is provided using measurements from two different Base-Stations. Although computationally from two different ...
PUBLIHEADER The C++ language offers a two layer evaluation model. Thus, it is possible to evaluate a program in two steps: the so-called static and dynamic evaluations ...
PUBLIHEADER La réalisation d'une bibliothèque dédiée au calcul scientifique implique souvent la réalisation d'une bibliothèque offrant à la fois la généricité des ...
PUBLIHEADER The main part of a compiler back-end is the instruction selection. Its goal is to generate the assembly code for the target CPU from an intermediate representation ...
PUBLIHEADER The main part of a compiler backend is the instruction selection. Its goal is to generate the assembly code for the target CPU from an intermediate representation ...
PUBLIHEADER The Transformers project aims at providing a C++ program transformation framework. It is based on StrategoXT, a rewrite system following the paradigm ...
PUBLIHEADER The Transformers project has improved a lot over the last two years. The version 0.1 was released. Although, program transformation has a wide range of ...
PUBLIHEADER The Transformers project aims at providing a C++ program transformation framework. But C++ sources need a preprocessing phase, which transformers is required ...
PUBLIHEADER In the Transformers project, the grammar is the most important part. As well as describing the language syntax, it also has to describe as many language ...
PUBLIHEADER In the Transformers project, the grammar represents the most important part. It doesn't only describe the language syntax, it has to describe the maximum ...
PUBLIHEADER The Transformers project has improved a lot over the last two years. The version 0.1 was released. Although, program transformation has a wide range of ...
PUBLIHEADER A Vaucanson user may want to write intuitively and easily some programs, without knowing the internal mechanisms involved in Vaucanson. Also, the user ...
PUBLIHEADER Vaucanson user may want to write intuitively and easily some programs, without knowing the internal mechanisms involved in Vaucanson. Also, the user may ...
PUBLIHEADER Developping a generic librairy aiming at automata manipulation such as Vaucanson implies being able to provide the user with different types of automata ...
PUBLIHEADER Shapelet transforms are a usefull tool for galaxy images processing. They provide compression factors up to 90, leading to a light representation of galaxy ...
PUBLIHEADER Spatial relations play an important role in recognition of structures embedded in a complex environment and for reasoning under imprecision. Several types ...
PUBLIHEADER This paper presents a morphological classifier with application to color image segmentation. The basic idea of a morphological classifier is to consider ...
PUBLIHEADER Carrier Sense Multiple Access/Collision Detection (CSMA/CD) is the protocol for carrier transmission access in Ethernet networks (international standard ...
PUBLIHEADER The problem of person identification based on their hand images has been addressed. The system is based on the images of the right hands of the subjects ...
PUBLIHEADER This paper presents a fast method for road network extraction in satellite images. It can be seen as a transposition of the segmentation scheme "watershed ...
PUBLIHEADER This paper deals with the total variation minimization problem when the fidelity is either the $L^2$-norm or the $L^1$-norm. We propose an algorithm which ...
PUBLIHEADER This paper reports on a new software platform called VAUCANSON and dedicated to the computation with automata and transducers. Its main feature is the ...
PUBLIHEADER This report compares several image processing libraries. The comparison of libraries are generally based on their functionalities. The functionalities ...
PUBLIHEADER Many kinds of finite automata exist: Boolean recognizers, weighted automata, transducers, and so on. To face that diversity several libraries have been ...
PUBLIHEADER Many kinds of finite automata exists: Boolean recognizers, weighted automata, transducers, and so on. To face that diversity several libraries have been ...
PUBLIHEADER This report compares several image processing libraries. The comparison of libraries are generally based on their functionalities. The functionalities ...
PUBLIHEADER This paper deals with the total variation minimization problem when the fidelity is either the $L^2$-norm or the $L^1$-norm. We propose an algorithm which ...
PUBLIHEADER The development of the Transformers project has raised some design isues. Static code for disambiguation is quite hard to write and maintain. Disambiguation ...
PUBLIHEADER Context-free grammars allow the specification of ambiguous languages. Therefore, generalized parsers yield a set of parse trees, one for each possible ...
PUBLIHEADER Context-free grammars and generalized parsing are becoming more and more popular, since they provide the power to tackle real-world parsing challenges ...
PUBLIHEADER The Transformers project, developed at the LRDE, aims at providing a transformation framework for C++ programs. It is based on Stratego/XT, a toolset ...
PUBLIHEADER This paper presents the xml formalism that was introduced at the ciaa 2004 conference to represent automata. This formalism was created to fulo/ll the ...
PUBLIHEADER This paper deals with the minimization of the total variation under a convex data fidelity term. We propose an algorithm which computes an exact minimizer ...
PUBLIHEADER This papers presents a comprehensive and general form of the Tarjan’s union- find algorithm dedicated to connected operators. An interesting feature of ...
PUBLIHEADER Attribute Grammars (AGs) provide a very convenient means to bind semantics to syntax. They enjoy an extensive bibliography and are used in several types ...
PUBLIHEADER We propose a novel approach to semantics driven disambiguation based on Attribute Grammars (AGs). AGs share the same modularity model as its host grammar ...
PUBLIHEADER By the means on its annotations, Syntax Definition Formalism (SDF) seems to be extensible: the user is tempted to tailor its grammar syntax by adding ...
PUBLIHEADER This paper presents some features of the Vaucanson plateform. We describe some original algorithms on weighted automata and transducers (computation of ...
PUBLIHEADER Having 300 students a year implement a compiler is very questionable, since the industry will certainly not recruit them for this competence, yet we made ...
PUBLIHEADER This paper deals with the minimization of the total variation under a convex data fidelity term. We propose an algorithm which computes an exact minimizer ...
PUBLIHEADER Kleene's theorem proved that to each finite-state automaton corresponds a regular language. This proof uses a constructive method that built one of the ...
PUBLIHEADER English : Regression benchmark is a part of regression testing that aims at an automatic detection of performance regression during application development ...
PUBLIHEADER Tout ce que notre esprit est capable de se représenter visuellement est image. Pourtant toutes ces images ne sont pas égales : une fonction n'est pas ...
PUBLIHEADER Vaucanson is a generic framework for finite state machine manipulations, written with advanced static programming techniques. This kind of programming ...
PUBLIHEADER Vaucanson is a generic framework for finite state machine manipulations, written with advanced static programming techniques. This kind of programming ...
PUBLIHEADER English : When writing image processing operators, redundant pattern appear. This paper provide an elegant technique to factorize the duplicated code ...
PUBLIHEADER Regression benchmark is a part of regression testing that aims at an automatic detection of performance regression during application development. The ...
PUBLIHEADER Regression benchmark is a part of regression testing that aims at an automatic detection of performance regression during application development. The ...
PUBLIHEADER Although regular languages combined with finite automata are widely used and studied, many applications only use finite languages. Cover automata were ...
PUBLIHEADER Although regular languages combined with finite automata are widely used and studied, many applications only use finite languages. Cover automata were ...
PUBLIHEADER If one obtains a rational expression corresponding to the language denoted by a co-minimal automaton, it is sometimes possible to retrieve the original ...
PUBLIHEADER APMC is a model checker dedicated to the quantitative verification of fully probabilistic systems against LTL formulas. Using a Monte-Carlo method in ...
PUBLIHEADER Connected operators are morphological filters which have the property of keeping objects contours when simplifying images. They bring to the light objects ...
PUBLIHEADER Model checking is an algorithmic method allowing to automatically verify if a system which is represented as a Kripke model satisfies a given specification ...
PUBLIHEADER In this paper, we present fast algorithms for area opening and closing on grayscale images. Salembier's max-tree based algorithm is one of the well known ...
PUBLIHEADER This paper sheds new light on minimization of the total variation under the $L^1$-norm as data fidelity term ($L^1+TV$) and its link with mathematical ...
PUBLIHEADER This paper describes a probabilistic method of inferring the position of a point with respect to a reference point knowing their relative spatial position ...
PUBLIHEADER Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize ...
PUBLIHEADER Dans cette thèse nous étudions la minimisation d'énergies markoviennes rencontrées dans les domaines du traitement des images et de la vision par ordinateur ...
PUBLIHEADER Étape importante dans le cursus de tronc commun de l'EPITA, le projet Tiger vise à enseigner aux étudiants des notions d'informatique ayant trait aux ...
PUBLIHEADER The LRDE has been mainly developing, for more than five years, two libraries dedicated to scientific computing in the field of images and automata processing ...
PUBLIHEADER The LRDE has been mainly developing, for more than five years, two libraries dedicated to scientific computing in the field of images and automata processing ...
PUBLIHEADER We propose an automatic system to classify images of galaxies with varying resolution. Morphologically typing galaxies is a difficult task in particular ...
PUBLIHEADER We present a vectorial self dual morphological filter. Contrary to many methods, our approach does not require the use of an ordering on vectors. It relies ...
PUBLIHEADER 1. Focus on Jerome Darbon 2. News from former LRDE Students 3. C/C++ games 4. A presentation of the EFIGI project 5. The use of SVM in the EFIGI project ...
PUBLIHEADER Sensor networks are networks consisting of miniature and low-cost systems with limited computation power and energy. Thanks to the low cost of the devices ...
PUBLIHEADER 1. Focus on LISP 2. Presentation of Exact Optimization 3. The use of a filter in the EFIGI project 4. A game on languages 5. LRDE News. l-air-de-rien ...
PUBLIHEADER 1. To be a scientist 2. The Tiger project at EPITA 3. Complexity classes P and NP 4. LRDE News. l-air-de-rien-3.0.pdf Four A4 pages. l-air-de-rien-3.0 ...
PUBLIHEADER We investigate the decomposition property of posterior restoration energies on level sets in a discrete Markov Random Field framework. This leads us to ...
PUBLIHEADER Olena is a generic image processing library designed to offer to its users any tools they need. So its design has to be studied to provide all image types ...
PUBLIHEADER Presentations of the first two sessions of LRDE seminars (May 17th, 2006 and May 24th, 2006). 1. Vaucanson 2. Transformers 3. Markov (Web pages indexation ...
PUBLIHEADER Presentations of the last two sessions of LRDE seminars (June 7th, 2006 and June 14th, 2006). 1. BDD 2. Algorithmes Génétiques 3. Markov 4. Olena 5. Transformers ...
PUBLIHEADER Vaucanson is a generic library of automata manipulation that has been created in 2001. Its aim is to efficiently allow the handling of any type of finite ...
PUBLIHEADER Search engines use Web page ranking to print faster results from users’ queries. The rank order deter- mines the importance of Web pages. Ranking algorithms ...
PUBLIHEADER Abstract: In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is ...
PUBLIHEADER To face the challenges to tomorrow's software engineering tools, powerful language-generic program-transformation components are needed. We propose the ...
PUBLIHEADER Contrary to popular belief, Lisp code can be very efficient today: it can run as fast as equivalent C code or even faster in some cases. In this paper ...
PUBLIHEADER In this paper, we give a brief overview of APMC (Approximate Probabilistic Model Checker). APMC is a model checker that implements approximate probabilistic ...
PUBLIHEADER This paper presents some first results on how to perform uni- form random walks (where every trace has the same proba- bility to occur) in very large ...
PUBLIHEADER Search engines use Web page ranking to print faster results from users’ queries. The rank order deter- mines the importance of Web pages. Ranking algorithms ...
PUBLIHEADER This paper presents an ongoing research on the behavior and performance of LISP with respect to C in the context of scientific numerical computing. Several ...
PUBLIHEADER SCOOL is a static oriented language designed to solve the problems encountered durint the development of Olena. Despite of the advantage brought by Metalic ...
PUBLIHEADER Binary Decision Diagrams (BDDs) are commonly used in the area of model checking. Nowadays, model checkers are too often limited by the amount of memory ...
PUBLIHEADER Implementing a mathematic theory on computers is not always as easy as it seems to be. Usually, the most intuitive implementation is not the fastest. ...
PUBLIHEADER Reactive Modules is a formal model used to represent synchronous and asynchronous components of a system. PRISM is a widely used probabilistic model-checker ...
PUBLIHEADER In image analysis, segmentation is the partition of a digital image into multiple regions (sets of pixels), according to some criteria. The goal of segmentation ...
PUBLIHEADER This paper presents !CurVe, a curriculum vitae class for !LaTeX2e, in a progressive approach going from a first contact with the class, through concrete ...
PUBLIHEADER In this paper we propose an efficient algorithm to perform a polynomial approximation of the vector field derived from the usual distance mapping method ...
PUBLIHEADER Sensor networks are composed of small electronic devices that embed processors, sensors, batteries, memory and communication capabilities. One of the ...
PUBLIHEADER 1. LRDE lecturers and their T1 courses for ING1 students. 2. Presentation of software Vaucanson 1.0 3. More on LISP 4. Latest publications of LRDE members ...
PUBLIHEADER Connected attribute filters are anti-extensive morphological operators widely used for their ability of simplifying the image without moving its contours ...
PUBLIHEADER 1. Presentation of the lab's new PhD student Alexandre Hamez 2. On Game Theory by PhD student Sébastien Hémon 3. Abstracts of CSI 2007 students' seminars ...
PUBLIHEADER The problem of person recognition and verification based on their hand images has been addressed. The system is based on the images of the right hands ...
PUBLIHEADER The goal of model checking is to verify the correctness of a given program, on all its inputs. The main obstacle, in many cases, is the intractably large ...
PUBLIHEADER This paper deals with the total variation minimization problem in image restoration for convex data fidelity functionals. We propose a new and fast algorithm ...
PUBLIHEADER In Part II of this paper we extend the results obtained in Part I for total variation minimization in image restoration towards the following directions ...
PUBLIHEADER It is well-known that Total Variation (TV) minimization with L2 data fidelity terms (which corresponds to white Gaussian additive noise) yields a restored ...
PUBLIHEADER Implementing binary methods in traditional object oriented languages is difficult: numerous problems arise, such as typing (covariance vs. contra-variance ...
PUBLIHEADER This paper is concerned itself with the analysis of the two-phase Mumford-Shah model also known as the active contour without edges model introduced by ...
PUBLIHEADER Model checking is a formal verification technique that allows to automatically prove that a system's behavior is correct. However it is often prohibitively ...
PUBLIHEADER This paper investigates the problem of secret key transmissions for an arbitrary Alice-Bob pair in Quantum Key Distribution-based networks. We develop ...
PUBLIHEADER 1. Introduction to Biometrics 2. User identification by speaker recognition LRDE's participation in the NIST-SRE 2006 3. More on Biometrics: a Hand Geometry ...
PUBLIHEADER We present an identification and authentification system based on hand modality which is part of a reference system for all modalities developed within ...
PUBLIHEADER Cet article présente un nouvel algorithme de calcul de l'arbre des composantes d'une image. Vis-à-vis de l'état de l'art, cet algorithme ne fait pas un ...
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 In large Quantum Key Distribution (QKD)-based networks, intermediate nodes are necessary because of the short length of QKD links. They have tendency ...
PUBLIHEADER This report describes a powerful channel compensation method for the text-independent speaker verifi- cation task. This powerful method is developed in ...
PUBLIHEADER The seminars made last year underlined the fact that the overall performance issues of Vaucanson could be widely improved by the use of hash table and ...
PUBLIHEADER The state of the art in speaker recognition describes a probabilistic model (Gaussian Mixture Models) of the speakers. These models describe the acoustic ...
PUBLIHEADER Presentation of the CSI students' work at the LRDE. Like every year in May and June, the lab's students present within the framework of the CSI seminar ...
PUBLIHEADER This report describes a powerful channel compensation method for the text-independent speaker verifi- cation task. This powerful method is developed in ...
PUBLIHEADER This report presents an overview of Probabilistic Automaton (PA). The first part of this report concentrates on probability distribution generated by ...
PUBLIHEADER This report presents an overview of Probabilistic Automaton (PA). The first part of this report concentrates on probability distribution generated by ...
PUBLIHEADER In the research of machine learning algorithms for classification tasks, researchers have few training data for evaluating their algorithms. They have ...
PUBLIHEADER An elegant approach to manage ambiguous grammars consists in using a generalized LR parser which will not produce a parse tree but a parse forest. An ...
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 The current problem of the disambiguation in Transformers with attribute grammars is that no-one has a proof that allows certification of this approach ...
PUBLIHEADER The seminars made last year underlined the fact that the overall performance issues of Vaucanson could be widely improved by the use of hash table and ...
PUBLIHEADER Abstract: This paper is a testimony on the relations between the Internet users and their governments in France during the last decade. It shows the complexity ...
PUBLIHEADER Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance ...
PUBLIHEADER Software engineering defines some methods in order to guarantee software quality. In image processing field, several image types exist. Also, this is ...
PUBLIHEADER Lots of algorithms on automata take an automaton without any epsilon-transition. For this reason epsilon-removal is a crucial point in Vaucanson. The ...
PUBLIHEADER An elegant approach to manage ambiguous grammars consists in using a generalized LR parser which will not produce a parse tree but a parse forest. An ...
PUBLIHEADER Olena is a generic image processing library developed at the LRDE. It provides many morphological algorithms. Mathematical morphology was initially built ...
PUBLIHEADER Game theory is often described as a branch of applied mathematics and economics. Since its creation, it has been used in various domains, such as political ...
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 The current problem of the disambiguation in Transformers with attribute grammars is that no-one has a proof that allows certification of this approach ...
PUBLIHEADER Transformers uses attribute grammars for disambiguation of context-dependant languages. The tools used to handle attribute grammars in Stratego for Transformers ...
PUBLIHEADER Speaker verification state of the art uses Gaussian mixtures models to represent world and client models. After a general presentation of this system ...
PUBLIHEADER 1. Sand, wind and dunes by Olivier Ricou 2. Web framework in Caml l-air-de-rien-10.pdf Four A4 pages. l-air-de-rien-10-booklet.pdf Print this copy in ...
PUBLIHEADER This paper presents a comparison between Support Vector Machines (SVM) speaker verification systems based on linear and non linear kernels defined in ...
PUBLIHEADER Abstract: We present an implementation of V.O.-compliant web services built around software tools developed at the TERAPIX centre. These services allow ...
PUBLIHEADER We present a new approach for constructing the kernels used to build support vector machines for speaker verification. The idea is to construct new kernels ...
PUBLIHEADER We present a comparison between speaker verification systems based on factor analysis modeling and support vector machines using GMM supervectors as features ...
PUBLIHEADER We tested factor analysis models having various numbers of speaker factors on the core condition and the extended data condition of the 2006 NIST speaker ...
PUBLIHEADER 1. Presentation of LRDE 2. Alexandre Duret-Lutz, a new member of the lab 3. Presentation of the other members 4. Cartography for Information systems 5 ...
PUBLIHEADER This report describes a resynchronization algorithm and its implementation in Vaucanson. Moreover, some explanations about the addition of bounded lag ...
PUBLIHEADER C++ has achieved to support classic object-oriented and generic programming, but some modelisation problems remain recurrent and difficult to solve. SCOOP ...
PUBLIHEADER The architecture of the Vaucanson project was designed initially thanks to the design pattern Element. The later enables the distinction between concepts ...
PUBLIHEADER English : The XML Proposal presented at CIAA 2005 (Conference on Implementation and Application of Automata) and updated by Florent Teronnes shows some ...
PUBLIHEADER English: The XML Proposal presented at CIAA 2005 (Conference on Implementation and Application of Automata) and updated by Florent Teronnes shows some ...
PUBLIHEADER Afin d'améliorer la performance globale des systèmes de vérification du locuteur, il faut diversifier les approches. Le but de ce travail est d'étudier ...
PUBLIHEADER We consider Games of complete information with r players, and study the existence of polynomial time algorithms for \eps-approximate Nash equilibria in ...
PUBLIHEADER This paper copes with the optimization of Markov Random Fields with pairwise interactions defined on arbitrary graphs. The set of labels is assumed to ...
PUBLIHEADER The best speaker verification systems are based on score combination of several approaches. Support Vector Machines (SVM) give very hopeful results. Thus ...
PUBLIHEADER Modularity, scalability and expressiveness, three main aspects for a disambiguation system. Disambiguation is the step occurring just after the parsing ...
PUBLIHEADER Le fictitious play, en théorie des jeux, est une règle d'apprentissage dans laquelle chaque joueur suppose que ses adversaires jouent une stratégie fixe ...
PUBLIHEADER English : The Transformers project aims at creating a generic framework for C++ source to source transformation. #8220;Source to source #8221; transformation ...
PUBLIHEADER Dans ce rapport technique, nous nous attardons sur le jeu de la tablette de chocolat. On dispose d'une tablette de chocolat dont le carré inférieur gauche ...
PUBLIHEADER Attribute grammars are well suited to describe (parts of) the semantics of programming languages: hooked on the syntactic production rules, they allow ...
PUBLIHEADER Program transformation in general purpose languages such as C++ is tedious because it requires the AST of the transformed program to be manipulated in ...
PUBLIHEADER Announcement of the upcoming CSI seminars on January the 9th and January the 16th. Like every year, the lab's students present the result of their work ...
PUBLIHEADER Context-sensitive languages such as C or C++ can be parsed using a context-free but ambiguous grammar, which requires another stage, disambiguation, in ...
PUBLIHEADER 1. On the lab's particpation in a national R D programme 2. On bits and bytes 3. On Nash equilibrium in games involving several players 4. Brief infos ...
PUBLIHEADER Quantum Key Distribution (QKD) networks are of much interest due to their capacity of providing extremely high security keys to network participants. ...
PUBLIHEADER Abstract: Since the end of the last century, the Internet has shown that it is a different media, a media of citizen journalists. This paper surveys e ...
PUBLIHEADER Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and ...
PUBLIHEADER The CSI students of the LRDE present their respective work at the lab : On June 18th and 25th the CSI 2009 will talk about their projects on Transformers ...
PUBLIHEADER Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, ...
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 English : Dividing a picture into area of interest is called picture segmentation, it is useful in particular to point out cancerous cells in medical ...
PUBLIHEADER Dividing a picture into area of interest is called picture segmentation, it is useful in particular to point out cancerous cells in medical imaging. The ...
PUBLIHEADER English : Milena is the generic image processing library of the Olena platform. The library aims at remaining simple while providing high performances ...
PUBLIHEADER English : The VAUCANSON library is designed to manipulate automata and transducers. Therefore we need a ratio- nal expression parser which deals with ...
PUBLIHEADER English : Nash equilibria computation in finite games is a problem which is known to be PPAD-complete, which means it currently seems impossible to find ...
PUBLIHEADER English : Last year, we started to work on a new proposal of an XML automata description format, now called FSMXML. This year we are presenting a #64257 ...
PUBLIHEADER English : Vaucanson is a generic finite state machine manipulation platform. We have based our genericity on the ability not only to support various types ...
PUBLIHEADER English : Transformers is a C++ manipulation framework built on Stratego/XT. Program Slicing is an important field of program transformation. We will ...
PUBLIHEADER English : SCOOL is a static object-oriented language. It has been created to help one to take advantage of all the power of static C++ thanks to a more ...
PUBLIHEADER The Fast Level Line Transform (FLLT) constructs a contrast-invariant representation of an image. This algorithm builds a tree which follows the inclusion ...
PUBLIHEADER English : Image registration is a process widely used in image processing. Considering two measurements A and B of the same object (say, a x-ray and a ...
PUBLIHEADER Classical (unbounded) genericity in C++03 defines the interactions between generic data types and algorithms in terms of concepts. Concepts define the ...
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 ...
PUBLIHEADER English : A distance transform, also known as distance map or distance #64257;eld, is a representation of a distance function to an object, as an image ...
PUBLIHEADER English : Vaucanson is a library aimed at providing easy access and manipulation of common automata constructions and their algorithms. As such it provides ...
PUBLIHEADER English : Spot is centered around the automata approach to model checking. The library can be used to verify that every behavior of a model, a transition ...
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 The C++ standard grammar was not thought to be easily parsable so its use in the context of program manipulation can be compared to the complexity of ...
PUBLIHEADER SPOT is a C++ library for model-checking. For verification, SPOT uses an input-format that describes a Transition-based Generalized Büchi Automata (TGBA ...
PUBLIHEADER English : C++ is a context-sensitive language that can be parsed using a context-free but ambiguous grammar. Disambiguation is then required to select ...
PUBLIHEADER English : The Olena project provides a generic library for image processing, Milena. We want this library to feature many value types so that the user ...
PUBLIHEADER We present an XML format that allows to describe a large class of finite weighted automata and transducers. Our design choices stem from our policy of ...
PUBLIHEADER Decision Diagrams are a family of data structures that represents huge data sets using a small amount of memory. These structures can be of fixed size ...
PUBLIHEADER Compiler construction, a course feared by most students, and a competence seldom needed in the industry. Yet we claim that compiler construction is wonderful ...
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 Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and ...
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 Shared decision diagram representations of a state-space provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
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 Getting both high performance and genericity at the same time is one of the major research field at the LRDE. Milena, the Olena platform library, faces ...
PUBLIHEADER English : A deterministic automaton can be minimized efficiently into an automaton that has a minimal number of states. The reduction algorithm presented ...
PUBLIHEADER English : Synchronous rational relations is the largest subfamily of rational relations so far de #64257;ned that is an effec- tive Boolean algebra. It ...
PUBLIHEADER English : VAUCANSON has been designed to satisfy the needs of the automaticians. There are, however, other fields where automata are widely used. This ...
PUBLIHEADER English : C++ has proved to be a powerful language to write generic and efficient libraries. However using classical Object Oriented C++ does not suffice ...
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 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 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 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 A software design pattern is a three-part rule which expresses a relation between a certain context, a problem, and a solution. The well-known "GoF Book ...
PUBLIHEADER This article presents several techniques to combine between Support vector machines (SVM) and Joint Factor Analysis (JFA) model for speaker verification ...
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 Abstract : Vaucanson is an extensive C++ library for the manipulation of finite state machines. Compared to its main competitor, !OpenFST, Vaucanson has ...
PUBLIHEADER English: Olena is one of the most advanced image processing libraries regarding its genericity. Its completely static design allows very interesting performance ...
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 Abstract : Contract programming is a paradigm that allows developers to ensure that some conditions are satisfied when a function is called ( preconditions ...
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 english : Pattern recognition and object detection are very important stakes in image processing. Many solutions have been provided; nevertheless the ...
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 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 : In Vaucanson, Finite State Machines are mathematically defined by an algebraic structure module called Algebra. Considering the algebraic mathematical ...
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 English : Spot is a model checking library centered around the automata approach, which can be used to verify properties expressed using LTL (Linear Temporal ...
PUBLIHEADER We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological ...
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. Three new members at the lab 2. Release of Olena 1.0 3. Presentation of the LRDE, its activities 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 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 ...
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 ...
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 ...
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+ ...
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 : Tiger is a language designed as a reference for pedagogical compiler writing. Our C++ implementation of a Tiger compiler takes advantage of well-established ...
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 ...
CommonEnglishMistakes This page is dedicated in memoriam of English, that has been killed so many times by French people. The structure of this document is far from ...
HowtoWriteEnglish The reader must be careful with the following text, for it is full of mistakes. Each sentence does not only describe a common mistake, but also ...
LOGOIMA : image processing (IP) and pattern recognition (PR) LOGOOLENA : software tools for IP and PR, Olena Project LOGOSE : programming paradigms and languages ...
OralGuideLines How to give a good Research Talk, Simon Peyton Jones, John Hughes, John Lanchbury. http://www.dcs.gla.ac.uk/fp/papers/giving-a-talk.ps.Z Google Search ...
First reviewer's review: Summary of the paper The paper presents a program evaluation technique for a small, functional language (the Tiger language). The idea is ...
Publications.PresentationGuideLines Publications.WritingPapersAndReports: Global issues when writing a technical text Publications.CommonEnglishMistakes: Learn to ...
Some doc for the Publications web New publications: Create a topic per publication. The easiest consists in typing the name you want to create in the Go: form above ...
CSI Seminar The research conducted by LRDE students (CSI), and sometimes staff, is publicly presented. From time to time, our seminar invites speakers on hot topics ...
LRDE Seminar, 14 May 2002 Alexandre Duret-Lutz, Les exceptions Les exceptions sont un mécanisme de signalement et gestion des conditions d'erreurs, permettant d'isoler ...
LRDE Seminar, 15 May 2002 TOC Emmanuel Turquin. Towards fast image-based rendering of volume data. Abstract: Volume rendering is a technique for directly displaying ...
LRDE Seminar, 16 May 2002, Image Processing Quoc Peyrot. Watermarking. Abstract: Après avoir rappelé l'intérêt du watermarking et les enjeux sur les droits d'auteur ...
LRDE Seminar , Wednesday, June 19th 2002 TOC 14h, Le Premier LISP, Didier Verna LISP, acronyme de «List Processor», est un langage de programmation originellement ...
LRDE Seminar, 26 Jun 2002 TOC 14h, Introduction à la Logique Linéaire, Main.AkimDemaille. La logique classique a régné pendant des siècles comme seul et unique modèle ...
LRDE Seminar, 18 Sep 2002, EPITA, P04 This week, two of our 2003 students will expose problems they met while working on some projects, and what solutions they consider ...
LRDE Seminar, 25 Sep 2002, EPITA, Amphi 1 Most, if not all, of the efforts developped in the LRDE aims at producing an efficient image processing library: Olena. ...
TOC LRDE Seminar, 30 Oct 2002, EPITA Robert Anisko, on program transformation and the C++ language Many software engineering problems, such as refactoring or optimisation ...
LRDE Seminar, March 19 2003 14h, EPITA P004 Thomas Quinot, Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables ...
LRDE Seminar, April 30 2003 16h, EPITA Amphi P004 Le 18 novembre 2002, la liste de diffusion de GCC recevait un message de Tristan Gingold, déjà connu pour être l ...
LRDE Seminar, May 14th, 21st, 28th June 4th TOC LRDE Seminar : Image processing, 14 May 2003, EPITA We are expecting a title, a name, a short abstract, and some keywords ...
BIGGREENLRDE TOC GREEN LRDE Seminar: 28 May 2003, EPITA ENDCOLOR Task graphs and data dependencies Beno t Perrot Keywords Graph dependency, frame based reasoning ...
Séminaires des anciens du LRDE 2004 TOC (75min) : Introduction à l'approche automate pour la vérification de propriétés LTL Main.AlexandreDuretLutz (LIP6, équipe ...
TOC BLUE LRDE Seminar: 26 Mai 2004, EPITA, Amphi A02 ENDCOLOR OLENA Traitement des Images 14h00 : Segmentation d'images couleurs Giovanni Palma et Niels Van Vliet ...
BIGREDLRDE TOC RED LRDE Seminar : Transformers, 2 June 2004, EPITA, Salle P04 ENDCOLOR 14h00 : Transformers : Transformation de programmes pour le C++ Clément Vasseur ...
TOC BLUE LRDE Alumni Seminar: 30 juin 2004, EPITA, Salle Formation (Paritalie 5ème étage) ENDCOLOR 14h00 : Introduction à l'approche automate pour la vérification ...
LRDE Seminar, 29 September 2004, 3 pm, EPITA, Amphi 2 Une extension de ML : les types algébriques gardés Yann Régis-Gianas Travail réalisé dans le cadre du DEA Programmation ...
BIGSTDLRDE TOC ORANGE LRDE Seminar: 24 Novembre 2004, EPITA, Amphi P004 ENDCOLOR VAUCANSON 14h00 : Présentation de Vaucanson Thomas Claveirole Il existe de nombreux ...
TOC BLUE LRDE Seminar: 01 Décembre 2004, TRANSFORMERS, EPITA, Amphi P004 ENDCOLOR 14h00 : Transformers : transformation de programme en C++ Clément Vasseur Le projet ...
BIGSTDLRDE TOC TRANSFORMERS Outils pour le suivi automatique de performances Nicolas Desprès Le LRDE développe principalement, depuis plus de cinq années, deux bibliothèques ...
BIGSTDLRDE TOC ORANGE LRDE Seminar: 01 Juin 2005, EPITA, Amphi P004 ENDCOLOR OLENA 14h00 : Modélisation et taxonomie des images Simon Odou Tout ce que notre esprit ...
TOC BLUE LRDE Seminar: 22 Juin 2005, Vaucanson, EPITA, Amphi P004 ENDCOLOR 14h00 : Des automates de couverture de langages finis Michaël Cadilhac Bien que les langages ...
BIGGREENLRDE TOC GREEN LRDE Seminar: 06 July 2005, EPITA, Amphi P002 ENDCOLOR APMC 14h00 : Un nouveau schéma de distribution pour APMC Guillaume Guirado APMC est ...
BIGGREENLRDE TOC GREEN LRDE Seminar: 17 Novembre 2005, EPITA, Salle P05 ENDCOLOR VAUCANSON Automates Les transducteurs dans Vaucanson Sarah O'Connor Les transducteurs ...
BIGSTDLRDE TOC ORANGE LRDE Seminar: 17 Mai 2006, EPITA, Amphi P004 ENDCOLOR VAUCANSON 14h00 : Remodélisation du projet Vaucanson Robert Bigaignon Vaucanson est une ...
BIGGREENLRDE TOC GREEN LRDE Seminar: 24 May 2006, EPITA, Amphi P004 ENDCOLOR MARKOV 14h00 : Classement de pages Web Johan Oudinet Les moteurs de recherche ordonnent ...
BIGGREENLRDE TOC GREEN LRDE Seminar: 30 November 2006, EPITA, Amphi P004 ENDCOLOR OLENA 9h00 : Extraction automatique d'artères à partir d'images médicales 3D Nicolas ...
BIGREDLRDE TOC RED LRDE Seminar : Vaucanson, Game theory and Olena, 07 December 2006, EPITA, Amphi Masters ENDCOLOR VAUCANSON 14h00 : Présentation du TAF-Kit Robert ...
TOC BLUE CSI Seminar: 09 Mai 2007, Markov et Vérification du locuteur, EPITA, Amphi IP11 ENDCOLOR Markov 14h00 : Validation des performances d'un algorithme d'apprentissage ...
BIGREDLRDE TOC RED CSI Seminar : Olena, Transformers et DD, 16 mai 2007, EPITA, Amphi 2 ENDCOLOR OLENA 14h00 : Une bibliothèque de conteneurs en C++ via SCOOP Thomas ...
BIGSTDLRDE TOC ORANGE CSI Seminar: 23 Mai 2007, EPITA, Amphi 2 ENDCOLOR VAUCANSON 14h00 : Un format universel de description d'automates et son utilisation dans Vaucanson ...
BIGGREENLRDE TOC GREEN CSI Seminar: 06 June 2007, EPITA, Amphi 2 ENDCOLOR LISP 15h00 : Étude de problèmes de performances en C et en Common Lisp William Caldwell ...
TOC BLUE CSI Seminar: 16 Janvier 2008, Transformers, Théorie des Jeux et Vérification du locuteur, EPITA, Amphi Masters, KB ENDCOLOR TRANSFORMERS 14h00 : revCPP ...
BIGGREENLRDE TOC GREEN CSI Seminar: 25 Juin 2008, Olena et Théorie des Jeux, EPITA, Amphi 4, KB ENDCOLOR OLENA 14h00 : Ligne de partage des eaux topologique Alexandre ...
BIGREDLRDE TOC RED CSI Seminar: 9 Juillet 2008, Transformers et Vaucanson, EPITA, Amphi masters, KB ENDCOLOR TRANSFORMERS 14h00 Implémentation d’une extension du ...
BIGREDLRDE TOC RED CSI Seminar: 7 Janvier 2009, Vaucanson et Transformers, EPITA, Amphi 2, KB ENDCOLOR VAUCANSON 14h00 Réduction d’automates Vivien Delmon Un automate ...
TOC BLUE CSI Seminar: 14 Janvier 2009, Théorie des Jeux et Olena, EPITA, Amphi 2, KB ENDCOLOR THEORIE DES JEUX 14h00 : Comparaison entre le Fictitious Play et le ...
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 ...
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: 6 January 2010, EPITA, 14h, Amphi Masters, KB ENDCOLOR VAUCANSON 14h00 : Adapter les structures de données de Vaucanson au concept de kind et ...
StrategoDay Le mercredi 11 février 2004 l'environnement StrategoXT est présenté aux membres du LRDE. Il s'agit d'une présentation rapide qui cherche à : sensibiliser ...
TOC General Instructions To make your document available, follow these instructions (see below): upload files on the Intra.WebServer create wiki page fill the wiki ...
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 ...
NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Publications web. This is a convenient service, so you ...
TWiki.Publications Web Preferences The following settings are web preferences of the TWiki.Publications web. These preferences overwrite the site-level preferences ...
Guidelines for writing papers and reports It is very important to pay much attention to the quality of your writing. Most readers react to style, clarity, conciseness ...