Abstract
From LRDE
F
Les dernieres années ont été marquées par le développement des techniques de segmentation à base de filtres connectés. Ces méthodes procèdent généralement en deux étapes. Elles calculent un attribut sur les composantes connectées puis filtrent celles qui ne satisfont pas un certain critère. Nous proposons un nouvel algorithme basé sur l'union-find qui permet de calculer des attributs directement sur les contours des composantes connectées et d' en étudier leur energie. Nous introduisons ainsi le filtrage à base de contours dans une nouvelle méthode de segmentation. +
The problem of finding short synchronizing words is important and has many applications (part orientersroad-coloring problem, model-checking, biocomputingnetwork protocols etc.) A synchronizing word (or reset sequence) for a finite deterministic automaton is a sequence of labels which sends any state of the input automaton to a unique state. Finding the shortest synchronizing word for a general automata is NP-completeso most algorithms focus on trying to find heuristically short words in polynomial time. In this report, we will compare the different approaches used by the current state of the-art algorithms (Greedy, Cycle, SynchroP, SynchroPLand FastSynchro), in terms of space and time complexityand actual results (average lengths of found words, average time spent). We will also discuss the different intermediate representations used by these algorithms, and how we can use the information they contain. +
The current problem of the disambiguation in Transformers with attribute grammars is that no-one has a proof that allows certification of this approach. The current use of attribute grammars for the disambiguation of C and a part of C++ lets us think that this method is correct. In order to remove any doubt, a definition and a formalization of our approach are necessary. This work is split in two parts. The first one relates to the proof of the validity of the approach used in Transformers. The second one is devoted to the correction and the re-development of the existing tools according to the model defined. +
Le problème actuel de la désambiguïsation dans Transformers avec des grammaires attribuées est que l'on ne possède pas de preuve permettant de certifier cette approche. L'usage actuel des grammaires attribuées pour la désambiguïsation du C et d'une partie du C++ laisse à penser que cette méthode est correcte. Afin de supprimer tout doute, une définition et une formalisation de notre approche est nécessaire. Ce travail comporte est divisé en deux parties. La première porte sur la preuve de la validité de l'approche utilisée dans Transformers. La seconde est consacrée à la correction et au re-développement des outils existants suivant le modèle défini. +
Spot est une bibliothèque de model checking. Pour vérifier des modèles, Spot utilise un format d'entrée représentant des automates de Büchi généralisés basés sur les transitions (TGBA). Ce format est peu pratique pour des utilisateurs, par son manque d'abstraction et par la taille des automates à représenter, souvent composés de millions d'états. Promela (Process Meta-Language) est un langage de spécification de systèmes asynchrones, utilisé par le model checker Spin. Il permet de représenter des systèmes concurrents dans un langage impératif de haut niveau. Nous allons présenter plusieurs approches pour l'ajout d'un front-end Promela dans Spot, qui devront permettre une exploration à la volée du graphe d'états, afin d'éviter de conserver en mémoire tous les états. +
Universal Background Models combined with Gaussian Mixture Models (UBM - GMM) is a common approach to speaker verifcation systems. In general, we use diagonal covariance matrices. This simplification allows us to have faster training steps during speaker recognition. We will explore the case of full-covariance along with the additional complexity and the benefits in terms of speaker recognition performances. All experiments will be performed on NIST-SRE 2010 datasets. +
Olena is one of the most advanced image processing libraries in terms of genericity. It mainly comes from a different vision of the image notion composed of key concepts such as Windows, Accumulators, Dispatch by Traits and Morphers. We make a detailed description and explain how to implement them within Lisp. +
G
In speaker verification appplications, GMM models have an important place and have shown good perfomance. Actuallylinear discriminant methods using support vector machines (SVM) provide better results. We will focus on a linear disciminant system, the SVM-GLDS. Its uses statistics directly extracted from the speech features to define the recognition model without using Gaussian mixture models (GMMs). Weâll present and compare SVM-GLDS performance to SVM-GMM on NIST speaker evaluation tasks. +
FIXME +
FIXME +
go2pins est un outil utilisé pour interfacer un programme Go avec des outils de vérification formelle. À l'aide d'une série de transformations, un programme Go est compilé vers un programme au comportement identique, mais exposant une interface permettant d'itérer l'espace d'états de celui ci. Nous introduisons les transitions black-box, une technique efficace et évolutive pour gérer le runtime Go. Cette approche permet des abstractions facilesautomatiques et efficaces. Dans ce rapport, nous présentons le développement derrière l'introduction des transitions black-box dans textttgo2pins et les problèmes rencontrés. +
Ce rapport présente l'implémentation d'une fac con générique et performante pour générer des automates aléatoires pondérés. Pour ce faire, nous utilisons des relations déjà établies entre des ensembles connus et l'ensemble des DFA de taille n. En étendant ces relations dans le cas pondéré, nous généralisons l'algorithme présenté et nous montrons une implémentation dans la plateforme Vcsn. +
Dans ce rapport, on présente l'implémentation d'un algorithme efficace et générique de génération aléatoire d'expressions rationnelles pondérées, et d'expressions rationnelles à plusieurs bandes. Il supporte tous les types opérateurs, d'étiquettes et de poids présents dans Vcsn. Cet outil permet une meilleure couverture des tests. Nous présentons également une manière de générer des chemins aléatoires dans des automates pondérés. +
H
go2pins is a tool used to interface Go programs with model checking algorithms. Through a series of transformations, a standard Go program is compiled to another behaving the same way, but exposing an interface allowing to iterate over its various states. We introduce black-box transitions, an efficient and scalable technique for handling the Go runtime. This approachinspired from the hardware verification techniques, allows easy, automatic and efficient abstractions. In this reportwe introduce the development behind the introduction of the black-box transitions in textttgo2pins and the problems encountered. +
The structure extraction of a digitized document is based on the setup of a processing chain composed of elementary algorithms. The high-level document structure analysis will be based on this same processing chain but will consider other abstract information on the structure composition of the document, to get more clues on its structure. From those clues and from the structure data of the document, it is then possible to perform high-level analysis like identifying the reading direction, extract some specific elements or convert the document into another format. +
Un histogramme est une représentation de la distribution de données dans une image, par exemple des niveaux de gris ou des couleurs. Cette caractéristique essentielle doit être implémentée génériquement dans la bibliothèque Milena. Durant ce séminaire nous proposons d'enregistrer les données d'histogrammes dans des conteneurs d'images. Pour cela, nous avons besoin d'adapter la définition des types de valeurs. Plus spécifiquement, nous proposons d'augmenter les traits associés aux types de valeurs, d'ajouter de nouveaux types de valeurs utiles et de construire de nouvelles abstractions au-dessus. Enfin nous présenterons comment traiter des données circulaires comme les valeurs de teinte (encodées par des angles dans l'espace de couleurs HSL); dans ce cas "l'image histogramme" deviendrait aussi circulaire. +
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 and especially for classification purposes. This key-feature has to be generically implemented in the Milena library. In this seminar, we propose to store histogram data using an image container. To that aim, adapting the definition of value types is required. More specifically, we propose to augment the traits associated with value types, add some new useful value types, and design new abstractions over them. Last, we present how to deal with circular data, such as the "hue" values (encoded by angles in the HSL color space); in this case, the "histogram image" would become also circular. +
Le module de structures algébriques de VaucansonAlgebra, sert de base à la définition mathématique des automates finis. Cependant la modélisation actuelle est inexacte du point de vue théorique: les relations d'héritages entre certaines classes sont fausses (l'héritage entre les semi-anneaux et les monoïdes en est le parfait exemple). D'autre part, nous ne pouvons facilement l'étendre avec de nouvelles structures algébriques.newline Ainsi, afin de doter Algebra d'une plus grande granularité dans sa définition des concepts algébriques, il est nécessaire de retravailler sa structure globale en introduisant un système de hiérarchie par propriétés similaire à celui présenté dans SCOOP. En se basant sur les propriétés des opérateurs et des ensembles mathématiques pour définir la nature des structures algébriques, et non sur une hiérarchie de classes classique, nous pourrons nous permettre une spécialisation plus précise des algorithmes grâce à la garantie de propriétés sur ces structuresentraînant ainsi un gain de performance et d'expressivité important au cur de Vaucanson. +