Thèses : « Interprétation sémantique de tables »

1

Liu, Jixiong. « Semantic Annotations for Tabular Data Using Embeddings : Application to Datasets Indexing and Table Augmentation ». Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS529.

Texte intégral

Résumé :

Avec le développement de l'Open Data, un grand nombre de sources de données sont mises à disposition des communautés (notamment les data scientists et les data analysts). Ces données constituent des sources importantes pour les services numériques sous réserve que les données soient nettoyées, non biaisées, et combinées à une sémantique explicite et compréhensible par les algorithmes afin de favoriser leur exploitation. En particulier, les sources de données structurées (CSV, JSON, XML, etc.) constituent la matière première de nombreux processus de science des données. Cependant, ces données proviennent de différents domaines pour lesquels l'expertise des consommateurs des données peut être limitée (knowledge gap). Ainsi, l'appropriation des données, étape critique pour la création de modèles d'apprentissage automatique de qualité, peut être complexe.Les modèles sémantiques (en particulier, les ontologies) permettent de représenter explicitement le sens des données en spécifiant les concepts et les relations présents dans les données. L'association d'étiquettes sémantiques aux ensembles de données facilite la compréhension et la réutilisation des données en fournissant une documentation sur les données qui peut être facilement utilisée par un non-expert. De plus, l'annotation sémantique ouvre la voie à des modes de recherche qui vont au-delà de simples mots-clés et permettent l'expression de requêtes d'un haut niveau conceptuel sur le contenu des jeux de données mais aussi leur structure tout en surmontant les problèmes d'hétérogénéité syntaxique rencontrés dans les données tabulaires. Cette thèse introduit un pipeline complet pour l'extraction, l'interprétation et les applications de tableaux de données à l'aide de graphes de connaissances. Nous rappelons tout d'abord la définition des tableaux du point de vue de leur interprétation et nous développons des systèmes de collecte et d'extraction de tableaux sur le Web et dans des fichiers locaux. Nous proposons ensuite trois systèmes d'interprétation de tableaux basés sur des règles heuristiques ou sur des modèles de représentation de graphes, afin de relever les défis observés dans la littérature. Enfin, nous présentons et évaluons deux applications d'augmentation des tables tirant parti des annotations sémantiques produites: l'imputation des données et l'augmentation des schémas
With the development of Open Data, a large number of data sources are made available to communities (including data scientists and data analysts). This data is the treasure of digital services as long as data is cleaned, unbiased, as well as combined with explicit and machine-processable semantics in order to foster exploitation. In particular, structured data sources (CSV, JSON, XML, etc.) are the raw material for many data science processes. However, this data derives from different domains for which consumers are not always familiar with (knowledge gap), which complicates their appropriation, while this is a critical step in creating machine learning models. Semantic models (in particular, ontologies) make it possible to explicitly represent the implicit meaning of data by specifying the concepts and relationships present in the data. The provision of semantic labels on datasets facilitates the understanding and reuse of data by providing documentation on the data that can be easily used by a non-expert. Moreover, semantic annotation opens the way to search modes that go beyond simple keywords and allow the use of queries of a high conceptual level on the content of the datasets but also their structure while overcoming the problems of syntactic heterogeneity encountered in tabular data. This thesis introduces a complete pipeline for the extraction, interpretation, and applications of tables in the wild with the help of knowledge graphs. We first refresh the exiting definition of tables from the perspective of table interpretation and develop systems for collecting and extracting tables on the Web and local files. Three table interpretation systems are further proposed based on either heuristic rules or graph representation models facing the challenges observed from the literature. Finally, we introduce and evaluate two table augmentation applications based on semantic annotations, namely data imputation and schema augmentation

Styles APA, Harvard, Vancouver, ISO, etc.

2

Lavigne, Frédéric. « Sémantique isochronotopique : locus et decours temporel des processus d'interprétation sémantique ». Paris, EHESS, 1996. http://www.theses.fr/1996EHES0312.

Texte intégral

Résumé :

Les phenomenes de construction du sens au cours de la comprehension d'enonces font intervenir de nombreux parametres relevant notamment des proprietes du langage et du systeme cognitif. Les bases minimales des interactions systemiques entre un lecteur et un enonce montrent l'interet interdisciplinaire d'apprehender les phenomenes semantiques par l'analyse conjointe de la structure linguistique anaphorique associative de l'enonce et des processus cognitifs interpretatifs. Les questions theoriques posees par les processus en temps reel de l'interpretation nous amenent a preciser empiriquement les interactions entre les representations que se fait le sujet de l'enonce et la structure semantique de l'enonce. L'analyse empirique des processus interpretatifs s'inscrit, en psychologie cognitive, dans la problematique des effets du contexte semantique sur la reconnaissance des mots, etudiee par une serie d'experiences d'enregistrement des mouvements oculaires pendant la lecture et de decision lexicale. Les resultats conduisent a distinguer plusieurs types d'interpretation du sens des mots en fonction du contexte qui les precede, et en fonction de la dimension temporelle des processus interpretatifs. Dans le cadre de l'analyse structurale des phenomenes d'isotopie, l'analyse de la temporalite des effets du contexte permet de degager des decours temporel distincts des processus activateurs et inhibiteurs du traitement semantique. Ces proprietes fonctionnelles sont analysees sur un plan qualitatif des types d'associations lexicales mises en jeu dans la phrase, puis sont elargies a un plan quantitatif vers la notion de thematique globale du niveau textuel. Un modele interpretatif psycholinguistique est propose pour rendre compte de maniere unifiee des processus interpretatifs activateurs et inhibiteurs. Des elements de formalisation sont proposes relativement aux proprietes structurales d'un reseau de neurones. Ce travail propose une approche interdisciplinaire d'une theorie semantique lexicale, structurale et temporelle
Sentence comprehension processes rely on semantic properties of the linguistic system and of the cognitive system. An analysis of systemic interactions between a text and a reader is proposed. This analysis defines the types of interactions between an associative anaphoric structure and an associative cognitive structure, usually investigated from different disciplinary point of views. On the basis of this theoretical anaysis, an experimental approach is proposed within the frame of semantic context effects studies in psycholinguistics. A set of eye movement recording experiments, and of lexical decision experiments, investigates the locus and time course of context effects on word processing. Results show that both the semantic structure of the context and the time course of the context effects can influence the processing of a target word. Results are discussed within the linguistic frame of isotopic phenomenon, and show that both activatory and inhibitory processes are involved, with different time courses. These results are extended from the reading of isolated sentences to the reading of texts. A psycholinguistic associative model is proposed within the frame of the current literature, which propose to analyse at an associative level the activatiry and inhibitory processes and their respective time courses

Styles APA, Harvard, Vancouver, ISO, etc.

3

Gzawi, Mahmoud. « Désambiguïsation de l’arabe écrit et interprétation sémantique ». Thesis, Lyon, 2019. http://www.theses.fr/2019LYSE2006.

Texte intégral

Résumé :

Cette thèse se situe à l’intersection des domaines de la recherche en linguistique et du traitement automatique de la langue. Ces deux domaines se croisent pour la construction d’outils de traitement de texte, et des applications industrielles intégrant des solutions de désambiguïsation et d’interprétation de la langue.Une tâche difficile et très peu abordée et appliqué est arrivée sur les travaux de l’entreprise Techlimed, celle de l’analyse automatique des textes écrits en arabe. De nouvelles ressources sont apparues comme les lexiques de langues et les réseaux sémantiques permettant à la création de grammaires formelles d’accomplir cette tâche.Une métadonnée importante pour l’analyse de texte est de savoir « qu’est-ce qui est dit, et que signifie-t-il ? ». Le domaine de linguistique computationnelle propose des méthodes très diverses et souvent partielle pour permettre à l’ordinateur de répondre à de telles questions.L’introduction et l’application des règles de grammaire descriptives de langues dans les langages formels spécifiques au traitement de langues par ordinateur est l’objet principal de cette thèse.Au-delà de la réalisation d’un système de traitement et d’interprétation de textes en langue arabe, basé aussi sur la modélisation informatique, notre intérêt s’est porté sur l’évaluation des phénomènes linguistiques relevés par la littérature et les méthodes de leur formalisation en informatique.Dans tous les cas, nos travaux de recherche ont été testés et validés dans un cadre expérimental rigoureux autour de plusieurs formalismes et outils informatiques.Nos expérimentations concernant l'apport de la grammaire syntaxico-sémantique, a priori, ont montré une réduction importante de l’ambiguïté linguistique dans le cas de l'utilisation d’une grammaire à état fini écrite en Java et une grammaire générativetransformationnelle écrite en Prolog, intégrant des composants morphologiques, syntaxiques et sémantiques.La mise en place de notre étude a requis la construction d’outils de traitement de texte et d’outils de recherche d’information. Ces outils ont été construits par nos soins et sont disponible en Open-source.La réussite de l’application de nos travaux à grande échelle s’est conclue par la condition d’avoir de ressources sémantiques riches et exhaustives. Nous travaux ont été redirigés vers une démarche de production de telles ressources, en termes de recherche d’informations et d’extraction de connaissances. Les tests menés pour cette nouvelle perspective ont étéfavorables à d’avantage de recherche et d’expérimentation
This thesis lies at the frontier of the fields of linguistic research and the automatic processing of language. These two fields intersect for the construction of natural language processing tools, and industrial applications integrating solutions for disambiguation and interpretation of texts.A challenging task, briefly approached and applied, has come to the work of the Techlimed company, that of the automatic analysis of texts written in Arabic. Novel resources have emerged as language lexicons and semantic networks allowing the creation of formal grammars to accomplish this task.An important meta-data for text analysis is "what is being said, and what does it mean". The field of computational linguistics offers very diverse and, mostly, partial methods to allow the computer to answer such questions.The main purpose of this thesis is to introduce and apply the rules of descriptive language grammar in formal languages specific to computer language processing.Beyond the realization of a system of processing and interpretation of texts in Arabic language based on computer modeling, our interest has been devoted to the evaluation of the linguistic phenomena described by the literature and the methods of their formalization in computer science.In all cases, our research was tested and validated in a rigorous experimental framework around several formalisms and computer tools.The experiments concerning the contribution of syntaxico-semantic grammar, a priori, have demonstrated a significant reduction of linguistic ambiguity in the case of the use of a finite-state grammar written in Java and a transformational generative grammarwritten in Prolog, integrating morphological, syntactic and semantic components.The implementation of our study required the construction of tools for word processing, information retrieval tools. These tools were built by us and are available in Open-source.The success of the application of our work in large scale was concluded by the requirement of having rich and comprehensive semantic resources. Our work has been redirected towards a process of production of such resources, in terms of informationretrieval and knowledge extraction. The tests for this new perspective were favorable to further research and experimentation

Styles APA, Harvard, Vancouver, ISO, etc.

4

Monsuez, Bruno. « Typage par interprétation abstraite ». Palaiseau, Ecole polytechnique, 1994. http://www.theses.fr/1994EPXX0015.

Texte intégral

Résumé :

L'interprétation abstraite et l'inférence de types sont deux méthodes formelles permettant d'obtenir de manière statique (i. E. à la compilation) et automatique une description approchée du comportement dynamique (i. E. De l'exécution) d'un programme. Ces deux méthodes sont généralement présentées comme concurrentes voir même incompatibles. Dans cet ouvrage, notre objectif a été tout d'abord de développer une approche générique permettant de définir un système de types en utilisant les techniques d'interprétation abstraite. Le résultat auquel nous sommes parvenus met ainsi fin à la polémique entre les tenants des techniques d'interprétation abstraite et ceux de l'inférence de types et ouvrent de nouveaux horizons pour aux techniques d'inférences. Il est désormais possible de combiner les techniques propres aux systèmes d'inférences de types et les techniques d'interprétation abstraite afin d'améliorer les systèmes de types existant, de développer de nouveaux systèmes de types. En résumé, notre objectif a été tout d'abord de développer dans cet ouvrage une approche générique permettant de définir un système de types en utilisant les techniques de l'interprétation abstraite, tout en exhibant les similitudes des systèmes obtenus avec les systèmes de types définis de manière classique. Ce formalisme une fois défini, nous illustrons comment utiliser les techniques spécifiques de l'interprétation abstraite afin d'améliorer de façon significative les systèmes de types classiques. Enfin, dans une dernière partie, nous définissons de nouveaux systèmes moins intuitifs permettant des typages bien plus précis que ceux disponibles dans la littérature

Styles APA, Harvard, Vancouver, ISO, etc.

5

Pechoux, Romain. « Analyse de la complexité des programmes par interprétation sémantique ». Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2007. http://tel.archives-ouvertes.fr/tel-00321917.

Texte intégral

Résumé :

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques.
Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactif, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes.

Styles APA, Harvard, Vancouver, ISO, etc.

6

Andrés, Samuel. « Ontologies dans les images satellitaires : interprétation sémantique des images ». Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2013. http://tel.archives-ouvertes.fr/tel-00998692.

Texte intégral

Résumé :

Étant donnée l'évolution technologique des capteurs embarqués à bord des satellites, le potentiel d'images satellitaires accessible s'accroît de telle manière que se pose maintenant la question de son exploitation la plus efficace possible. C'est l'objectif du projet CARTAM-SAT que de fluidifier la chaîne de traitement depuis les satellites jusqu'aux utilisateurs des images. La thèse s'inscrit dans ce cadre. Les traitements relatifs aux images ont évolué au cours des années. Les images basse résolution étaient traitées par une approche dite pixel alors que la haute résolution a permis le développement d'une approche dite objet. Cette dernière s'attache à analyser non plus des pixels isolés, mais des groupes de pixels représentatifs d'objets concrets sur le terrain. Ainsi, en principe, ces groupes de pixels sont dotés d'une sémantique propre au domaine de la télédétection. La représentation des connaissances a évolué parallèlement aux images satellitaires. Les standards de représentation ont profité de l'expansion du web pour donner naissance à des standards comme OWL. Celui-ci repose en grande partie sur les logiques de description qui permettent l'utilisation de raisonneurs automatiques capables d'inférer une connaissance implicite.Cette thèse se place à la jonction de ces deux sciences et propose une approche ontologique d'analyse des images satellitaires. Il s'agit de formaliser différents types de connaissances et de conceptualisations implicitement utilisés par les logiciels de traitement d'image et par les experts en télédétection, puis de raisonner automatiquement sur la description d'une image pour en obtenir une interprétation sémantique.Ce principe général est susceptible de nombreuses déclinaisons techniques. La mise en œuvre a consisté en la réalisation d'un prototype alliant une bibliothèque d'analyse d'images satellitaires et un raisonneur basé sur les ontologies. L'implémentation proposée dans la thèse permet d'explorer quatre déclinaisons techniques du principe qui mènent à des discussions sur la complémentarité des paradigmes d'analyse pixel et objet, la représentation de certaines relations spatiales et la place de la connaissance par rapport aux traitements.

Styles APA, Harvard, Vancouver, ISO, etc.

7

Péchoux, Romain. « Analyse de la complexité des programmes par interprétation sémantique ». Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL084N/document.

Texte intégral

Résumé :

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques. Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactifs, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes
There are several approaches developed by the Implicit Computational Complexity (ICC) community which try to analyze and control program resources. In this document, we focus our study on the resource control with the help of semantics interpretations. After introducing the notion of quasi-interpretation together with its distinct properties and characterizations, we show the results obtained in the study of such a tool: We study the synthesis problem which consists in finding a quasi-interpretation for a given program and we tackle the issue of quasi-interpretation modularity. Modularity allows to decrease the complexity of the synthesis procedure and to capture more algorithms. We present several extensions of quasi-interpretations to reactive programming, bytecode verification or higher-order programming. Afterwards, we introduce the notion of sup-interpretation. This notion strictly generalizes the one of quasi-interpretation and is used in distinct criteria in order to control the resources of more algorithms, including algorithms over infinite data and algorithms using a divide and conquer strategy. We combine sup-interpretations with distinct termination criteria, such as RPO orderings, dependency pairs or size-change principle, and we compare them to the notion of quasi-interpretation. Using the notion of sup-interpretation, we characterize small parallel complexity classes. We provide some heuristics for the sup-interpretation synthesis: we manage to synthesize sup-interpretations without the subterm property, that is, sup-interpretations which are not quasi-interpretations. Finally, we extend sup-interpretations to object-oriented programs, thus obtaining distinct criteria for resource control of object-oriented programs and their methods

Styles APA, Harvard, Vancouver, ISO, etc.

8

Foucherot, Irène. « Analyse syntaxique et interprétation de clauses de Horn ». Dijon, 1995. http://www.theses.fr/1995DIJOS055.

Texte intégral

Résumé :

Please est un système permettant d'évaluer des programmes en clauses de Horn pures en utilisant des algorithmes de génération d'analyseurs syntaxiques LR. Ce système permet à l'utilisateur d'écrire ses programmes de façon totalement déclarative, ce qu'il ne peut pas faire avec un système prolog classique. Notre système intègre des prédicats prédéfinis d'entrée/sortie et de manipulation dynamique de clauses qui conservent son caractère déclaratif et prennent en compte la cohérence du programme. De tels prédicats ont pu être ajoutes grâce à l'adaptation d'algorithmes de génération incrémentale d'analyseurs. Nous avons défini une sémantique opérationnelle de notre système dans le langage des clauses de Horn augmentées de la négation.

Styles APA, Harvard, Vancouver, ISO, etc.

9

Sellami, Akrem. « Interprétation sémantique d'images hyperspectrales basée sur la réduction adaptative de dimensionnalité ». Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2017. http://www.theses.fr/2017IMTA0037/document.

Texte intégral

Résumé :

L'imagerie hyperspectrale permet d'acquérir des informations spectrales riches d'une scène dans plusieurs centaines, voire milliers de bandes spectrales étroites et contiguës. Cependant, avec le nombre élevé de bandes spectrales, la forte corrélation inter-bandes spectrales et la redondance de l'information spectro-spatiale, l'interprétation de ces données hyperspectrales massives est l'un des défis majeurs pour la communauté scientifique de la télédétection. Dans ce contexte, le grand défi posé est la réduction du nombre de bandes spectrales inutiles, c'est-à-dire de réduire la redondance et la forte corrélation de bandes spectrales tout en préservant l'information pertinente. Par conséquent, des approches de projection visent à transformer les données hyperspectrales dans un sous-espace réduit en combinant toutes les bandes spectrales originales. En outre, des approches de sélection de bandes tentent à chercher un sous-ensemble de bandes spectrales pertinentes. Dans cette thèse, nous nous intéressons d'abord à la classification d'imagerie hyperspectrale en essayant d'intégrer l'information spectro-spatiale dans la réduction de dimensions pour améliorer la performance de la classification et s'affranchir de la perte de l'information spatiale dans les approches de projection. De ce fait, nous proposons un modèle hybride permettant de préserver l'information spectro-spatiale en exploitant les tenseurs dans l'approche de projection préservant la localité (TLPP) et d'utiliser l'approche de sélection non supervisée de bandes spectrales discriminantes à base de contraintes (CBS). Pour modéliser l'incertitude et l'imperfection entachant ces approches de réduction et les classifieurs, nous proposons une approche évidentielle basée sur la théorie de Dempster-Shafer (DST). Dans un second temps, nous essayons d'étendre le modèle hybride en exploitant des connaissances sémantiques extraites à travers les caractéristiques obtenues par l'approche proposée auparavant TLPP pour enrichir la sélection non supervisée CBS. En effet, l'approche proposée permet de sélectionner des bandes spectrales pertinentes qui sont à la fois informatives, discriminantes, distinctives et peu redondantes. En outre, cette approche sélectionne les bandes discriminantes et distinctives en utilisant la technique de CBS en injectant la sémantique extraite par les techniques d'extraction de connaissances afin de sélectionner d'une manière automatique et adaptative le sous-ensemble optimal de bandes spectrales pertinentes. La performance de notre approche est évaluée en utilisant plusieurs jeux des données hyperspectrales réelles
Hyperspectral imagery allows to acquire a rich spectral information of a scene in several hundred or even thousands of narrow and contiguous spectral bands. However, with the high number of spectral bands, the strong inter-bands spectral correlation and the redundancy of spectro-spatial information, the interpretation of these massive hyperspectral data is one of the major challenges for the remote sensing scientific community. In this context, the major challenge is to reduce the number of unnecessary spectral bands, that is, to reduce the redundancy and high correlation of spectral bands while preserving the relevant information. Therefore, projection approaches aim to transform the hyperspectral data into a reduced subspace by combining all original spectral bands. In addition, band selection approaches attempt to find a subset of relevant spectral bands. In this thesis, firstly we focus on hyperspectral images classification attempting to integrate the spectro-spatial information into dimension reduction in order to improve the classification performance and to overcome the loss of spatial information in projection approaches.Therefore, we propose a hybrid model to preserve the spectro-spatial information exploiting the tensor model in the locality preserving projection approach (TLPP) and to use the constraint band selection (CBS) as unsupervised approach to select the discriminant spectral bands. To model the uncertainty and imperfection of these reduction approaches and classifiers, we propose an evidential approach based on the Dempster-Shafer Theory (DST). In the second step, we try to extend the hybrid model by exploiting the semantic knowledge extracted through the features obtained by the previously proposed approach TLPP to enrich the CBS technique. Indeed, the proposed approach makes it possible to select a relevant spectral bands which are at the same time informative, discriminant, distinctive and not very redundant. In fact, this approach selects the discriminant and distinctive spectral bands using the CBS technique injecting the extracted rules obtained with knowledge extraction techniques to automatically and adaptively select the optimal subset of relevant spectral bands. The performance of our approach is evaluated using several real hyperspectral data

Styles APA, Harvard, Vancouver, ISO, etc.

10

Massé, Damien. « Vérification par interprétation abstraite guidée par une propriété temporelle ». Palaiseau, École polytechnique, 2002. http://www.theses.fr/2002EPXX0048.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Wieckowski, Danièle. « Genèse du poème : sémantique et alchimie : une lecture de Mallarmé ». Toulouse 2, 1996. http://www.theses.fr/1996TOU20019.

Texte intégral

Résumé :

Le dessein de ce travail est de montrer que l'œuvre de Mallarmé emprunte une part effective de son inspiration à ce mouvement qui entraine les poètes, dans la seconde moitié du dix-neuvième siècle, à se fonder, pour concurrencer la pensée dite "positive", sur la tradition hermétique et sur l'alchimie, considérée comme une pratique expérimentale mais aussi comme un exercice spirituel, avec cette distance exigée par une modernité critique. La première partie de cette thèse montre que les textes mallarméens se réfèrent précisément à la démarche et aux symboles des alchimistes. La progression de ce travail se fonde sur celle même du grand œuvre et accorde une importance particulière au sonnet en yx et au conte igitur, le premier comme mise en abyme des divers états de l'œuvre, le second comme illustration du processus d'individuation dont il est le reflet. La seconde partie de cette étude analyse, dans le contexte des états successifs des œuvres mallarméennes et celui de la correspondance du poète, l'évolution sémantique de trois mots, "oubli", "nul" et "pur", représentative des étapes de la poétique mallarméenne et de l'alchimie subtile par laquelle le poète purifiait les "mots de la tribu" pour forger cette langue hyperbolique qu'il opposait à la langue monnayable de la communication
The purpose of this work is to show Mallarmé's poetic work is, for a significative part, inspired by the evolution of ideas which induced poets, in the second half of XIXe century, to refer, with the intention of exceeding "positive "mind, to hermetic tradition and alchemical operation, taken not only as experimental practice but also as spiritual exercice, though kept at a distance as may require a critical modernity. The first part of this thesis shows Mallarmé's texts refer precisely to alchemical process and symbolism. The study goes on according to the progress of the great work and gives a significant place to the sonnet en yx and to igitur, the first as a "mise en abyme" of the various states of the work, the second as an illustration of the individuating process that alchemical operation implies. The second part of this study analyses, within the context of Mallarmé's works and of the poet's correspondance, the semantic evolution of three words, "oubli", "nul" and "pur", representative of Malllarmé's poetic purposes, and showing how the poet, as by an alchemical process, purified the "words of the tribe", and transformed them into the words of an hyperbolical language, opposed to the worth money language of communication

Styles APA, Harvard, Vancouver, ISO, etc.

12

Tzolovski, Stanislav. « Raffinement d'analyses statiques par interprétation abstraite ». Palaiseau, Ecole polytechnique, 2002. http://www.theses.fr/2002EPXX0044.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Blakqori, Teutë. « Le groupe nominal en albanais : morphologie, syntaxe, interprétation ». Paris 8, 2013. http://octaviana.fr/document/175828784#?c=0&m=0&s=0&cv=0.

Texte intégral

Résumé :

L’objectif de cette thèse est de décrire le syntagme nominal en albanais en cherchant à corréler les effets sémantiques observés aux propriétés morphosyntaxiques. Selon les grammaires albanaises traditionnelles, le nom apparaît sous deux formes différentes : la première qui est appelée « la forme déterminée » (e shquar), et la deuxième « la forme indéterminée » (e pashquar). L’examen d’une quantité d’exemples, attestés et forgés, révèle que même la forme « indéterminée » peut donner lieu à une interprétation « définie », et que les propriétés morphologiques et distributionnelles des noms « indéterminés » permettent de les rapprocher de ce que les chercheurs travaillant sur d'autres langues à articles ont appelé les noms nus (sans déterminant anglais bare nouns). La comparaison des noms « indéterminés » albanais et des « noms nus » décrits dans d’autres langues permet de dégager des propriétés précises. Une partie importante de ce travail est consacrée aussi aux trois sujets suivants : (i) le DP défini, donnant lieu à trois interprétations : défini fort, faible et générique ; (ii) le DP démonstratif ; et (iii) l’article de connexion (AC), analysé comme un marqueur d’accord signalant le déplacement d’un NP à gauche d’un modifieur
The goal of this dissertation is to provide a description of the noun phrase and to correlate interpretation and morphosyntax. Traditional grammars of Albanian distinguish between two surface forms of the noun: a "determined" form (e shquar) and a determinerless/ "undetermined" form (e pashquar). Two observations may be made from the data (both drawn from attested texts or discourse, and elicited), namely, that contrary to expectation, a some "undetermined" noun phrases are open to "definite" readings and (ii) that, to some extent, the distribution of "undetermined" noun phrases corresponds to that of bare nouns in other languages. The analysis of Albanian determinerless noun phrases as bare nouns sheds some light on their distributional and interpretative properties. The present study is also concerned with the following topics: (i) the interpretations available for definite DPs — weak definite, strong definite and generic (ii) demonstrative noun phrases (iii) the ‘connective article’, which I analyse as an agreement marker signalling that an inflected noun phrase has raised to the left of some modifier

Styles APA, Harvard, Vancouver, ISO, etc.

14

Van, Geen Christine. « Dire la signification : la question de la possibilité de la sémantique ». Rouen, 2006. http://www.theses.fr/2006ROUEL548.

Texte intégral

Résumé :

La question de la possibilité de la sémantique a été posée par Frege et Wittgenstein, aux origines de la philosophie analytique. Elle a été rendue obsolète par le développement de deux manières de rendre compte de la signification, qui sont les paradigmes dominants dans leur domaine. Il s'agit de la sémantique formelle, en logique, et du causalisme syntaxiste en sciences cognitives. Je montre dans cette thèse que la question de la possibilité de la sémantique demeure posée. Elle n'a été qu'occultée. J'y apporte une réponse négative, mais sans emprunter à l'imagerie transcendantaliste, traditionnellement associée, bien à tort, à la thèse de l'ineffabilité de la sémantique
The question whether semantics is possible was most important to Frege and Wittgenstein, at the beginning of analytical philosophy. The subsequent development of two different ways of expressing meaning has been thought to show that the whole point of semantics is obsolete. One is formal semantics in logic, the other, syntaxism in cognitive science. In this dissertation, I show that Frege's and Wittgenstein's question is extremely relevant, as long as it is not misunderstood as a transcendentalist thesis. I elaborate a view that semantics is impossible, but without using any of the transcendentalist imagery traditionally, and wrongly, associated to the thesis of the ineffability of meaning

Styles APA, Harvard, Vancouver, ISO, etc.

15

Bouissou, Olivier. « Analyse statique par interprétation abstraite de systèmes hybrides ». Phd thesis, Ecole Polytechnique X, 2008. http://pastel.archives-ouvertes.fr/pastel-00004412.

Texte intégral

Résumé :

Si l'interet et l'eﬃcacite des methodes d'analyse statique par interpretation abstraite pour la veriﬁcation des programmes critiques embarques ne sont plus a demontrer, il est maintenant necessaire d'obtenir des methodes les plus precises possibles. Si l'utilisation de domaines abstraits relationnels de plus en plus elabores permet de diminuer la surapproximation dont souﬀre les domaines les plus simples, les analyses actuelles souﬀrent toujours d'une mauvais prise en compte des entrees du programme. Ces entrees sont fournies par un capteur qui mesure une grandeur physique, et sont generalement surapproximees par un intervalle. Une piste d'etude recente pour mieux gerer ces entrees continues consiste a etudier, outre le programme lui-meme, l'environnement physique dans lequel il est execute. On obtient ainsi un systeme plus complexe comprenant une dynamique discrete (le programme) et une dynamique continue (l'environnement). L'etude de tels systemes hybrides repose actuellement essentiellement sur des extensions des automates a etats ﬁnis et des algebres de processus introduisant une dynamique continue. L'analyse de ces systemes par des techniques de model-checking souﬀre encore d'une explosion combinatoire excluant leur utilisation pour les logiciels embarques critiques les plus gros. La premiere contribution de cette these est une extension des langages de programmation imperatifs permettant de d´ecrire a la fois le programme, l'environnement exterieur et les interactions entre le programme et l'environnement. L'environnement physique est d´ecrit par un ensemble d'equations diﬀerentielles representant chacune un mode continu, et les interactions entre le programme et l'exterieur sont modelises par deux mots cles representant les capteurs et actionneurs. Nous donnons a l'ensemble (programme plus environnement physique) une semantique denotationnelle qui reste tres proche de celle deﬁnie pour les langages imperatifs classiques. La diﬃculte majeure dans la construction de cette semantique a ete de deﬁnir une semantique pour la partie continue : les solutions des equations diﬀ´erentielles sont exprimees comme le plus petit point ﬁxe d'un operateur monotone dans un CPO, et nous montrons que les iterees de Kleene convergent vers ce point ﬁxe. La seconde contribution est une methode d'analyse statique par interpretation abstraite de ces systemes hybrides. Cette methode fonctionne en deux temps. Tout d'abord, sous certaines restrictions portant sur le programme a analyser, on construit un recouvrement de l'espace des variables d'entree via une analyse par intervalle couplee a une analyse d'atteignabilite en avant. On obtient ainsi une abstraction de l'impact qu'a le programme sur l'evolution continue : l'espace d'entree du programme est d´coupe en zones dans lesquelles on est sur qu'un actionneur sera active. Dans un deuxieme temps, nous utilisons ce recouvrement et une methode d'integration garantie des equations diﬀerentielles pour obtenir une surapproximation de l'evolution continue. Un analyseur prototype implementant ces techniques a ete developpe et les tests sur les exemples classiques de systemes hybrides montrent de bons resultats. Enﬁn, la troisieme contribution de cette these est une nouvelle methode d'integration garantie nommee GRKLib. Contrairement aux methodes existantes, GRKLib se fonde sur un schema d'integration numerique non garantie (nous avons choisi un schema de Runge-Kutta d'ordre 4, mais n'importe quelle autre convient) et nous calculons, en utilisant l'arithmetique d'intervalles, l'erreur globale commise lors de l'integration numerique. Cette erreur s'exprime comme la somme de trois termes : l'erreur sur un pas, la propagation de l'erreur et l'erreur due aux nombres ﬂottants. Chaque terme est calcule separement et des techniques avancees permettent de les reduire et de controler au mieux le pas d'integration pour limiter l'accroissement de l'erreur globale. Une librairie C++ implementant ces concepts a ete developpee, et les resultats presentes dans cette these sont prometteurs.

Styles APA, Harvard, Vancouver, ISO, etc.

16

Ventresque, Anthony. « Espaces vectoriels sémantiques : enrichissement et interprétation de requêtes dans un système d'information distribué et hétérogène ». Phd thesis, Université de Nantes, 2008. http://tel.archives-ouvertes.fr/tel-00457820.

Texte intégral

Résumé :

Les systèmes d'information font face à un problème de pertinence dans les recherches dû à l'augmentation considérable des données accessibles. De plus, le nombre d'appareils communicants ne cesse de croître et de menacer le modèle client/serveur. Une nouvelle architecture distribuée tend donc à s'imposer : les réseaux pair-à-pair (P2P). Mais ils sont peu économes en ressource réseau (une requête inonde le réseau) et offrent des fonctionnalités limitées (recherche par mots-clés). Dans les deux communautés, RI et systèmes P2P, les recherches penchent vers l'utilisation de sémantique. En informatique, les approches basées sur la sémantique nécessitent souvent de déﬁnir des ontologies. Le développement important et distribué des ontologies génère une hétérogénéité sémantique. La solution classique est d'utiliser des correspondances entre parties de deux ontologies. Mais c'est une solution qui est difﬁcile à obtenir et qui n'est pas toujours complète. Souvent les parties non-partagées de deux ontologies ne sont pas gérées, ce qui entraîne une perte d'information. Notre solution : EXSI2D, utilise une expansion particulière, appelée expansion structurante, du côté de l'initiateur de requêtes. Cela lui permet de préciser les dimensions de sa requête sans modiﬁer la requête elle-même. EXSI2D offre aussi la possibilité au fournisseur d'information d'interpréter l'expansion structurante dans sa propre ontologie. Ainsi, il est possible à chaque participant d'un système d'information sémantiquement hétérogène d'utiliser toute son ontologie, y compris les parties non partagées. Nous montrons aussi l'utilisation d'EXSI2D dans un système P2P, grâce à SPARTANBFS, un protocole « frugal » pour systèmes P2P non structurés.

Styles APA, Harvard, Vancouver, ISO, etc.

17

Pierre, Maxime. « La poétique du carmen : étude d'une énonciation romaine des douze tables à l'époque d'Auguste ». Paris 7, 2008. http://www.theses.fr/2008PA070114.

Texte intégral

Résumé :

Notre étude analyse l'usage du terme Carmen pour designer à Rome un acte d’énonciation spécifique. La première partie aborde les emplois du terme associe a trois types de sujets - oiseaux, instruments, Cantores - et montre l'unité d'une catégorie qui recouvre sans les traduire les notions modernes de chant et de musique. Le Carmen est ainsi défini comme un acte utilisant les propriétés pragmatiques de la uox entendue comme matière sonore suscitant des effets physiques, sémantiques, et émotifs. Les deux parties suivantes traitent les emplois du terme dans le domaine du droit et de la religion : elles montrent une évolution de sens du terme qui, après avoir désigné des énonciations « magiques » rivales du droit, est réemployé au début de l'empire comme catégorie archaïsante pour designer toutes sortes d'actes ou la parole est censée agir de façon autonome : prières, lois ou prophéties archaïques. Enfin, dans les deux dernières parties, nous analysons l'introduction du terme Carmen comme terme d'autoréférence poétique : définissant tout d'abord une performance d'acteur s'opposant au terme Poema, qui renvoie a une écriture, le terme Carmen va être réevalué par Catulle et Lucrèce comme énonciation fictive. Virgile, Horace et Properce élargissent cette innovation en utilisant le couple canere/ Carmen pour designer l'acte poétique : il s'agit alors par une énonciation globale, d'unifier des pratiques grecques hétérogènes, qu'elles relèvent du iambe, du melos, de l'epos, ou de l'élégie. Cette énonciation unifiante va permettre aux nouveaux poètes d'importer la poésie grecque à Rome dans un geste de refondation culturelle caractéristique de l'âge d'auguste
Our study is an analysis of how the term carmen was used in rome to refer to a specific act of speech. The first part broaches the uses of the word when related to three types of agents - birds, instruments, and cantores - showing the unity of a category which, although not an equivalent, embraces the modern notions of song and music. The carmen is thus defined as an act incorporating the properties of the uox, perceived as sonorous matter that provokes physical, emotional and semantic effects. Part 2 and 3 deal with the uses of the word in the field of religion and law: they show a semantic evolution of the word which, after having referred to "magical" speech acts competing with the law, is renewed at the beginning of the roman empire as an archaising category designating any type of speech act where words are supposed to have an intrinsic efficiency: prayers, laws, or prophecies. Flnally, part 4 and 5 outline the gradual use of carmen as a word of poetic self-reference: first referring to the performance of an actor as opposed to the poema, which is a text, the word carmen is later reconsidered by Catullus and Lucretius as a fictive act of speech. Virgil, Horace and Propertius broaden this novelty by using carmen and canere to refer to the poetic act: it becomes a global speech act category, unifying heterogeneous greek practices, designating either iambos, melos, epos or elegy. This unifying speech act allows the new roman poets to import greek poetry as a significant form qf cultural renewal, which is typical of the augustan age

Styles APA, Harvard, Vancouver, ISO, etc.

18

Bacalexi, Constantina. « La notion de noblesse chez Euripide : étude sémantique et thématique ». Paris 4, 1993. http://www.theses.fr/1994PA040023.

Texte intégral

Résumé :

Le théâtre d’Euripide est influencé par la crise due à la guerre du Péloponnèse. La noblesse, préoccupation capitale des héros grecs dans l'épopée et la poésie lyrique, change donc de contenu. Pour la définir, nous avons d'abord étudié le "vocabulaire de la noblesse", par familles de mots. Euripide n'invente pas de terminologie nouvelle, mais place les "mots anciens" dans des contextes différents. L'idée "traditionnelle" était qu'excellence équivaut à bonne naissance et bravoure guerrière. Euripide ne la rejette pas, mais critique les "apparences trompeuses". Les héros bien-nés, les braves guerriers, les grands rois d'antan deviennent maintenant des faibles, des hypocrites, des orgueilleux, des tyrans, des personnages parfois ridicules, dépourvus de leur ancienne excellence. Les "nobles" euripidéens ne sont pas des êtres parfaits, mais des personnages humains, essayant de relever le défi de l'excellence non sur le champ de la bataille, mais dans la cite. De nouveaux critères de noblesse apparaissent : la passion justicière ou amoureuse, le sacrifice volontaire libérateur, la supériorité intellectuelle et morale, la dignité des humbles, l'"excellence égalitaire" des autochtones, le nouvel héroïsme des anciens tueurs de monstres, qui, maintenant, agissent dans la vraie vie, devant la collectivité de la cité. Désormais, la renommée immortelle des individus s'est muée en noblesse humaine et politique
Euripides' theatre production is influenced by the crisis due to the Peloponnesian war. Ideas change: thus nobility, which was a constant preoccupation of all the Greek heroes in epics and lyric poetry. In order to define this notion, we have studied terms used for this purpose in various contexts. We found out that Euripides is not inventing a new "nobility vocabulary", but is creating new contexts for ancient words. The "traditional" ideas of birth and war excellence are not rejected by Euripides. The poet is just criticizing appearances of nobility. Well-born heroes, great kings, brave warriors of the old days become hypocritical, selfish, tyrannical, ridiculous and lack ancient nobility. Euripides' "noble" characters are not perfect. They are just human beings, trying to win the nobility race not in a battlefield, but inside the city. Let us examinate the new nobility criterions : the passion of justice or love, the self-sacrifice which gives freedom to the humiliated, the intellectual and moral superiority, the husbandman's dignity, the Athenian "egalitarian excellency" of the autochthons, the new heroism of the ancient monsters' killers, who surpass themselves in the everyday life, disapproving heroic death. Henceforth, the nobles' "individualistic" immortal renown

Styles APA, Harvard, Vancouver, ISO, etc.

19

Fleurant, Josebert. « L'analyse sémantique du mot saint, tel qu'utilisé au Lévitique 19,2 ». Master's thesis, Université Laval, 2007. http://hdl.handle.net/20.500.11794/62304.

Texte intégral

Résumé :

La sainteté semble être la finalité de la spiritualité judéo-chrétienne. Pourtant, ce terme se raréfie de plus en plus dans les réflexions théologiques. Quoique la popularité du sujet ait grandement baissé, il paraît impossible qu’une expérience religieuse judaïque ou chrétienne se vive pleinement sans cette notion cruciale à l’inauguration de ces deux mouvements monothéistes. Afin de saisir les enjeux, un retour à l’origine de ce concept biblique s’impose. Le livre de la sainteté, le Lévitique, contient le Heiligkeitgesetz (le code de la sainteté) dans lequel YHWH ordonne Israël d'être saint. Une analyse sémantique du mot « saint » à partir du Lévitique 19,2 démystifiera le sens de ce terme et celui du verset, de sorte que le commandement dévoile les critères de sa propre réalisation. Ainsi, il sera démontré que cette vertu est à la fois un don divin et une finalité que décrit l’intolérance.

Styles APA, Harvard, Vancouver, ISO, etc.

20

Djaoud, Smaïl. « Sémantique de la doxa dans les sciences sociales sur le Maghreb : de Charles-André Julien à Germaine Tillion ». Paris 10, 2007. http://www.theses.fr/2007PA100202.

Texte intégral

Résumé :

Les sciences sociales qui traitent du Maghreb se sont constituées dans un contexte particulier, celui de la colonisation. Ce travail propose une description sémantique de leur phase récente à travers un corpus de quatre textes, écrits par des auteurs importants dans leurs disciplines respectives : Charles-André Julien, Mostéfa Lacheraf, Pierre Bourdieu et Germaine Tillion. Tous les quatre ont vécu le passage de la période coloniale à la période postcoloniale. Une analyse critique de leurs textes montre, en traçant des parcours interprétatifs à l’échelle globale, la continuité de certains cadres doxiques hérités des savoirs antérieurs. Elle distingue cinq types de réécriture, parfois très innovants : géographique, écologique, nationaliste, méditerranéiste et mythologique
The social sciences which deal with the Maghreb were chiefly established in the context of colonisation. The present work proposes a semantic description of a recent phase of these sciences. Through a corpus based on four texts, the following prominent authors were selected: Charles-André Julien, Mostéfa Lacheraf, Pierre Bourdieu and Germaine Tillion. All of them experienced the transition from the colonial to the post colonial period. After a critical analysis of their texts, grounded on constructed interpretative trajectories, the dissertation establishes the continuity of some "doxical configurations" inherited from past forms of knowledge. Five types of rewriting processes are distinguished: geographic, ecological, nationalist, mediterraneanist and mythological ones

Styles APA, Harvard, Vancouver, ISO, etc.

21

Le, Guen Jean-Michel. « Champs textuel et sémantique des Chimères de Nerval ». Paris 4, 1990. http://www.theses.fr/1990PA040038.

Texte intégral

Résumé :

La première partie de ce travail s'efforce de délimiter méthodiquement un corpus de textes qui ressemblent totalement ou telle pièce des Chimères. Partant du principe que seule la superposition des structures autorise les couplages, nous avons trouvé les doublets moins dans Les Filles du feu que dans le Voyage en orient, dans Les Illuminés et dans Aurélia. Nous étions donc fonde à étoffer la lecture du recueil de sonnets (d'une importance majeure, certes) pour informer l'essentiel du champ sémantique, partagé entre la vie et la mort et ramifié en dichotomies. Le monde moral, jusqu'en ses drames hiérarchisés (religion, politique, société, famille), se déduit du monde physique, - ou l'analyse de l'énergie, immanente ou transcendants, attractive ou non par rapport à une autre source, servirait à définir des figures du feu (sinon ténébreuses), nommées dans les Chimères et à classer dans un troisième champ, narratif, que cette thèse prépare
The first part of this thesis attempts to methodically define a corpus of texts which totally resemble one or another of the poels in Nerval's Chimeres. Working on the assumption that coupling texts from different volumes written by Nerval is justified only in cases where the two structures may be superimposed, I discovered fewer doublets in Les Filles du feu than in Voyage en Orient, Les Illuminés and Aurelia. I therefore had good grounds for broadening my of the book of sonnets, les Chimeres (though it is in itself of considerable importance), in order to complete the semantic field which is divided between life and death, and which branches out into dichotomies. The moral world can be deduced from the physical world, even down to its hierarchy of dramas (religion, politics, society and family) - in which the analysis of energy whether immanent or transcendent, attractive or not in relation to another source of energy, might be used to define figures of fire (or even figures of darkness) names in les Chimeres and which will be classified in a third field, a narrative one, which is prepared by this thesis

Styles APA, Harvard, Vancouver, ISO, etc.

22

Sharma, Gaurav. « Description Sémantique des Humains présents dans des Images Vidéo ». Phd thesis, Université de Caen, 2012. http://tel.archives-ouvertes.fr/tel-00767699.

Texte intégral

Résumé :

Dans cette thèse, nous nous intéressons à la description sémantique des personnes dans les images en termes (i) d'attributs sémantiques (sexe, âge), (ii) d'actions (court, saute) et d'expressions faciales (sourire). Tout d'abord, nous proposons une nouvelle représentation des images permettant d'exploiter l'information spatiale spécifique à chaque classe. La représentation standard, les pyramides spatiales, suppose que la distribution spatiale de l'information est (i) uniforme et (ii) la même pour toutes les tâches. Au contraire notre représentation se propose d'apprendre l'information spatiale discriminante pour une tâche spécifique. De plus, nous proposons un modèle qui adapte l'information spatiale à chaque image. Enfin, nous proposons un nouveau descripteur pour l'analyse des expressions faciales. Nous apprenons un partitionnement de l'espace des différences locales d'intensité à partir duquel nous calculons des statistiques d'ordre supérieur pour obtenir des descripteurs plus expressifs. Nous proposons également une nouvelle base de données de 9344 images de personnes collectées sur l'Internet avec les annotations sur 27 attributs sémantiques relatifs au sexe, à l'âge, à l'apparence et à la tenue vestimentaire des personnes. Nous validons les méthodes proposées sur notre base de données ainsi que sur des bases de données publiques pour la reconnaissance d'actions et la reconnaissance d'expressions. Nous donnons également nos résultats sur des bases de données pour la reconnaissance de scènes, le classement d'images d'objets et la reconnaissance de textures afin de montrer le caractère général de nos contributions.

Styles APA, Harvard, Vancouver, ISO, etc.

23

Duvert, Frédéric. « Composition sémantique pour la langue orale ». Phd thesis, Université d'Avignon, 2010. http://tel.archives-ouvertes.fr/tel-00609520.

Texte intégral

Résumé :

La thèse présentée ici a pour but de proposer des systèmes de détection, de composition de constituants sémantiques et d'interprétation dans la compréhension de la langue naturelle parlée. Cette compréhension se base sur un système de reconnaissance automatique de la parole qui traduit les signaux oraux en énoncés utilisables par la machine. Le signal de la parole, ainsi transcrit, comporte un ensemble d'erreurs liées aux erreurs de reconnaissance (bruits, parasites, mauvaise prononciation...). L'interprétation de cet énoncé est d'autant plus difficile qu'il est issu d'un discours parlé, soumis à la disfluence du discours, aux auto-corrections... L'énoncé est de plus agrammatical, car le discours parlé lui-même est agrammatical. L'application de méthodes d'analyses grammaticales ne produit pas de bons résultats d'interprétation, sur des textes issus de transcriptions de la parole. L'utilisation de méthodes d'analyses syntaxiques profondes est à éviter. De ce fait, une analyse superficielle est envisagée. Un des premiers objectifs est de proposer une représentation du sens. Il s'agit de considérer des ontologies afin de conceptualiser le monde que l'on décrit. On peut exprimer les composants sémantiques en logique du premier ordre avec des prédicats. Dans les travaux décrits ici, nous représentons les éléments sémantiques par des frames (FrameNet ). Les structures de frames sont hiérarchisées, et sont des fragments de connaissances auxquels on peut insérer, fusionner ou inférer d'autres fragments de connaissances. Les structures de frames sont dérivables en formules logiques. Nous proposons un système de compréhension de la parole à partir de règles logiques avec le support d'une ontologie, afin de pouvoir créer des liens à partir de composants sémantiques. Puis, nous avons mené une étude sur la découverte des supports syntaxiques des relations sémantiques. Nous proposons une expérience de composition sémantique afin d'enrichir les composants sémantiques de base. Enfin, nous présentons un système de détection de lambda-expression pour mettre en hypothèse les relations à trouver à travers le discours

Styles APA, Harvard, Vancouver, ISO, etc.

24

Boivin, Patrice. « Édition critique du Livre des Tables de Victor Hugo ». Thesis, Paris 4, 2011. http://www.theses.fr/2011PA040215.

Texte intégral

Résumé :

Entre septembre 1853 et octobre 1855, Victor Hugo, en exil à Jersey depuis le mois d’août 1852, se livre quasi quotidiennement à des séances spirites. Lors de celles-ci, Hugo dialogue avec les esprits les plus illustres : Dante, Shakespeare, Jésus, Eschyle, Galilée… et les formes les plus abstraites comme l’Ombre du Sépulcre, le Drame ou la Mort. Cette inquiétante plongée spirituelle et poétique, sera consignée dans quatre cahiers qui doivent constituer ce que Victor Hugo nommera Le Livre des Tables. Deux cahiers seulement nous sont parvenus. L’un en 1962, sur lequel s’appuient les principales études hugoliennes liées à cette période de l’exil, et le second en 1972 qui rend caduques, erronées ou incomplètes toutes les études publiées à cette date. Notre intention consiste à établir une édition critique des deux cahiers originaux rédigés à Jersey, pour l’un en 1854, pour l’autre en 1855. Ce dernier manuscrit n’ayant jamais fait l’objet d’une exploitation critique ou éditoriale. L’intérêt de la présente édition ne se limite pas à un texte qui se voudrait sérieusement établi et à une annotation qui tente d’apporter quelques éclaircissements ; il réside surtout dans la réunion, ce qui n’a pas été fait à ce jour, de l’ensemble des documents existants : les deux cahiers originaux rédigés à Jersey, les procès-verbaux disponibles et inédits, ainsi que d’autres documents, des lettres notamment, découverts dans les fonds de la Maison de Victor Hugo.Cette Edition critique du Livre des Tables a pour premier objectif de retracer l’histoire et la chronologie des quatre cahiers rédigés à Jersey, d’établir ensuite les circonstances et les modalités de la rédaction de ceux-ci avant de faire apparaître la part réelle prise par Hugo dans la rédaction des deux cahiers à notre disposition. Enfin, il s’agit de mettre en évidence l’influence considérable de cette période spirite sur la production hugolienne ainsi que sur l’ensemble du système de pensée de Hugo
Between September 1853 and October 1855, Victor Hugo, who had been in exile in Jersey since August 1852, practiced spiritualism nearly everyday. During those sessions, Hugo conversed with the most illustrious of spirits, such as Dante, Shakespeare, Jesus, Eschyle, Galileo as well as with the most abstract of forms, like The Shadow of the Sepulchre, Drama or Death. This puzzling journey deep into spiritualism and poetry was compiled into four notebooks which were to form what Victor Hugo called The Book Of Tables. We have got hold of only two notebooks - one in 1962, on which the main studies about Hugo's time in exile rely, and the second in 1972, which made all the studies published at the time obsolete, erroneous or incomplete. We intend to design a critical edition of the two original notebooks written in Jersey in 1854 and in 1855 respectively. The later one has never been subjected to critical analysis or editorial work. The hereby edition is not to be understood as a seriously established text or as an attempt to bring clarifications through annotations. Above all, its relevance lies in what has not been done yet, that is, the gathering of all the existing documents : the two original notebooks written in Jersey, the available and so far unpublished official records along with other documents, among which letters that have been discovered in the collection the Maison de Victor Hugo. The Critical Edition of The Book Of Tables firstly aims to draw the history and chronology of the four notebooks written in Jersey ; its second purpose is to establish the circumstances and modalities in which they were set down so as to make the actual part played by Hugo in the writing of the two notebooks come to light. Finally, it aims to bring out the considerable influence of Hugo's spiritualist time on his production as well as on all his system of thought

Styles APA, Harvard, Vancouver, ISO, etc.

25

Hymans, Charles. « Vérification de descriptions VHDL par interprétation abstraite ». Phd thesis, Ecole Polytechnique X, 2004. http://pastel.archives-ouvertes.fr/pastel-00000875.

Texte intégral

Résumé :

Cette thèse traite de la vérification automatique de composants matériels décrits en VHDL. C'est une étude de faisabilité d'un outil de vérification automatique qui réunit: exhaustivité, efficacité de calcul et simplicité d'utilisation. La méthodologie de l'interprétation abstraite a été adoptée: l'algorithme de simulation de VHDL est d'abord formalisé par une sémantique opérationnelle, de laquelle une analyse statique est dérivée de façon systématique par abstraction. L'analyse calcule un sur-ensemble des états accessibles. Le domaine numérique utilisé pour représenter les valeurs possibles des signaux de la description peut être choisi librement. Une instance possible de l'analyse a été implémenté en OCaml. Le domaine numérique choisi ici est celui des égalités linéaires entre variables booléennes. L'outil a permi de valider un code correcteur d'erreur de type Reed Solomon. Les performances sont excellentes, en particulier meilleures que celles du model checker à base de BDDs VIS.

Styles APA, Harvard, Vancouver, ISO, etc.

26

Fraisse, Luc. « Le fragment expérimental : pour une sémantique de la création proustienne ». Paris 4, 1986. http://www.theses.fr/1986PA040093.

Texte intégral

Résumé :

Sémantique et thématique, cette étude analyse le mot et la notion de fragment dans l'œuvre de Proust à travers quatre thèmes romanesques fondamentaux : le temps, le monde (réel et personnages), la conscience et l’art, et selon trois nivaux de compréhension : fragment originel, donnée contraignante du monde proustien, instrument moraliste pour une dénonciation pessimiste de la durée segmentée, du monde atomisé, de la conscience cloisonnée et de la création brisée ; mais lors fragment retaillé par l’artiste par le temps, le monde et la conscience, pour isoler les joyaux de la création littéraire ; enfin fragment médité, quand l’écrivain recueille la quintessence théorique de sa pratique d’écriture et définit à l’aide de la fragmentation le processus même de la création et le mouvement de l’œuvre en devenir. Le fragment est ainsi l’objet d’une expérience d’atelier, qui permet à Proust de conter l’histoire d’une vocation, l’histoire d’une vie qui soit mode d’emploi de la création. Une étude des sources met en rapport cette recherche formelle et l’atmosphère mentale de son auteur, souligne l’influence précise de Schopenhauer, Bergson, Ruskin et Mallarmé, les parallélismes avec le cubisme et le cinématographe, et en déduit le rôle de Proust dans l’avènement de la modernité

Styles APA, Harvard, Vancouver, ISO, etc.

27

Le, Pors Éric. « Interprétation sémantique des exigences pour l'enrichissement de la traçabilité et pour l'amélioration des architectures de systèmes complexes ». Télécom Bretagne, 2010. http://www.theses.fr/2010TELB0127.

Texte intégral

Résumé :

L'augmentation de la complexité des systèmes à logiciel prépondérant, produits dans l'industrie, est liée à la complexité des ingénieries : réduction des délais, organisation des activités, gestion de la sous-traitance. . . Cette complexité est également due à l'augmentation du nombre de fonctions attendues et de données à traiter. Elle dépend de plus du nombre de composants logiciels et physiques devant interagir, soumis à des contraintes en termes de fonctionnalités et de qualité, ce qui implique une conception toujours plus difficile de ces systèmes. Afin de maîtriser leur production, un niveau d'expertise élevé est requis dans des domaines toujours plus nombreux. Cette connaissance doit, de plus, être partagée par de nombreuses équipes collaborant à la spécification et à la réalisation d'entités distinctes et spécifiques du système. Le processus d'ingénierie des systèmes décrit les phases de réalisation, depuis l'analyse du besoin opérationnel, passant par l'analyse du besoin système, jusqu'à l'architecture solution répondant au besoin fonctionnel exprimé par le client. Ce besoin est formalisé dans les exigences. Les travaux de cette thèse proposent une approche outillée permettant de modéliser l'architecture solution en exprimant les fonctions requises associées à leurs contraintes non fonctionnelles dans différents points de vue. Ces derniers permettent de représenter les éléments de l'architecture solution sous différentes facettes, ségréguant de ce fait la complexité. De plus, des contrôles permettent de s'assurer du respect de règles de cohérence et de conception. Nous proposons également une méthode, associée à la réalisation d'un modèle conceptuel du système et de son environnement, permettant d'écrire des exigences mieux construites. Le modèle conceptuel nous permet de réaliser une interprétation de la sémantique présente dans ces exigences afin d'en extraire des éléments de contrôle et de vérification. Ces éléments capturés dans les exigences seront ensuite associés sous forme d'annotations aux éléments des différents points de vue constituant l'architecture, en exploitant les liens de traçabilité réalisés par les ingénieurs concepteurs. La vérification de la prise en compte de ces éléments d'annotation ainsi que la génération automatique de points de vue à partir d'informations contenues dans les exigences nous permet d'obtenir des solutions architecturales plus proches du besoin initial. Le modèle conceptuel nous donne également la possibilité de capitaliser la connaissance
The increasing complexity of software-intensive systems produced in the industry is related to the complexity of engineering: reduction of production delays, activities organisation, managing subcontractors. . . This complexity is also due to the increasing number of new functions and data to be processed. Moreover, it depends on the number of physical and software components to interact, constrained in terms of functionality and quality, which implies ever more difficult designs for these systems. To control their production, a high level of expertise is required in more and more domains. Moreover, this knowledge must be shared by many teams collaborating on building specification and implementing separate and specific entities of the system. System Engineering process describes the different building phases, from operational need analysis, through system need analysis, to the establishment of an architectural solution that meets the functional need expressed by the customer. This need is formalized in requirements. This PhD work proposes an approach to model architectural solutions by expressing the required functions associated with their non-functional constraints using different viewpoints. These viewpoints can represent different facets of the architectural solution, separing thus the global complexity. Additionally, controls allow to ensure that the solution is compliant with coherence and design rules. We also propose a method coupled with the realization of a conceptual model of the system and its environment, in order to obtain better written requirements. The conceptual model allows us to make an interpretation of the semantics present in these requirements in order to extract control and verification elements. These items captured in requirements will annotate elements of different viewpoints, representing the architecture, by exploiting traceability links established by design engineers. The verification of these annotations consideration and the automatic generation of viewpoints from information contained in the requirements allows us to obtain architectural solutions closer to the customer needs. The conceptual model also gives us the opportunity to capitalize, in different expertise domains, on engineers knowledge. It also enables us to establish a reference model as a basis for discussion and training of new team members

Styles APA, Harvard, Vancouver, ISO, etc.

28

Anquetil, Sophie. « Peut-on classer les actes de langage indirects ? : étude d'un paradoxe sémantique ». Caen, 2009. http://www.theses.fr/2009CAEN1553.

Texte intégral

Résumé :

L'objectif de cette recherche est d'apporter des réponses au problème du classement des actes de langage indirects : comment est-il possible de classer ces actes, alors qu'ils ne semblent pas pouvoir être caractérisés par une forme linguistique propre ? La lecture de Searle est éclairante : “tout ce que nous voulons signifier peut être dit” (principe d'exprimabilité). Autrement dit, la signification de la phrase peut toujours être mise en correspondance avec l'intention du locuteur. Mais avec les actes de langage indirects, toute la difficulté est de comprendre comment s'établit cette correspondance, car dans ce cas, la phrase énoncée veut dire autre chose que ce qui est dit. Le locuteur tente en effet de produire chez l'auditeur la connaissance d'une intention en en faisant reconnaître une autre. Parce que l'argumentation est le vecteur linguistique de l'intention, la pragmatique intégrée nous offre la possibilité d'en faire une donnée observable. En adossant la théorie des speech acts à celle de la pragmatique intégrée, notre ambition est d'esquisser les grandes lignes d’une théorie où les stéréotypes sont utilisés comme vecteurs de l'action à la fois illocutoire et perlocutoire. Ce double ancrage théorique permet de proposer des outils linguistiques capables de saisir les structures intentionnelles des configurations discursives et de traiter les actes de langage indirects

Styles APA, Harvard, Vancouver, ISO, etc.

29

Pop, Sebastian. « La représentation SSA : sémantique, analyses et implémentation dans GCC ». Phd thesis, École Nationale Supérieure des Mines de Paris, 2006. http://pastel.archives-ouvertes.fr/pastel-00002281.

Texte intégral

Résumé :

Le langage d'assignation statique unique, SSA, est l'une des représentations intermédiaires les plus communément utilisées dans les compilateurs industriels. Cependant l'intérêt de la communauté d'analyse statique de programmes est minime, un fait dû aux faibles fondations formelles du langage SSA. Cette thèse présente une sémantique dénotationelle du langage SSA, permettant des définitions formelles des analyses statiques du langage SSA en se basant sur les méthodes classiques de l'interprétation abstraite. D'un point de vue pratique, cette thèse présente l'implémentation des analyseurs statiques définis formellement dans un compilateur industriel, la Collection de Compilateurs GNU, GCC.

Styles APA, Harvard, Vancouver, ISO, etc.

30

Ibrahim, Mohamed Ahmed Khalaf. « Poétique du descriptif : approche sémantique du "Chant du monde" de Jean Giono ». Bordeaux 3, 2004. http://www.theses.fr/2005BOR30008.

Texte intégral

Résumé :

Cette thèse a pour objectif principal de défendre le statut littéraire de la description et de mettre en valeur son importance dans la lisibilité de l'œuvre de fiction. Pour ce faire, nous avons examiné, dans une approche à la fois linguistique, sémantique, textuelle et sémiotique, ce mode d'organisation discursive dans un texte littéraire considéré comme éminemment descriptif, Le chant du monde de Jean Giono. Notre étude aboutit ainsi aux conclusions suivantes : - toute utilisation de la langue suppose, d'une façon ou d'une autre, une amorce descriptive (Genette) ; - l'énonciation descriptive met en scène une certaine position énonciative et met en œuvre un certain nombre de compétences aussi bien chez le locuteur que chez le lecteur/auditeur ; - la description assure un grand nombre de fonctions dans la représentation littéraire ; - la plus grande part de la poéticité et de l'aspect esthétique d'une écriture se manifeste toujours à travers les " pauses " descriptives, qui se trouvent, à ce titre, particulièrement riches en matière de représentations évocatives (Dominicy et Gouvard) ;la description représente le moment textuel favorable pour l'écrivain, qui l'exploite pour déployer et faire preuve de son savoir-faire rhétorique et stylistique
This thesis aims at defending the literary status of description and bringing out its importance in the readability of a work of fiction. We start by highlighting the moments which saw the shattering of this linguistic practice within the classical rhetorical institution that granted it the full status of a figure of thought by exposition, then those which saw its underrating and eclipse within the critical discourse, before coming to the lively controversies raised about it during the last century between writers, critics, linguists and semioticians. To illustrate our attitude, we have examined, using a linguistic, semantic, textual and semiotic approach, this mode of textual organisation within a literary text considered as eminently descriptive : Jean Giono's Le chant du monde. Our study has yielded the following conclusions: - every use of language supposes, one way or another, a descriptive dimension (Genette); - descriptive enunciation position and brings into play a certain number of skills on the part of the speaker/writer as well as on that of the reader/hearer; - description ensures a great number of functions within literary representation; - the greatest part of the poetic, as well as the aesthetic aspects of writing reveals itself through descriptive "pauses" which are particularly rich in evocative representations (Dominicy and Gouvard); - description represents a textual opportunity for the writer who takes advantage of it to display his rhetorical and stylistic skills, hence original and fanciful images as well as the most staggering pictures

Styles APA, Harvard, Vancouver, ISO, etc.

31

Gérard, Christophe. « Contribution à une sémantique interprétative des styles : étude de deux oeuvres de la modernité poétique : Jacques Dupin et Gérard Macé ». Toulouse 2, 2004. https://halshs.archives-ouvertes.fr/tel-01093043.

Texte intégral

Résumé :

Pour la linguistique le défi que pose le style ne consiste pas à définir ce qu'il est mais ce qui relève du style dans son ordre propre de phénoménalité, en assumant la diversité des styles en tant qu'ils s'actualisent, se font reconnaître et se laissent décrire dans des textes au sein d'un corpus constitué. Dans cette optique, en dialogue avec différentes pratiques du texte (poétique, stylistique), on se propose de s'interroger sur les conditions, les objectifs puis les moyens d'une description linguistique des styles mais aussi, conjointement, des caractères textuels. La tâche d'une description des styles est alors confiée à une sémantique des textes qui répond à la question du style dans les termes d'une conception morphosémantique du texte et s'acquitte par là même de la spécificité de la poésie moderne. Les œuvres de J. DUPIN et G. MACE sont mises à contribution pour illustrer les différentes formes de singularisation qui font des phénomènes sémantiques autant de variations stylistiques saisies dans la perception et l'interprétation des textes lus
For linguistics, the challenge of style is not the definition of what it is, but of what belongs to style in its own phenomenality order, and assuming the diversity of styles as they are actualised, identified and described in texts within a built corpus. In this way, discussing with the other text approaches (poetics, stylistics), we question the conditions, objectives, and means of a linguistic description of styles, and, in the same time, the textual proper identities. The task of a description of styles is assigned to a text semantics which can respond to the question of style in terms of a morphosemantic conception of text, and thus give answers to the difficulties of describing modern poetry. To reach that goal, we use J. DUPIN and G. MACE's artworks. The analysis we make illustrate the differents forms of singularities which build the semantic phenomena as many as stylistic variations taken into the perception and interpretation of read texts

Styles APA, Harvard, Vancouver, ISO, etc.

32

Hymans, Charles. « Vérification de composants VHDL par interprétation abstraite ». Palaiseau, Ecole polytechnique, 2004. https://pastel.archives-ouvertes.fr/pastel-00000875.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

Engel, Pascal. « Recherches sur les conditions d'une sémantique formelle du langage naturel : (la philosophie du langage de Donald Davidson) ». Aix-Marseille 1, 1990. http://www.theses.fr/1990AIX10047.

Texte intégral

Résumé :

Analyse de la philosophie du langage de davidson. L'auteur montre que le projet de davidson d'appliquer les concepts d'une theorie de la verite pour les langues formelles aux langues naturelles ne peut qu'etre interprete a la lumiere de la theorie de l'interpretation de davidson. Il analyse les concepts de formel logique et de structure semantique, en particulier au sujet dela semantique des adverbes. Il montre que le programme de davidson est compatible avec l'analyse de la signification en termes d'intentions de grice. La seconde partie du travail est consacree au debat realisme anti-realisme. L'auteur montre que ou bien la critique de dummett echoue, ou bien qu'elle n'introduit pas de veritable desaccord avec davidson. Finalement le travail examine la notion de connaissance tacite d'un langage, en particulier a la lumiere des critiques de gareth evans, qui prolongent la pensee de davidson.

Styles APA, Harvard, Vancouver, ISO, etc.

34

Ruget, Nathalie. « Le retentissement des mots dans les oeuvres électroacoustique de Luciano Berio, Bruno Maderna, Luigi Nono et le concept de résonnance sémantique ». Paris 4, 2007. http://www.theses.fr/2007PA040039.

Texte intégral

Résumé :

Au sortir de la deuxième guerre mondiale, musique et technologie se rejoignent et, à travers les recherches conjuguées de différents domaines scientifiques, une réflexion nouvelle s’amorce sur l’évolution de la création humaine et sur le concept d’outil. Le questionnement relatif à l’histoire de la création s’affine, à travers lequel la notion de sémantique se démultiplie. Notre étude traite du concept de résonance sémantique. Elle élabore ce concept en mettant d’abord en perspective les étapes marquantes au début du XXe siècle dans le traitement du texte (travail sonore des poètes, théâtre et opéra radiophonique, psychanalyse), puis en décrivant, d’une part dans le champ scientifique, l’émergence des sciences cognitives depuis la première cybernétique et l’apport de leurs travaux pour les processus de création et de perception, et d’autre part dans le champ musical, les recherches aux studios de Paris, Cologne, Berlin et Milan. Sont ensuite mis en regard de manière approfondie, sous l’angle de la résonance sémantique, le texte et la musique dans certaines pièces électroacoustiques de Luciano Berio (Ritratto di città, C’è musica e musica, Chants parallèles, Visage, Laborintus 2), Bruno Maderna (Ritratto di città, Invenzione su una voce, Ages, Don Perlimplin, Ausstrahlung) et Luigi Nono (Das atmende Klarsein, Quando stanno morendo, Omaggio a György Kurtág, Risonanze erranti), des années 1950 aux années 1980
In the aftermath of World War II, music and technology met and, through the combined research of several scientific fields, new reflections arose regarding musical creation and the concepts of tools. The questioning about the history of creation is refined, widening the notion of semantics. Our study deals with the concept of semantic resonance. It develops this concept first by putting into perspective the main stages of the processing of text in the early twentieth century (the work of poets on sound, the theater and radio opera, psychoanalysis), then by describing, in the scientific field, the rise of the cognitive sciences since the first cybernetics and the contribution of their work on the processes of creation and perception, and, in the music field, the research in the studios in Paris, Cologne, Berlin and Milan. Within the framework of semantic resonance previously developed in the dissertation, a thorough parallel is then established between the text and music in some electroacoustic works by Luciano Berio (Ritratto di città, C’è musica e musica, Chants parallèles, Visage, Laborintus 2), Bruno Maderna (Ritratto di città, Invenzione su una voce, Ages, Don Perlimplin, Ausstrahlung) and Luigi Nono (Das atmende Klarsein, Quando stanno morendo, Omaggio a György Kurtág, Risonanze erranti), spanning from the fifties to the eighties

Styles APA, Harvard, Vancouver, ISO, etc.

35

Fusellier-Souza, Ivani. « Sémiogenèse des langues des signes : étude de langues des signes primaires (LSP) pratiquées par des sourds brésiliens ». Paris 8, 2004. http://www.theses.fr/2004PA082477.

Texte intégral

Résumé :

Cette thèse porte sur une étude linguistique descriptive des langues des signes primaires (LSP) pratiquées par des individus sourds adultes sans contact avec une communauté sourde et vivant intégrés dans un environnement social entendant. Notre analyse, reposant sur un modèle sémiogénétique où l'iconicité est le paradigme central (Cuxac, 2000), s'effectue à deux niveaux : morphophonétique et morphosémantique d'une part, et sémantico-syntaxique d'autre part. Elle consiste à dégager des principes, stratégies et procédés à la fois formels, fonctionnels et discursifs, participant au fonctionnement linguistique des LSP. Nous avons étudié un corpus vidéo de quarante quatre séquences de discours spontanés produits par trois adultes sourds brésiliens en interaction avec un (ou des) interlocuteurs(s) entendant(s). Un traitement et une analyse qualitative et quantitative des données sont proposés. Les résultats de ce travail mettent en évidence l'existence d'une organisation subtile et élaborée à la fois sur le plan cognitif et linguistique de ces types de langues des signes. La structuration des LSP ainsi dégagée offre de nouveaux éclairages à diverses problématiques relatives à la sémiogenèse des LS, à l'émergence et au développement dynamique du langage humain, aux relations entre langage et cognition et aussi aux relations entre gestualité et langage
This thesis focuses on a descriptive linguistic study of Primary Signed Languages (PSL) practiced by deaf individuals with no contact with conventional sign languages and living integrated in hearing environment. Our analysis, based on a semiogentic model in which iconicity is the central paradigm (Cuxac, on 2000), includes two levels : morpho-phonetics and morpho-semantics on one hand and strategies participating in the linguistic functioning of PSL on formal, functional and discursive means. The video corpus we have studied is composed of forty-four sequences from spontaneous discourses produced by three Brazilian deaf adults in interaction with one (or two/three) hearing interlocutor(s). We propose a data processing in both qualitative and quantitative analysis. The findings of this study show how elaborated and sophisticated these languages are organised on both cognitive and linguistic aspects. Thereby, the revealed structuring of PSL provides new insights about a range of issues relating to : the semiogenesis of signed languages, the emergence and the dynamic development of human language, the relation between language and cognition as well as the relation between gestuality and language

Styles APA, Harvard, Vancouver, ISO, etc.

36

Loiseau, Sylvain. « Sémantique du discours philosophique : du corpus aux normes : autour de G. Deleuze et des années 60 ». Paris 10, 2006. http://www.theses.fr/2006PA100119.

Texte intégral

Résumé :

Cette thèse se fixe l’objectif de décrire le discours philosophique à travers les propriétés de ses textes. Le discours est entendu comme une norme déterminant l’organisation au palier textuel de tous les niveaux de la description. Les corrélations entre ces niveaux sont décrites grâce à l’utilisation d’un corpus annoté et constitué autour de Deleuze et des années 60. L’accès à sa complexité empirique permet de montrer l’importance des normes discursives aussi bien au niveau morphologique qu’à celui des macro-structures sémantiques. Nous examinons également l’influence des normes idiolectales et leur interaction avec la normativité discursive. Le cadre théorique d’une linguistique des normes et le cadre méthodologique de la linguistique de corpus permettent donc de faire du discours philosophique un observable et de discuter en retour les critères typologiques qui n'en tiendraient pas compte
This thesis aims at describing the philosophical discourse through the properties of its texts. Discourse is intended as a norm determining, at the level of the text, all the levels of the description. Correlations between these levels are described by the mean of a deeply annotated corpus comprising texts by G. Deleuze. Accessing the empirical complexity of this corpus allows us to show the importance of discourse normativity, from the morphological level to the semantic macro-structures. We examine also the influence of the idiolect and its interaction with discursive normativity. The theoretical frame of a linguistic of the norms and the methodological frame of corpus linguistics allow to make the discourse an observable and to discuss the typological criteria which do not take it into account

Styles APA, Harvard, Vancouver, ISO, etc.

37

Pataut, Fabrice. « Réalisme, anti-réalisme, et manifestabilité de la compétance sémantique ». Paris 1, 1993. http://www.theses.fr/1993PA010719.

Texte intégral

Résumé :

L'argument anti-réaliste propose par Michael Dummett doit nous permettre de conclure que nous sommes incapables de manifester une connaissance des conditions de vérité des phrases pour lequelles nous ne possédons pas, au moment présent, de procédure de décision. Cette conclusion est d'abord rejetée dans le cas de la formule indécidable de Gödel. Deux types de manifestation sont ensuite envisages pour les phrases indécidées de facto : par l'énonciation et par la décision. La manifestation du premier type est rejetée pour cause évidente de circularité et de régression. Ce rejet conduit à des conclusions moins évidentes qu'il n'y parait sur les conditions générales de la manifestabilité et la pertinence du critère de décidabilité. L'analyse de la manifestation par la décision montre que, soit l'argument dummettien est une réduction à l'absurde de la défense du principe de vériconditionnalité, soit le partisan du principe peut défendre le réalisme en attribuant aux usagers compétents la capacité à rechercher des procédures de décision sans pour autant risquer l'accusation de transcendance par rapport à la manifestabilité. Une modification substantielle de la conception du débat est ensuite proposée : si la question du réalisme se pose, elle ne peut manquer de se poser également pour les phrases décidables de facto relativement à des exigences non sceptiques. Finalement, puisque le choix des conditions de justifiabilité comme concept central de la théorie de la signification est incompatible avec le rejet radical du holisme propose par Dummett, le défi de manifestabilité est retourné contre l'anti-réaliste
Michael Dummett's anti-realist argument urges us to conclude that we cannot manifest a knowledge of the truth-conditions of sentences for which no decision procedure is at present available. I begin with a rejection of that conclusion in the case of godel's undecidable formula. Two types of manifestation are then considered for de facto undecided sentences : by stating and by effectively deciding. The first type is rejected on grounds of circularity and regression. This rejection leads to conclusions concerning the general conditions of manifestability and the relevance of the criterion of decidability. The analysis of manifestation by means of decision shows that, either Dummett's argument is a reductio ad absurdum of the defense of the truth-conditional principle, or the advocate of the principle may vindicate realism by ascribing to speakers a capacity to look for decision procedures. Since this may be done by avoiding the transcendance objection, the realist meets the manifestation requirement. A substantial modification of the conception of the debate is then proposed : the realism vs. Anti-realism debate also covers the case of sentences that are decidable relative to unskeptical standards. Finally, since the choice in favour of justifiability conditions as the central concept of the theory of meaning is incompatible with dummett's wholesale rejection of holism, the manifestation challenge is turned against the anti-realist

Styles APA, Harvard, Vancouver, ISO, etc.

38

El, Guebli Najat. « Analyse sémio linguistique de quelques vêtements de mode : esquisse dictionnairique et lexiculturelle ». Cergy-Pontoise, 2009. http://biblioweb.u-cergy.fr/theses/09CERG0405.pdf.

Texte intégral

Résumé :

La sémiologie du vêtement est ici traitée à partir de diverses perspectives. Nous avons souhaité en effet nous interroger sur cette exclusivité humaine, à partir de différents aspects linguistiques et sémiotiques, recensant et analysant notamment les discours parémiques et citationnels pour tenter de dégager les valeurs sémiotiques attribuées au vêtement. Le phénomène de la mode représentant une partie intégrante de l’univers du vêtement, nous avons par ailleurs procédé à une analyse sémiologique de quelques vêtements de mode en considérant le vêtement comme un signe à part entière ; cela nous a conduits à dévoiler l’existence d’un système vestimentaire semblable en partie au système linguistique (archaïsme, néologisme, motivation, immotivation, antonymie, codes de la communication, contexte vestimentaire, etc. ). Une étude dictionnairique complémentaire s’est également avérée nécessaire pour déceler les facettes sémantiques cachées du signifiant « vêtement », en appliquant la « triple investigation dictionnairique » sur les supports informatisés de dictionnaires représentatifs. Enfin, nous avons abordé le vêtement en tant que phénomène culturel, en ayant recours à des proverbes issus d’un autre système linguistique, l’objectif étant de mettre en relief la portée lexiculturelle du vêtement, en l’occurrence à travers la tradition arabe
This doctoral dissertation deals with the semiology of clothes from different points of view. We have considered the characteristics of clothes which constitute an exclusively human phenomenon by analysing linguistic and semiotic aspects. Recording and analysing proverbs and sayings about clothes, we tried to discern their inherent semiotic value. The phenomenon of fashion representing an integral part of the universe of clothes, we examined the meaning of various garments in view of their quality as signs. In this respect we pointed out the partial analogy between the system of clothing and linguistics (cf. Archaism, neologism, motivation, immotivation, antonymy, codes of communication, context, etc. )A complementary study of the dictionary proved useful for revealing the hidden semantic facets of the word “garment”. To achieve this aim, we applied a method known as “triple dictionary investigation”, taking advantage of computer-based versions of representative French dictionaries. Last but not least, we looked upon garments as a cultural phenomenon. With the help of proverbs from a different language, we tried to bring out the “lexi-cultural” value of garments more clearly. In the present case, we examined traditional Arab garments

Styles APA, Harvard, Vancouver, ISO, etc.

39

Al, Hasan Mohammed Moaffak. « L'évolution sémantique du langage poétique hébraïque profane andalou sous l'influence de la poésie arabe : l'exemple de Moïse ibn Ezra ». Lille 3, 2011. http://www.theses.fr/2011LIL30037.

Texte intégral

Résumé :

Cette thèse étudie l'évolution sémantique que le langage poétique hébraïque andalou a connue en raison de son contact avec la culture arabe dominante à cette époque-là. Cette recherche s'établit sur trois principes théoriques : les études socio-littéraires, les études comparatives et les études sémantiques. Cette recherche applique ces principes théoriques sur le livre du poète Moïse ibn Ezra, intitulé "Sêfer ha-'anaq". Grâce à l'application de la théorie des champs sémantiques, nous avons constitué un lexique du langage poétique d'Ibn Ezra, qui reflète l'environnement géographique et social andalou. Au cours de l'étude sémantique comparée appliquée au langage poétique profane d'Ibn Ezra, d'une part, et à celui des textes bibliques et de la poésie arabe d'autre part. Il est remarqué que Ibn Ezra, bien qu'il a [sic] utilisé les termes bibliques, son langage poétique est différent du langage poétique biblique. Son langage poétique est assez proche du langage poétique arabe. En effet, l'influence arabe se manifeste directement et indirectement : l'effet indirect apparaît sous deux formes à savoir l'espace métaphorique et l'intertextualité. L'impact direct est réparti en deux niveaux à savoir les mots simples utilisés de manière sémantiquement évoluée sous l'influence de l'arabe, et les expressions et les styles expressifs qu'Ibn Ezra a emprunté à la poésie arabe en vue de les intégrer dans la structure du poème hébraïque
This research is based on three theoretical studies : socio-literary studies, comparative studies and semantic studies, and applies these theoretical principles on the poetry of Moses ibn Ezra, in his book titled Sefer ha-'anaq. Through the application of the theory of semantic fields, the researcher formed a glossary of poetic language of Ibn Ezra, which reflects the geographical and social environment of Andalusia during middle ages. During the semantic study, the researcher compared the poetic language of Ibn Ezra, on one side with the biblical texts and on the other side with Arabic poetry. It is noticed that Ibn Ezra, although used the biblical vocabularies, his poetic language is very different from the language of biblical poetry. His poetic language is quite closed to the language of Arabic poetry as the Arabic influence manifested indirectly and directly : the indirect effect appears in two forms i. E. The metaphorical space and the intertextuality. The direct impact is distributed in two levels i. E. Simple words used in a way semantically evolved under the influence of Arabic ; and expressions and expressive styles which Ibn Ezra borrowed from the Arabic poetry to integrate into the stucture of Hebrew poetry

Styles APA, Harvard, Vancouver, ISO, etc.

40

Le, Corre Geneviève. « L'organisation structurelle du sens en langue des signes française (LSF) : du statut "figural" du signe standard à l'isotopie "structurelle" du discours signé ». Brest, 2002. http://www.theses.fr/2002BRES1003.

Texte intégral

Résumé :

Dans le monde des sourds, la langue, comme la perception, s’appuie sur le visuel et le corporel. La LSF manifeste ainsi un degré certain d’iconicité qui la rapproche de la sémiotique des formes visuelles. Organisant à sa manière l’univers sémantique, elle contribue à ordonner, socialement et culturellement, le monde accessible aux sourds, selon des normes qui leur sont propres : par la figurativité de son système, elle impose sa logique pragmatique. La recherche sémantique, qui lui est appliquée, prend donc place au cœur de la problématique de l’intersémioticité. L’analyse tente de répondre aux interrogations soulevées par l’iconicité à l’œuvre dans le système de cette langue : comment l’iconique et le linguistique peuvent-ils coexister, et surtout s’articuler ? L’articulation des langues signées, sur les trois dimensions de l’espace, les distingue de celle, linéaire, des langues orales. Dans la mise en relation des paramètres de formation des signes sont actualisés des traits figuratifs, largement génériques, qui autorisent le maintien et la pérennité du lien iconique qui renvoie aux formes visuelles. Ces composantes sont à l’origine de classes sémantiques ignorées des langues orales. Ce code, qui garantit l’iconicité à l’œuvre dans le système, définit, à partir de traits figuratifs, des rapports à caractère structurel entre les éléments linguistiques : des règles d’isotopie structurelle. La figurativité de son système offre à la LSF la possibilité de s’appuyer sur la redondance du visuel pour multiplier les stratégies rhétoriques. Cette figurativité n’enlève rien au pouvoir interprétatif et créatif de la langue, la classification sémantique des formes l’autorisant à fonctionner comme un véritable système linguistique.

Styles APA, Harvard, Vancouver, ISO, etc.

41

Schmouchkovitch, Michel. « Le problème de l'interprétation de l'oxymore dans l'oeuvre de J. -J. Rousseau ». Rennes 2, 1998. http://www.theses.fr/1998REN20028.

Texte intégral

Résumé :

Nous proposons dans cette thèse une analyse sémantique de l'oxymore comme un moyen d'aborder le système de la pensée de J. -J. Rousseau. Apres avoir précisé les fondements théoriques (théorie de la médiation) qui nous permettent de poser un idiome propre a rousseau en face de la doxa, nous exposons les principes d'une linguistique micro-sémantique (sémantique interprétative) qui nous fournit les descriptions nécessaires des parcours interprétatifs rendant compte des énoncés réputés étranges. Nous formulons ensuite un ensemble articulé de quatre critères sémantiques toujours présents dans l'oxymore, et suffisamment distinctifs des autres figures de contradiction, en particulier du paradoxe. Selon l'emploi que Rousseau fait de l'oxymore, nous aurons recours soit à des opérations interprétatives ne déterminant pas de rupture par rapport à la doxa, soit à l'hypothèse d'univers contrefactuels. L'oxymore ne pouvant être interprété à partir des seules données locales, nous en avons recherché les déterminations globales. A partir de trois exemples ayant respectivement pour thème l'éloquence, l'économie et l'évangile, nous tentons de montrer comment Rousseau se sert de l'oxymore pour mettre en place des mondes possibles ou les contraires se conjuguent sans s'opposer
In this thesis, we propose a semantic analysis of the oxymoron, a figure of speech envisaged as a way to approach the system of thought of J. -J. Rousseau. First, we detail the theoretical foundations (taken from mediation theory) which enable us to specify an idiom specific to Rousseau faced with common sense knowledge. Secondly, we expose the principles of interpretative semantics, a micro-semantics linguistic theory we use in order to supply the necessary descriptions of the interpretative paths able to take into account phrases reputed to be strange. Finally, we formulate a structured set of four semantic criteria, always present in the oxymoron but sufficiently distinct from other figures of a contradictory nature (especially paradox). Depending on Rousseau’s use of the oxymoron, we have recourse either to interpretative operations not determining a rupture with respect to the doxa, or to the hypothesis of counterfeit universes. Since the oxymoron cannot be interpreted on the basis of local information alone, we looked for global determinations. Taking three examples (having as their subject eloquence, economics and the gospel), we try to show in what way Rousseau makes use of the oxymoron to set up possible worlds where contraries may be in combination without being in opposition

Styles APA, Harvard, Vancouver, ISO, etc.

42

Tremblay, Christian. « L' apport de la modélisation des connaissances à la codification et à la simplification des textes normatifs : Analyse sémantico-syntaxique des textes normatifs ou la linguistique générale au service du droit ». Paris 2, 2002. http://www.theses.fr/2002PA020115.

Texte intégral

Résumé :

La présente recherche explore les voies d'une lecture automatisée des textes normatifs et de la construction de bases de connaissances juridiques interrogeables en langage naturel. Après avoir étudié les problèmes théoriques de l'interprétation du droit (première partie) et des structures syntaxiques, sémantiques et conceptuelles du langage (seconde partie), la recherche, en faisant appel aux ressources de la linguistique générale, de la sémantique interprétative et de la logique naturelle, a mis en évidence les structures spécifiques des textes normatifs, qualifiées dans le contexte de la recherche, d'opérations normatives, opérations correspondant à une spécialisation, dans le champ du droit, des opérations logico-discursives de la logique naturelle (troisième partie). La recherche débouche (quatrième partie) sur un modèle général de gestion des connaissances juridiques tendant à une compréhension automatisée des textes normatifs.

Styles APA, Harvard, Vancouver, ISO, etc.

43

Stransky, Jan. « Analyse sémantique de structures de données dynamiques avec application au cas particulier de langages LISPiens ». Paris 11, 1988. http://www.theses.fr/1988PA112187.

Texte intégral

Résumé :

L'objectif est de présenter une méthode permettant d'obtenir par analyse sémantique du code source d'un programme, des informations sur ce que sera la structure des données dynamiques (c'est à "tas") à l'exécution de ce programme. Pour cela, dans un premier temps, un treillis de graphes spécialisés (les "h-graphes") est construit Nous montrons que chaque h-graphe est une approximation sémantiquement correcte d'un ensemble d'états possibles de la mémoire dynamique, et présentons les primitives abstraites correspondantes à quelques primitives classiques d'un langage LISPien. Dans un deuxième temps, la question de l'analyse d'un langage LISPien utilisant des fonctions récursives et la portée dynamique est abordée. Une méthode permettant de résoudre ce problème délicat est présentée, et les éléments nécessaires à une preuve de correction sémantique sont donnés. Dans un troisième temps, enfin, un analyseur de Le_Lisp utilisant nos techniques est présenté, et quelques exemples d'analyse sont fournis. Les idées nécessaires à une adaptation de nos méthodes pour l'analyse d'un langage PASCALien sont données dans la thèse.

Styles APA, Harvard, Vancouver, ISO, etc.

44

Elnady, Ahmed Ali Abdel Gawad. « L' ordre des mots dans la phrase de Gustave Flaubert : position, portée et interprétation des circonstants de temps, lieu et manière dans l'Education sentimentale : étude syntaxique, stylistique et poétique ». Lyon 2, 2005. http://theses.univ-lyon2.fr/documents/lyon2/2005/elnady_a.

Texte intégral

Résumé :

Cette étude a pour objet de proposer une approche qui apparaît comme la plus pertinente pour mettre en évidence les différents modes de fonctionnement de circonstants de temps, de lieu et de manière dans la phrase de Gustave Flaubert. Il s'agit de principes de la psychomécanique du langage de Gustave Guillaume, et tout particulièrement de la théorie de l'incidence. Mais il faut d'abord définir le circonstant et proposer les critères linguistiques pour son identification. La thèse s'articule donc autour de trois parties principales. La première partie pose le cadre théorique de cette recherche, à partir d'une définition de la notion de circonstant en langue. Cette partie recense de façon détaillée les grammaires et les travaux de linguistique (incluant les aspects les plus récents de la question). Dans la seconde partie, nous nous inspirons de la typologie des incidences de Claude Guimier qui porte sur les adverbes en anglais (1988) et les adverbes en –ment en français (1996). Trois modes de fonctionnement des circonstants sont donc à distinguer : les circonstants intra-prédicatifs endophrastiques, les circonstants exophrastiques et les circonstants qui vont de l'intra à l'extra-prédicativité. Viendra enfin la troisième et dernière partie de ce travail, dans laquelle on montre l'importance stylistique et la valeur poétique du circonstant dans l'œuvre de Flaubert
The object of study is to propose an approach which seems most relevant highlighting the various operating modes from circonstants of time, place and manner in the sentence of Gustave Flaubert. These modes are based on the psychomecanic of the language of Gustave Guillaume, and particularly on the theory of the incidence. But it is initially necessary to define circonstant and to propose the linguistic criteria for its identification. The thesis thus consists of three principal parts. The first part poses the theoretical framework of this research, starting from a definition of the concept of circonstant in language. This part deals in detail with grammars and work of linguistics (including the most recent aspects of the question). In the second part, we discusse as a starting point the typology of the incidences of Claude Guimier who concentrates on English adverbs (1988) and the adverbs in - lies in French (1996). Three operating modes of the circonstants can thus be distinguished: the endophrastic intra-predicative circonstants, the exophrastic circonstants and the circonstants which range from intra to extra-prédicativité. The third and last part of this work is the one which shows the stylistic importance and the poetic value of circonstants in the work of Flaubert

Styles APA, Harvard, Vancouver, ISO, etc.

45

Milan, Johan. « Vers une grammaire du désir : dire l’union et la chair en grec préclassique (étymologie, lexicologie et sémantique) ». Thesis, Sorbonne université, 2020. http://accesdistant.sorbonne-universite.fr/login?url=http://theses.paris-sorbonne.fr/2020SORUL086.pdf.

Texte intégral

Résumé :

Comment dire le désir érotique et ses concrétisations ? Des épopées homériques aux odes de Pindare, de la cosmogonie hésiodique à l’invective moraliste et à la passion des lyriques, la présente étude passe au crible l’ensemble des textes grecs de la période archaïque pour éclairer ce phénomène linguistique. Le désir et la sexualité sont traités comme une langue à part, au sein du grec, convoquant un lexique, une syntaxe et une stylistique spécifiques. Le lexique détoure les mots de la langue commune et bâtit les concepts du désir dans une chronologie particulière, détaillant ce que le français construit souvent comme synonymes. Le désir se fait force implacable et artefact magique redoutable. La syntaxe de l’union et de la procréation – au cœur de l’élaboration des généalogies, notamment – se déploie sous de fortes contraintes. Elle oscille entre le frein de la bienséance – érotisme perçu comme inconvenant, alors qu’il joue un rôle incontournable dans la construction des personnages et la structuration de l’univers – et l’excès obscène qui le change en arme morale. Difficile à dire, l’érotisme s’énonce à demi-mot, ou mots grossis, dans un système complexe de conventions. Sa stylistique, enfin, lui donne corps : elle le dessine comme un objet palpable, proche des parures travaillées et des amulettes, lui donnant matière et éclat ; elle le met en scène, surtout dans la nature, qui reflète en profondeur ses ambivalences, entre fascination et danger. Les métaphores érotiques et sexuelles convoquent paysages, plantes et animaux pour ancrer l’homme et son désir dans le monde. La grammaire du désir est un mécanisme complexe qui joue de connivence et questionne la nature humaine
How to express erotic desire and its success? From Homeric epics to Pindar’s odes, from Hesiod’s cosmogony to the harsh moral invective, and the passion of lyrics poets, this study examines all the linguistic material from the archaic period to show that process. Desire and sexuality are considered an idiom of their own, within ancient Greek, using their own words, syntax and stylistics. Their words dwell in those of the common tongue and build concepts of desire inside a specific timeline. French is often blind to such a differentiation. Desire turns into an overpowering force and a formidable magical artefact. The syntax of sexual congress and procreation – at the heart of genealogies – thrives through strong constraints, such as decency – and, although eroticism is fundamental in building characters or structuring the world, it is seen as inappropriate – and obscene excess, while fighting for morality. Eroticism is hard to express: it uses the implicit or the caricature, and follows complex conventions. Its stylistics, at last, words its embodiment: desire becomes an object one can touch, wear like an amulet or an ornament, and see, thanks to its glow and material. It is staged, especially in nature, because it reflects its inner ambivalence, between fascination and danger. Erotic and sexual metaphors call out landscapes, plants, and animals, in order to insert desiring human beings into the world. The grammar of desire forms a complex mechanism based on complicity and the questioning human nature

Styles APA, Harvard, Vancouver, ISO, etc.

46

Belaid, Nabil. « Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations ». Phd thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2011. https://tel.archives-ouvertes.fr/tel-00605153.

Texte intégral

Résumé :

Les services et les workflows informatiques permettent le traitement ou l'échange d'informations. Toutefois, seules des informations utiles à leur gestion informatique (stockage, exécution, etc. ) sont spécifiées dans les langages de description syntaxique tels que WSDL, BPEL ou XPDL. En effet, ces descriptions ne permettent pas de lier explicitement les services et les workflows informatiques aux fonctions et aux processus implémentés. Pour remédier à ces limitations, nous proposons une approche basée sur la définition d'ontologies de services (conceptualisations partagées) et d'indexations sémantiques. Notre proposition s'appuie sur des bases de données à base ontologique pour stocker et indexer les différents services et workflows. La mise en oeuvre de notre approche consiste en un prototype logiciel permettant de stocker, de rechercher, de remplacer, de réutiliser les services et les workflows informatiques existant et d'en construire de nouveaux de manière incrémentale. Ces travaux sont validés en étant appliqués au domaine de la modélisation géologique
Services and workflows allow computer processing and information exchange. However, only information relevant to their computer management (storage, delivery, etc. ) is specified in the syntactic description languages such as WSDL, BPEL or XPDL. Indeed, these descriptions do not explicitly link the services and workflows to the implemented functions. To overcome these limitations, we propose an approach based on the definition of ontology of services (shared conceptualizations) and semantic indexations. Our proposal in ontology based databases to store and index the different services and workflows. The implementation of our approach is a prototype that enables to store, search, replace, reuse existing IT services and workflows and build new ones incrementally. This work is validated by being applied to the geological modeling field

Styles APA, Harvard, Vancouver, ISO, etc.

47

Strat, Sabin Tiberius. « Analyse et interprétation de scènes visuelles par approches collaboratives ». Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00959081.

Texte intégral

Résumé :

Les dernières années, la taille des collections vidéo a connu une forte augmentation. La recherche et la navigation efficaces dans des telles collections demande une indexation avec des termes pertinents, ce qui nous amène au sujet de cette thèse, l'indexation sémantique des vidéos. Dans ce contexte, le modèle Sac de Mots (BoW), utilisant souvent des caractéristiques SIFT ou SURF, donne de bons résultats sur les images statiques. Notre première contribution est d'améliorer les résultats des descripteurs SIFT/SURF BoW sur les vidéos en pré-traitant les vidéos avec un modèle de rétine humaine, ce qui rend les descripteurs SIFT/SURF BoW plus robustes aux dégradations vidéo et qui leurs donne une sensitivité à l'information spatio-temporelle. Notre deuxième contribution est un ensemble de descripteurs BoW basés sur les trajectoires. Ceux-ci apportent une information de mouvement et contribuent vers une description plus riche des vidéos. Notre troisième contribution, motivée par la disponibilité de descripteurs complémentaires, est une fusion tardive qui détermine automatiquement comment combiner un grand ensemble de descripteurs et améliore significativement la précision moyenne des concepts détectés. Toutes ces approches sont validées sur les bases vidéo du challenge TRECVid, dont le but est la détection de concepts sémantiques visuels dans un contenu multimédia très riche et non contrôlé.

Styles APA, Harvard, Vancouver, ISO, etc.

48

Brière, Véronique. « Langage, sémantique et ontologie : une étude de la problématique catégoriale dans l'oeuvre d'Aristote (Des Catégories aux catégories) ». Paris 10, 2006. http://www.theses.fr/2006PA100171.

Texte intégral

Résumé :

Cette thèse se propose d'étudier la notion de catégorie dans les oeuvres d'Aristote, à travers les différentes formulations et problématiques dans lesquelles la notion s'inscrit ; la notion traverse les champs de la physique, de la métaphysique, autant que la dialectique ou l'analytique ; à partir d'une relecture détaillée du texte dit des Catégories, nous tentons de saisir une stratégie philosophique destinée à déconstruire des apories du platonisme notamment, fondée sur l'interprétation par Aristote des causes de ces apories ontologiques. C'est la constitution d'une réflexion sur le caractère sémantique qui est fondatrice, confirmée par les lectures des Réfutations sophistiques, Topiques, Analytiques. Mais la sémantique n'est pas réduite ni à l'ontologie qui la fonde, elle est plutôt le moyen d'en fonder une nouvelle ;les catégories sont ainsi les formes d'unité, et de la détermination qui supplante la domination du schème substantiel. La métaphysique pour sa part n'en fait pas seulement des « genres » qui se substituent à ceux du platonisme (Sophiste) ni des accidents ontologiques de la substance. Il faut réinterpréter l'ensemble de l'enquête sur l'ousia en métaphysique, autant que le statut supposé des « catégories ». On peut ainsi dégager la force de la réflexion aristotélicienne sur le langage, irréductible à la perspective d'une réduction formaliste, autant qu'à une régulation du langage courant : la perspective apophantique, des sciences, de la démonstration elle-même ne fait pas l'économie du caractère sémantique du langage, et de ce qui vient mettre en question la fonction symbolique qui lui est conventionnellement assurée. Notre lecture consiste à relier la compréhension de l'acte de katêgorein à une manière aristotélicienne d'interpréter les apories du Platonisme, des Éléates et des physiologues, autant qu'à ce qui fait la force de la sophistique : l'absence d'une sémantique, une saturation essentialiste, qui s'appuie sur une manière de confondre toute unité signifiée, et toute unité déterminée avec la forme de la substance, le ceci -C'est contre ce schème, jugé dominant et catastrophique pour le langage comme pour l'ontologie qu'Aristote fabrique les concepts catégoriels, qu'il faut donc interpréter autrement que comme les formes imposées au logos dans la prédication, ou que les types de « choses » manifestées nécessairement par la signification (réduite alors à une phénoménologie naïve). Cela n'interdit pas, au contraire, de suivre aussi, entre les textes, et dans certains point textuels en particulier, des glissements, des effets de métaphore, qui participe à la transformation ontologique des notions
This dissertation interrogates the notion of categories in Aristotle's work in ils various formulations as it ranges across the registers of physics and metaphysics, dialectics, and logic. A detailed rereading of Categories that focuses on Aristotle's interpretation of the origins of the ontological aporias -- of Platonism in particular-- reveals how the text adumbrates a philosophical strategy meant to deconstruct such aporias. A reading of On Sophistical Refutations, of Topics, and Prio rAnalytics confirms that at the basis of ibis strategy is a reflection on semantics. Semantics, however, cannot be reduced to ontology, although it is founded upon it. Rather, it represents the means to establish a new ontology. Consequently, categories should be understood as unity forms, and forms for determination, which supplant the domination of the logic of substance. As for metaphysics, it does not reduce categories to "genres" that would replace platonic ones (Sophist) nor to ontological accidents of substance. At stake here is the reinterpretation of the entire study of ousia in metaphysics as much as the supposed status of « categories. » My aim is to foreground the full scope of Aristotle's conceptualization of language, for it is neither a work of strict formalism nor simply a work on the rules of common speech. Not even the apophantic perspective of the sciences can ignore the semantic nature of language and the fact that the symbolic function it supposedly guarantees is thrown into question. This dissertation connects the understanding of katêgorein to Aristotle's interpretation of the aporias of Platonism, of the Eleates and of the physiologues. It connects it as well to what constitutes sophistics, i. E. The absence of semantics, a saturation based on the conflation of all units of meaning as well ac of any determined unit, with the form of substance, tode it. It is precisely against this dominant scheme, thought to be deleterious for language and ontology both, that Aristotle generates the concepts of categories. For this reason, I argue, we must no longer interpret categories as forms imposed on logos in predication or as types of "things" reduced to a naïve phenomenology. This new approach, rather, invites us to trace, from one text to another and within given texts, metaphorical slippages responsible for the ontological transformation of certain notions

Styles APA, Harvard, Vancouver, ISO, etc.

49

Sene, Abib. « Sémiotique de l'espace et sémantique du discours littéraire dans les oeuvres de Ngugi wa Thiong'o, George Lamming et William Boyd ». Thesis, Tours, 2014. http://www.theses.fr/2014TOUR2030/document.

Texte intégral

Résumé :

Les sociétés africaines, caribéennes, et anglaises présentent, quoique partageant, d’une manière formelle, des caractéristiques, des profils divers en raisons des spécificités des milieux physiques dans lesquels elles se déploient. Ainsi, il a été important, dans ce travail, d’établir un lien nombrileux entre l’espace et le discours. En effet, l’analyse sémiotique de l’espace littéraire dans les oeuvres de Ngugi wa Thiong’o, George Lamming et William Boyd a conduit à une conclusion qui prend valeur d’importance dans des événements et des réalités politico-sociales. Etudiée sous un angle sémiotique, la nomenclature de ces réalités fait sens dans des contextes et cotextes communicationnels à travers lesquels se lisent des aspects pragmatiques. Les toits langagiers et les contenus énonciatifs laissent observer des logiques positionnelles et transformationnelles, lesquelles épousent fondamentalement des aspects de la continuité et de la discontinuité. Et cela fait du message textuel un récit anthropologique relaté dans un univers interactionnel qui forme un tout de signification
African, Caribbean, and English societies, in spite of the fact that they share common features, remain different in their profile on the grounds of the particularities of the physical spaces that witness their expressions and the specific goals they target within historical, cultural, political and economic data that form out their social stratification. In this way, it becomes important, as a main idea of this work, to put on surface the intrinsic link between space and discourse. A semiotic analysis of literary space in Ngugi wa Thiong’o’s, George Lamming’s and William Boyd’s works has led to a concluding argument which highlights social and political realities. Read through a semiotic stand, the nomenclature of these events and realities root their meaning in communicating scenarios which portray pragmatic aspects. Levels of language and nature of messages help to observe some logic of positions and transformations that imply continuity and discontinuity dimensions. What affects to the literary message an anthropological account narrated into a framework of interactions that articulate a totalizing significance

Styles APA, Harvard, Vancouver, ISO, etc.

50

Defresne, Michèle. « L' expression de la faible quantité en latin : parvum, paulum, pauci, dans le cadre de la théorie de l'argumentation dans la langue d'O. Ducrot ». Paris 4, 2000. http://www.theses.fr/2000PA040055.

Texte intégral

Résumé :

La description que nous proposons des quantificateurs latins parum, paulum / io, pauci, relève d'une sémantique argumentative. Nous avons en effet adopté un certain nombre d'hypothèses internes propres à la théorie de l'ADL d' 0. Ducrot, J. C. Anscombre et M. Carel : les notions d'opérateurs argumentatifs, de topoi; de modificateurs déréalisant, et d'argumentation interne et externe constitutives du signifié des mots, syntagme, proposition, et énonce. Parum, qui a toujours le sens de « peu » est le prototype même de l'inverseur. Il inverse les argumentations interne et externe en donc (normatives) et en pourtant (transgressive) constitutives du signifie des mots, des syntagmes auquel il s'applique. Dans ces enchainements a donc c, a pourtant c, l'antécédent et le conséquent sont interdépendants : le passage de a à c ne repose pas sur une inférence. Paulum et pauci, qui peuvent être utilisés en fonction d'atténuateur ou d'inverseur, contribuent à valider l'hypothèse qu'ils sont des occurrences d'un même morphème abstrait qui prend tantôt la valeur de « peu », tantôt celle d' « un peu » dans certaines conditions discursives. Ces modificateurs peuvent avoir un effet distinct au plan de la phrase, et au plan de l'énoncé. La mise en application de ces différentes hypothèses internes permet une description unifiante de ces opérateurs/qui ne se veut pas explicative. Son intérêt consiste essentiellement à mettre en relation un certain nombre de phénomènes linguistiques, comme le veut l'allégeance de cette théorie au structuralisme saussurien.

Styles APA, Harvard, Vancouver, ISO, etc.

Thèses sur le sujet « Interprétation sémantique de tables »

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres