Bibliografías temáticas / Transformation automatique / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Transformation automatique.

Tesis sobre el tema "Transformation automatique"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 19 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Transformation automatique".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Mesbahi, Larbi. "Transformation automatique de la parole : étude des transformations acoustiques." Rennes 1, 2010. https://tel.archives-ouvertes.fr/tel-00547088.

Texto completo
Resumen
Le travail effectué dans cette thèse présente une évaluation des techniques de transformation de voix à base de GMM. Ces techniques de transformation linéaires malgré leurs qualités obtenues, elles ne manquent pas de quelques défauts, on peut noter le sur-lissage, le problème de distorsion spectrale et le sur-apprentissage. Dans un premier volet, nous avons pris en compte ces questions pour adapter la stratégie d'apprentissage des fonctions de conversion. La première c'est la réduction du nombre des paramètres libres de la fonction de conversion. La deuxième considère que les solutions par tra
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Mesbahi, Larbi. "Transformation automatique de la parole - Etude des transformations acoustiques." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00547088.

Texto completo
Resumen
Le travail effectué dans cette thèse s'insère dans le cadre de la conversion automatique de la voix. La problématique générale est de modifier le signal d'un énoncé pour qu'il soit perçu comme prononcé par une autre personne. Les Systèmes de Conversion de Voix (SCV) de l'état de l'art utilisent pour la plupart des modèles de voix probabilistes GMM (Gaussian Mixture Models). Ces SCV utilisent des fonctions de conversion linéaires apprises à partir des GMMs. Elles permettent d'obtenir des voix converties de bonne qualité. Cependant, elles sont soumises à des défauts de conception liées à l'appre
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Lolive, Damien Boëffard Olivier Barbot Nelly. "Transformation de l'intonation application à la synthèse de la parole et à la transformation de voix /." Rennes : [s.n.], 2008. ftp://ftp.irisa.fr/techreports/theses/2008/lolive.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Lolive, Damien. "Transformation de l'intonation : application à la synthèse de la parole et à la transformation de voix." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/lolive.pdf.

Texto completo
Resumen
Les travaux de cette thèse se situent dans le cadre de la transformation de la prosodie en se focalisant sur la fréquence fondamentale, F0, facteur jugé proéminent dans le traitement de la prosodie. En particulier, nous nous intéressons aux différentes étapes nécessaires à la construction d'un tel système : la stylisation, la classification et la transformation des contours mélodiques. Pour chaque étape, nous proposons une méthodologie qui tient compte des problèmes qui se sont posés à l'étape précédente. Tout d'abord, un modèle B-spline est proposé pour la stylisation des contours mélodiques.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Bonhomme, Stéphane. "Transformation de documents structurés, une combinaison des approches explicite et automatique." Phd thesis, Grenoble 1, 1998. http://www.theses.fr/1998GRE10241.

Texto completo
Resumen
Les travaux presentes dans cette these ont pour theme la transformation des documents structures. Un document structure est une collection d'elements types organisee par un ensemble de relations logiques definissant une structure hierarchique. Ces relations sont definies par des grammaires hors-contexte qui decrivent des classes de documents. L'utilisation des documents structures permet d'automatiser une partie des traitements effectues sur les documents et contribue egalement a ameliorer leur portabilite en proposant une syntaxe commune definie par des normes (sgml, xml). Les applications ut
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Bonhomme, Stéphane. "Transformation de documents structurés, une combinaison des approches explicite et automatique." Phd thesis, Université Joseph Fourier (Grenoble), 1998. http://tel.archives-ouvertes.fr/tel-00010471.

Texto completo
Resumen
Les travaux présentés dans cette thèse ont pour thème la transformation des documents structurés. Un document structuré est une collection d'éléments typés organisée par un ensemble de relations logiques définissant une structure hiérarchique. Ces relations sont définies par des grammaires hors-contexte qui décrivent des classes de documents. L'utilisation des documents structurés permet d'automatiser une partie des traitements effectués sur les documents et contribue également à améliorer leur portabilité en proposant une syntaxe commune définie par des normes (SGML, XML). Les applications ut
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Azibi, Nadia. "Trequasi : un système pour la transformation automatique de programmes PROLOG récursifs en quasi-itératifs." Paris 11, 1987. http://www.theses.fr/1987PA112415.

Texto completo
Resumen
TREQUASI est un système de transformation de programmes Prolog REcursifs en QUASI-Itératifs implémenté en Prolog. Un programme Prolog récursif linéaire est un programme dont une de ses clauses est une clause récursive linéaire de la forme [ P :- Q1 , Pr, Q2. ]. Un programme Prolog quasi-itératif (itératif au sens de Mac Canhy) est un programme dont toutes les clauses récursives qui constituent ce programme ont des appels récursifs terminaux de la forme [ P :- Q1, Pr. ] Q1 est une conjonction de littéraux qui peut être éventuellement vide, Q2 est une conjonction d'atomes qui peut être réduite à
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Barreaud, Vincent. "Reconnaissance automatique de la parole continue : compensation des bruits par transformation de la parole." Nancy 1, 2004. http://docnum.univ-lorraine.fr/public/SCD_T_2004_0175_BARREAUD.pdf.

Texto completo
Resumen
Les performances d'un système de reconnaissance automatique de la parole se dégradent lorsque les conditions de test et d'entraînement diffèrent. L'approche classique du Stochastic Matching (SM) propose une estimation en temps-différé d'une fonction de compensation qui maximise la vraisemblance de la parole compensée par rapport à la séquence de modèles proposée par le processus de reconnaissance. Nous proposons des techniques temps-réel basées sur SM : la compensation s'effectue en parallèle avec le processus de reconnaissance. Cela permet de compenser dans un environnement variant lentement.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Azibi, Nadia. "TREQUASI un système pour la transformation automatique de programmes PROLOG récursifs en quasi-itératifs /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37602493s.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Barreaud, Vincent Haton Jean-Paul. "Reconnaissance automatique de la parole continue compensation des bruits par transformation de la parole /." (S.l.) : (s.n.), 2004. http://www.scd.uhp-nancy.fr/docnum/SCD_T_2004_0175_BARREAUD.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Kalsron, Jérémy. "Génération automatique d'abstractions de carrefours pour les personnes concernées par la déficience visuelle." Electronic Thesis or Diss., Université Clermont Auvergne (2021-...), 2024. http://www.theses.fr/2024UCFA0074.

Texto completo
Resumen
Les carrefours sont des espaces particulièrement critiques pour les personnes déficientes visuelles et nécessitent des compétences avancées en locomotion pour les traverser en sécurité. S'il existe des dispositifs permettant de s'orienter au cours d'un trajet, les seules manières d'étudier un carrefour ex-situ restent la description ad hoc par une personne tierce ou l'utilisation de cartes en relief. Il s'agit également d'un problème pour les instructeurs pour l'autonomie lors des séances de locomotion: l'étude d'un nouveau terrain implique la préparation manuelle de cartes en relief et de des
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Wisniewski, Guillaume. "Apprentissage dans les espaces structurés : application à l'étiquetage de séquences et à la transformation automatique de documents." Paris 6, 2007. http://www.theses.fr/2007PA066525.

Texto completo
Resumen
De nombreux problèmes d'apprentissage consiste à prédire des séquences, des arbres ou des graphes. Contrairement aux problèmes de classification usuels, ces sorties sont structurées et se décomposent en un ensemble d'éléments étiquetés interdépendants. L'apprentissage structuré est domaine de l'apprentissage statistique proposé récément pour développer des méthodes d'apprentissage capables de découvrir et d'exploiter ces dépendances entre étiquettes pour améliorer les performances en prédiction. L'étude des différents cadres et méthodes d'apprentissage structuré constitue la première partie de
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Perrot, Maxime. "Analyse explicable et personnalisable de données hétérogènes multi-niveaux : une approche guidée par l’apprentissage automatique et les ontologies." Electronic Thesis or Diss., Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2024. http://www.theses.fr/2024ESMA0021.

Texto completo
Resumen
Cette thèse s’intègre dans le contexte industriel de Orisha Retail Shops, qui propose des caisses enregistreuses et logiciels pour points de vente comme les boulangeries et bureaux de tabac. Ces systèmes génèrent un volume considérable de données sur les ventes, cruciales pour améliorer le suivi opérationnel et la prospection, conférant un avantage concurrentiel significatif à l’entreprise. Le premier problème traité est l’identification précise des activités des points de vente, complexifiée par la liberté de nommage et de catégorisation des produits. Ceci constitue un défi de classification,
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Pennequin, Jean-Claude. "Reconnaissance automatique de formes dans des images de simulation et de traitement en radiothérapie." Vandoeuvre-les-Nancy, INPL, 1995. http://www.theses.fr/1995INPL018N.

Texto completo
Resumen
La radiothérapie externe est une thérapeutique utilisant les radiations ionisantes pour traiter les cancers locorégionaux. Afin de permettre le contrôle du bon positionnement du patient, des caches de protection et du champ d'irradiation, des images de simulation et de traitement sont comparées. Les limites du champ d'irradiation sont détectées par la méthode de sommation et les limites des caches de protection par la transformée de Hough. Les formes repérées du patient sont traitées comme une chaine de caractères code suivant la technique de Freeman. Afin de réduire les temps de calcul, la te
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Oum, Oum Sack Pierre Marie. "Contribution à l'étude de la qualité du logiciel : approche à base d'apprentissage automatique et de transformation de modèles." Littoral, 2009. http://www.theses.fr/2009DUNK0221.

Texto completo
Resumen
Cette thèse propose des travaux liés à la définition et l’évaluation de la qualité du logiciel. Nous considérons la qualité comme un concept transversal devant être pris en charge par toutes les activités du développement du logiciel. Il devient donc important de fournir des mécanismes et outils assurant l’interopérabilité de ces activités. Ainsi, une partie importante de nos travaux est consacrée à l’adoption de GXL (Graph eXchange Language) comme médium d’échange d’objets ou artefacts logiciels. GXL sert donc comme support technologique de mise en œuvre de notre approche de modélisation et d
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Lecerf, Jason. "Designing language-agnostic code transformation engines." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I077.

Texto completo
Resumen
Les transformations automatiques de code apparaissent dans diverses situations, les refactorings, les migrations inter-langages ou encore la spécialisation de code. Les moteurs supportant ces transformations cherchent dans le code source les occurrences de motifs spécifiés par l’utilisateur, puis les réécrivent grâce à une transformation. Cette transformation peut soit modifier les occurrences elles-mêmes, des éléments de la représentation intermédiaire (IR) du langage, en nouveaux éléments ou réécrire leur code source. Nous nous concentrons sur la réécriture de code source qui offre une meill
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Drira, Khalil. "Transformation et composition de graphes de refus : analyse de la testabilité." Toulouse 3, 1992. http://www.theses.fr/1992TOU30142.

Texto completo
Resumen
Les techniques de description formelle (tdf) pour la specification de systemes communicants sont utilisees pour valider et tester des implementations de ces systemes. Dans le cas de systemes constitues de modules, il est interessant de savoir evaluer la testabilite de chacun des composants a travers l'environnement de test que constitue les autres composants interconnectes. Cette these presente deux contributions principales aux approches de validation et de test dans le cadre des tdf: 1) une caracterisation operationnelle des relations de conformite, avec derivation automatique de tests de co
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Garchery, Quentin. "Certification de la transformation de tâches de preuve." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG006.

Texto completo
Resumen
De nombreux prouveurs et outils de vérification font un usage instensif des transformations logiques afin de ramener un problème exprimé sous la forme d'une tâche de preuve à un certain nombre de tâches de preuve plus simples à valider. Les transformations font souvent partie de la base de confiance de l'outil de vérification. Cette thèse a pour objectif de renforcer la confiance accordée aux transformations logiques. Les transformations sont instrumentées pour produire des certificats puis ceux-ci sont vérifiés par un outil externe: c'est l'approche sceptique. De ce fait, notre méthode est in
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Moreau, Aurélien. "Mise en œuvre automatique de processus métier dans le domaine des architectures orientées services." Paris 6, 2009. http://www.theses.fr/2009PA066660.

Texto completo
Resumen
Ces deux contributions ont été mises en oeuvre dans un prototype opérationnel offrant un atelier complet de projection de processus métier dans une architecture SOA. Enfin nous rapportons des expériences qui ont été menées pour dépasser le cadre de l'atelier de création statique de composition de services et amener les premières briques de résolution à l'exécution de ces problèmes.
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Degottex, Gilles. "Glottal source and vocal-tract separation : estimation of glottal parameters, voice transformation and synthesis using a glottal model." Paris 6, 2010. http://www.theses.fr/2010PA066399.

Texto completo
Resumen
Cette étude s'intéresse au problème de l'inversion d'un modèle de production de la voix étant donné un enregistrement audio de parole pour obtenir une représentation de le source sonore qui est générée au niveau de la glotte, la source glottique, ainsi qu'un représentation des résonances et anti-résonances créées par les cavités du conduit vocal. Cette séparation des éléments composants la voix donne la possibilité de manipuler indépendamment les caractéristiques de la source et le timbre des résonances. Nous supposons que la source glottique est un signal à phase mixte et que la réponse impul
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Decoster, Jean. "Programmation logique inductive pour la classification et la transformation de documents semi-structurés." Thesis, Lille 1, 2014. http://www.theses.fr/2014LIL10046/document.

Texto completo
Resumen
L’échange d’informations entre périphériques variés et sur internet soulève de nombreux problèmes par le volume et l’hétéroclisme des données échangées. La plupart de ces échanges utilisent le format XML. Afin de les faciliter, des traitements intelligents, comme la classification et la transformation automatiques, ont été développés. Le but de cette thèse est double : proposer un framework d'apprentissage pour la classification de documents XML et étudier l'apprentissage de transformations de documents XML. Le choix d’utiliser la Programmation Logique Inductive a été fait. Même si les méthode
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Serrano, Lucas. "Automatic inference of system software transformation rules from examples." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS425.

Texto completo
Resumen
Le noyau Linux est aujourd'hui présent dans tous les types de systèmes informatiques, des smartphones aux supercalculateurs, comprenant à la fois le matériel le plus récent et les systèmes "anciens". Cette diversité d'environnement a pour conséquence une base de code importante, d'une dizaine de millions de lignes de code, pour les pilotes matériels. Cependant par souci d'introduction de nouvelles fonctionnalités, ou pour des raisons de performance ou de sécurité, certaines interfaces de programmation (APIs) internes doivent être parfois revues, ce qui peut impliquer des changements pour des m
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Chkouri, Mohamed Yassin. "Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM013.

Texto completo
Resumen
Le langage d'analyse et de description d'architectures (AADL) fait l'objet d'un jeu d'intérêt croissant dans l'industrie des systèmes embarqués temps-réel. Il définit plusieurs catégories de composants, réparties en trois grandes familles (logiciel, matériel, système). Le travail réalisé durant cette thèse exploite les fonctionnalités offertes par AADL pour spécifier les besoins exacts d'une application et exprimer toutes les caractéristiques tant fonctionnelles que non fonctionnelles (dimensions temporelle et spatiale), afin de la produire automatiquement. La méthodologie de production que no
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Chkouri, Mohamed Yassin. "Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00516152.

Texto completo
Resumen
Le langage d'analyse et de description d'architectures (AADL) fait l'objet d'un intérêt croissant dans l'industrie des systèmes embarqués tempsréel. Il définit plusieurs catégories de composants, réparties en trois grandes familles (logiciel, matériel, système). Le travail réalisé durant cette thèse exploite les fonctionnalités offertes par AADL pour spécifier les besoins exacts d'une application et exprimer toutes les caractéristiques tant fonctionnelles que non fonctionnelles dimensions temporelle et spatiale), afin de la produire automatiquement. La méthodologie de production que nous propo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Pillet, Constance-Aurore. "Transformation progressive du texte en données à l'aide de méthodes linguistiques et évaluation de cet apport de la linguistique sur l'efficacité du Text Mining." Paris 9, 2003. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2003PA090007.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Dubois, David. "Introduction à la commande non entière des systèmes linéaires par la transformée de Mellin." Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-109.pdf.

Texto completo
Resumen
La theorie des moments temporels est utilisee dans la synthese d'une commande entiere des systemes lineaires a reponse indicielle aperiodique. Il est cependant necessaire que les modeles choisis possedent un developpement en serie entiere dans le domaine de laplace. Or l'elaboration d'une commande faisant intervenir des operateurs d'ordre non entier ou des systemes non developpables en serie entiere ne peut pas etre menee par cette theorie. Il est alors indispensable d'utiliser un operateur similaire mais a valeurs non entieres : la transformee de mellin. En premier lieu, les notions elementai
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Bergerot, Pierre. "Contribution à la reconstitution d'objets 2D par observations coplanaires et transformation géométrique inverse : essai d'application à la pose automatique des gobelets trayeurs." Bordeaux 1, 1990. http://www.theses.fr/1990BOR10517.

Texto completo
Resumen
Ce travail apporte une contribution a la reconstruction d'objets 2d. Apres une etude approfondie des principes de la tomographie et une tentative d'application de ces methodes aux objets opaques, nous presentons la theorie des enveloppes de courbes pour la reconstruction du contour de l'objet. Une formalisation mathematique et une simulation numerique du principe de reconstruction sont developpees. Une tentative d'application a la detection-localisation des trayons est exposee dans la deuxieme partie en comparaison avec un procede de stereovision
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Durand, Jean-Claude. "Ttedit : un système interactif d'édition et de transformation d'arbres décorés." Grenoble 1, 1988. http://www.theses.fr/1988GRE10028.

Texto completo
Resumen
TTEDIT est le premier éditeur d'arbres décores qui utilise un formalisme de réécriture. Les commandes prédéfinies d’édition sont analogues à celles d'un éditeur de texte. Grace a la possibilité d'exécuter des règles de réécriture comme des commandes, et des grammaires sous forme de macros, TTEDIT est aussi un système de transformation d'arbres interactif
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Lasalle, Jonathan. "Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués." Phd thesis, Université de Franche-Comté, 2012. http://tel.archives-ouvertes.fr/tel-00762053.

Texto completo
Resumen
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Charpentier, Patrick. "Contribution à la conception d'une cellule flexible d'usinage dediée à l'industrie de seconde transformation du bois." Nancy 1, 1991. http://www.theses.fr/1991NAN10269.

Texto completo
Resumen
Les systèmes flexibles sont à l'heure actuelle quasiment inexistants dans les industries du bois massif. Il existe en effet un certain nombre de particularités, liées au materiau, à sa transformation et au contexte industriel, qui donnent naissance à des difficultés aux origines multiples. La méthodologie proposée dans ce mémoire tente de répondre à l'ensemble de ces problèmes particuliers et fédère les différentes participations à l'ensemble des phases de l'étude. L'application de cette méthodologie permet la mise en évidence des différentes fonctions opératives de la cellule, puis de les org
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

DEGREZE, PHILIPPE. "Reconstruction d'images d'irm. Un algorithme de transformation de fourier surechantillonneur. Analyse automatique d'images par morphologie mathematique. La viscosite en ligne de partage des eaux." Paris 7, 1994. http://www.theses.fr/1994PA077227.

Texto completo
Resumen
Ce memoire est decompose en trois parties: une partie acquisition d'images, une partie analyse d'images, enfin une partie publication de resultats. Un procede de reconstruction d'images d'irm a partir des donnees brutes est presente, de sa conception a son implantation en langage c. Une etude de sa complexite informatique est realisee. Le procede est illustre sur des simulations et sur des donnees brutes d'acquisition. La segmentation d'images par ligne de partage des eaux est presentee tout d'abord par sa definition formelle. Une modification de la ligne de partage des eaux est presentee pour
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Levointurier, Christophe. "De la nécessité d'une vision holistique du code pour l'analyse statique et la correction automatique des Applications Web." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00688117.

Texto completo
Resumen
L'omniprésence de l'informatique a comme conséquences, parmi d'autres, la multiplication du volume logiciel existant et en cours de développement pour répondre à une demande toujours croissante. Cette course à la productivité implique une industrialisation de la production de code sous contrôle qualitatif de plus en plus exigeante.Cette thèse tend à repousser des limites constatées dans le domaine de la qualité logicielle. Ces limites perceptibles dans les outils actuels concernent (1) le périmètre d'analyse, (2) l'ergonomie et les contextes d'utilisation, ainsi que (3) les solutions de correc
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Jousse, Florent. "Transformations d'Arbres XML avec des Modèles Probabilistes pour l'Annotation." Phd thesis, Université Charles de Gaulle - Lille III, 2007. http://tel.archives-ouvertes.fr/tel-00342649.

Texto completo
Resumen
Cette thèse traite de l'apprentissage supervisé de transformations d'arbres XML. Le langage XML permet de décrire des données sous forme d'arbres dont la structure est définie par un schéma. Il est par conséquent devenu le standard en termes d'échanges de données, que ce soit sur le Web ou entre plusieurs applications. Toutefois, les documents XML peuvent avoir des structures très variables. La grande variété de ces structures nécessite alors d'être capable de transformer de tels arbres. Nous proposons d'effectuer de telles transformations d'arbres XML en annotant les arbres d'entrée, c'est-à-
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Klai, Mouad. "Simulation and Analysis of Joint Transformation and Diffusion Dynamics in Irregular Domains : Application to Computational Modeling of Microbial Decomposition in Porous Media." Electronic Thesis or Diss., Sorbonne université, 2025. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2025SORUS075.pdf.

Texto completo
Resumen
De nombreux défis de modélisation informatique, notamment dans le domaine des phénomènes naturels, peuvent être décrits par des processus couplés de transformation et de diffusion au sein de géométries complexes (3D). La spatialisation des dynamiques à travers des simulations numériques améliore considérablement la compréhension des processus en fonction de leur géométrie. Cette thèse propose un cadre général pour simuler ces processus dans tout domaine représenté sous forme voxélisée 3D. La méthodologie décrit le domaine via une hiérarchie de graphes relationnels attribués, construits à l'aid
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Damouche, Nasrine. "Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods." Thesis, Perpignan, 2016. http://www.theses.fr/2016PERP0032/document.

Texto completo
Resumen
Les systèmes critiques basés sur l’arithmétique flottante exigent un processus rigoureux de vérification et de validation pour augmenter notre confiance en leur sureté et leur fiabilité. Malheureusement, les techniques existentes fournissent souvent une surestimation d’erreurs d’arrondi. Nous citons Arian 5 et le missile Patriot comme fameux exemples de désastres causés par les erreurs de calculs. Ces dernières années, plusieurs techniques concernant la transformation d’expressions arithmétiques pour améliorer la précision numérique ont été proposées. Dans ce travail, nous allons une étape plu
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Bous, Frederik. "A neural voice transformation framework for modification of pitch and intensity." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS382.

Texto completo
Resumen
La voix humaine est une grande source de fascination et un objet de recherche depuis plus de 100 ans. Pendant ce temps, de nombreuses technologies ont germées autour de la voix, comme le vocodeur, qui fournit une représentation paramétrique de la voix, couramment utilisée pour la transformation de la voix. Dans cette tradition, les limites des approches basées uniquement sur le traitement du signal sont évidentes : Pour créer des transformations cohérentes, les dépendances entre les différentes propriétés vocales doivent être bien comprises et modélisées avec précision. Modéliser ces corrélati
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Coupez, Thierry. "Grandes transformations et remaillage automatique." Paris, ENMP, 1991. http://www.theses.fr/1991ENMP0615.

Texto completo
Resumen
Des conditions d'incompressibilite incrementale non lineaire et linearisee sont proposees dans le chapitre 1. Elles permettent d'assurer la conservation du volume dans les formulations incrementales dites lagrangiennes reactualisees. Le chapitre 2 est consacre a la prise en compte de l'incompressibilite dans les methodes elements finis appliquees a la viscoplasticite. Un mailleur automatique bi-dimensionnel, basee sur l'algorithme de la triangulation de delaunay est presente dans le chapitre 3. On decrit l'algorithme d'un generateur de contour. On applique ces outils au remaillage automatique
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Mtopi, Fotso Blaise Eugène. "Contribution à une méthodologie de conception modulaire : modélisation de la diversité dans les familles de produits." Phd thesis, Université de Franche-Comté, 2006. http://tel.archives-ouvertes.fr/tel-00241342.

Texto completo
Resumen
Les travaux présentés dans cette thèse portent sur la modélisation des familles de produits. Ces travaux se placent fondamentalement dans le domaine de l'Ingénierie Intégrée ou du Concurrent Engineering et portent sur la conception intégrée modulaire de famille de produits, ils sont une suite des travaux développés au LAB par l'équipe Méthodologie de l'Assemblage. Dans ce mémoire, nous proposons une modélisation de famille de produits s'appuyant sur des concepts de modularité, les grammaires de graphe et sur les transformations matricielles. <br />Dans le chapitre 1, nous présentons les concep
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Jouvelot, Pierre. "Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels." Paris 6, 1986. http://www.theses.fr/1986PA066559.

Texto completo
Resumen
Notre principe consiste a voir les transformations de programmes introduites par la parllelisation comme definissant des semantiques denotationnelles non-standards du langage de programmation. Nous montrons comment utiliser ce concept pour detecter, dans un langage imperatif simplifie all, des instructions complexes parallelisables, reconnaitre des reductions et prendre en compte certains programmes avec indirections
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Richa, Elie. "Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles." Thesis, Paris, ENST, 2015. http://www.theses.fr/2015ENST0082/document.

Texto completo
Resumen
Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus utilisés pour produire des parties du logiciel embarqué. Puisque le code généré fait partie d’un logiciel critique, les standards de sûreté exigent une vérification approfondie du GAC: la qualification. Dans cette thèse en collaboration avec AdaCore, nous cherchons à réduire le coût des activités de test par des méthodes automatiques et efficaces.La première partie de la thèse aborde le sujet du test unitaire qui assure une exhaustivité élevée mais qui est difficile à réaliser pour les GACs. Nous p
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Machado, Javam de Castro. "Parallélisme et transactions dans les bases de données à objets." Université Joseph Fourier (Grenoble), 1995. https://tel.archives-ouvertes.fr/tel-00005039.

Texto completo
Resumen
Notre travail cherche à exploiter le parallélisme dans le contexte des systèmes de gestion de bases de données a objets a d'autres niveaux d'abstraction que celui d'une requête SQL, à savoir le parallélisme intra-transaction et le parallélisme intra-application. Notre approche pour parallélisassions des transactions considère un modèle de transactions classiques, ou une transaction est une séquence d’Operations. Le parallélisme intra-transaction consiste à transformer le code d'une transaction pour pouvoir exécuter ses opérations en parallèle. Notre approche pour l'exploitation du parallélisme
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Gasti, Wahida. "Etude et realisation d'un processeur rapide de transformations geometriques d'images numeriques." Université Louis Pasteur (Strasbourg) (1971-2008), 1986. http://www.theses.fr/1986STR13131.

Texto completo
Resumen
Les transformations geometriques d'images sont essentiellement utilisees pour: corriger les erreurs de parallaxe dues aux conditions de prise de vues, comparer des images provenant de capteurs differents, superposer des images reelles et des images conceptuelles, realiser des effets speciaux
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Richa, Elie. "Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles." Electronic Thesis or Diss., Paris, ENST, 2015. http://www.theses.fr/2015ENST0082.

Texto completo
Resumen
Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus utilisés pour produire des parties du logiciel embarqué. Puisque le code généré fait partie d’un logiciel critique, les standards de sûreté exigent une vérification approfondie du GAC: la qualification. Dans cette thèse en collaboration avec AdaCore, nous cherchons à réduire le coût des activités de test par des méthodes automatiques et efficaces.La première partie de la thèse aborde le sujet du test unitaire qui assure une exhaustivité élevée mais qui est difficile à réaliser pour les GACs. Nous p
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Bourgeois, Christian. "Approximation par préondelettes d'équations intégrales." Valenciennes, 1999. https://ged.uphf.fr/nuxeo/site/esupversions/0d630fd4-aa50-46e0-b3e2-4dbbfd7042cc.

Texto completo
Resumen
La résolution de problèmes aux limites par la méthode des équations intégrales permet de réduire la dimension du domaine d'étude et donc de diminuer la place mémoire nécessaire à l'implémentation de ces méthodes. Néanmoins, la décomposition de la solution dans une base nodale classique conduit à des matrices de raideur pleines et mal conditionnées. D'où l'idée de changer la base utilisée et de construire une base de préondelettes qui caractérise l'espace de Sobolev introduit dans la formulation variationnelle. Le préconditionnement est alors très simple. De plus, une procédure de compression d
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Kader, Mahamane. "Contributions à la modélisation et au contrôle des systèmes intelligents distribués : application au contrôl des vibrations d'une poutre." Université de Besançon, 2000. http://www.theses.fr/2000BESA2018.

Texto completo
Resumen
Nous présentons une approche nouvelle pour la conception des systèmes intelligents distribués dans le cadre du contrôle des vibrations d’une poutre. Nous construisons un circuit analogique distribué qui réalise une approximation d’une loi de contrôle optimale, avec un système d’observation et de contrôle utilisant des transducteurs piézoélectiques distribués. […] Nous proposons une paramétrisation des contrôleurs dynamiques H infini pour des équations d’ état linéaires de dimension finie. […]Une étude de stabilisation a été réalisée sur le modèle à coefficients constants. Les résultats théoriq
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Verfaille, Vincent. "Effets audionumériques adaptatifs : théorie, mise en œuvre et usage en création musicale numérique." Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2003. http://tel.archives-ouvertes.fr/tel-00004448.

Texto completo
Resumen
Ce travail de thèse porte sur la théorie, la mise en œuvre et les applications musicales des effets audionumériques adaptatifs. Dans la première partie, nous plaçons le sujet dans le contexte des transformations sonores. Un grand nombre de techniques de traitement du signal sonore numérique se complètent et fournissent un ensemble d'algorithmes permettant de transformer le son. Ces transformations sont appliquées selon les dimensions perceptives du son musical, à savoir la dynamique, la durée, la hauteur, la spatialisation et le timbre. Pour quelques effets, les contrôles évoluent de manière a
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Malik, Muhammad Ghulam Abbas. "Méthodes et outils pour les problèmes faibles de traduction." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00502192.

Texto completo
Resumen
Étant données une langue source L1 et une langue cible L2, un segment (phrase ou titre) S de n mots écrit en L1 peut avoir un nombre exponentiel N=O(kn) de traductions valides T1...TN. Nous nous intéressons au cas où N est très faible en raison de la proximité des formes écrites de L1 et L2. Notre domaine d'investigation est la classe des paires de combinaisons de langue et de système d'écriture (Li-Wi, Lj-Wj) telles qu'il peut y avoir une seule traduction valide, ou un très petit nombre de traductions valides, pour tout segment S de Li écrit en Wi. Le problème de la traduction d'une phrase hi
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Dymetman, Marc. "Transformations de grammaires logiques et réversibilité en traduction automatique." Grenoble 1, 1992. http://www.theses.fr/1992GRE10097.

Texto completo
Resumen
L'objet de ce travail est de décrire des conditions et des techniques permettant de transformer des grammaires logiques en des programmes d'analyse et de génération: - directement exécutables par l'interpréteur standard de Prolog; - corrects, c'est-à-dire dénotationnellement équivalents à la grammaire logique qu'ils implémentent, et complets, c'est-à-dire tels que toutes les solutions soient énumérées par retour-arrière et que le programme termine. Dans une première partie, l'accent porte sur l'utilisation bidirectionnelle (analyse et génération) d'une même grammaire dans le cadre de la traduc
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Saint-James, Emmanuel. "De la meta-recursivite comme outil d'implementation." Paris 6, 1987. http://www.theses.fr/1987PA066612.

Texto completo
Resumen
Il est montre comment il est possible et pourquoi il est souhaitable d'implementer un langage de programmation exclusivement par autointerpretation. En effet, il est montre qu'un sous ensemble d'un langage de programmation peut etre considere comme sa propre machine virtuelle, et que l'acces interactif au code source du systeme donne au langage une clarte et une puissance d'expression inegalees. Cette technique, nommee metarecursivite, a ete utilisee pour mettre en oeuvre le systeme meta lisp, operationnel sur plusieurs machines
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Charpentier, Francis. "Traitement de la parole par analyse-synthese de fourier : application a la synthese par diphones." Paris, ENST, 1988. http://www.theses.fr/1988ENST0009.

Texto completo
Resumen
Ces techniaues sont utilisees dans le but d'obtenir une meilleure qualite de son que celle obtenue par les methodes paramagnetiques habituelles. L'accent est mis sur la double approche suivante: 1) interpretation de la transformee de fourier a court terme comme un banc de filtres et synthese par addition des sorties de ce banc filtre; 2) synthese par superposition et addition de signaux a court terme
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Transformation automatique" para otros tipos de fuentes:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía