Relevant bibliographies by topics / Semantics / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Semantics.

Dissertations / Theses on the topic 'Semantics'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Semantics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Azevedo, Terceiro Antonio Soares de. "Semantics for an algebraic specification language." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2006. http://hdl.handle.net/10183/8126.

Full text
Abstract:
Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e Orientação a Objetos. Um dos componentes do Ambiente Prosoft é sua linguagem de especificação algébrica: o Prosoft Algébrico. Apesar de ser base e tema de diversos trabalhos no grupo de pesquisa Prosoft, o Prosoft Algébrico não tem sua semântica d
APA, Harvard, Vancouver, ISO, and other styles
2

Verspoor, Cornelia M. "Contextually-dependent lexical semantics." Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/515.

Full text
Abstract:
This thesis is an investigation of phenomena at the interface between syntax, semantics, and pragmatics, with the aim of arguing for a view of semantic interpretation as lexically driven yet contextually dependent. I examine regular, generative processes which operate over the lexicon to induce verbal sense shifts, and discuss the interaction of these processes with the linguistic or discourse context. I concentrate on phenomena where only an interaction between all three linguistic knowledge sources can explain the constraints on verb use: conventionalised lexical semantic knowledge constrain
APA, Harvard, Vancouver, ISO, and other styles
3

Endriss, Cornelia, Stefan Hinterwimmer, and Stavros Skopeteas. "Semantics." Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2008/2226/.

Full text
Abstract:
The guidelines for semantics comprise a number of layers related to quantificational structures as well as some crucial semantic properties of NPs with respect to information structure: definiteness, countability, and animacy.
APA, Harvard, Vancouver, ISO, and other styles
4

Vecchi, Eva Maria. "Distributional semantic phrases vs. semantic distributional nonsense: Adjective Modification in Compositional Distributional Semantics." Doctoral thesis, Università degli studi di Trento, 2013. https://hdl.handle.net/11572/369284.

Full text
Abstract:
In this thesis, I study the ability of compositional distributional semantics to model adjective modification. I present three studies that explore the degree to which semantic intuitions are grounded in the distributional representations of adjective-noun phrases, as well as provide insight into various linguistic phenomena by extracting unsupervised cues from these distributional representations. First, I investigate degrees of adjective modification. I contrast three types of adjectival modifiers – intersectively used color terms, subsectively used color terms, and intensional adjectives
APA, Harvard, Vancouver, ISO, and other styles
5

Vecchi, Eva Maria. "Distributional semantic phrases vs. semantic distributional nonsense: Adjective Modification in Compositional Distributional Semantics." Doctoral thesis, University of Trento, 2013. http://eprints-phd.biblio.unitn.it/1060/1/EMVecchi_Thesis.pdf.

Full text
Abstract:
In this thesis, I study the ability of compositional distributional semantics to model adjective modification. I present three studies that explore the degree to which semantic intuitions are grounded in the distributional representations of adjective-noun phrases, as well as provide insight into various linguistic phenomena by extracting unsupervised cues from these distributional representations. First, I investigate degrees of adjective modification. I contrast three types of adjectival modifiers – intersectively used color terms, subsectively used color terms, and intensional adjectives –
APA, Harvard, Vancouver, ISO, and other styles
6

Soni, Maya. "Semantics in speech production." Thesis, University of Manchester, 2011. https://www.research.manchester.ac.uk/portal/en/theses/semantics-in-speech-production(c446ac01-7c32-468a-816b-04993347e135).html.

Full text
Abstract:
The semantic system contributes to the process of speech production in two major ways. The basic information is contained within semantic representations, and the semantic control system manipulates that knowledge as required by task and context. This thesis explored the evidence for interactivity between semantic and phonological stages of speech production, and examined the role of semantic control within speech production. The data chapters focussed on patients with semantic aphasia or SA, who all have frontal and/or temporoparietal lesions and are thought to have a specific impairment of s
APA, Harvard, Vancouver, ISO, and other styles
7

Fass, D. "Collative semantics : A semantics for natural language processing." Thesis, University of Essex, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.383507.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Neumaier, Sebastian, and Axel Polleres. "Geo-Semantic Labelling of Open Data. SEMANTiCS 2018-14th International Conference on Semantic Systems." Elsevier, 2018. http://epub.wu.ac.at/6452/1/neum%2Dpoll%2D2018SEMANTiCS.pdf.

Full text
Abstract:
In the past years Open Data has become a trend among governments to increase transparency and public engagement by opening up national, regional, and local datasets. However, while many of these datasets come in semi-structured file formats, they use di ff erent schemata and lack geo-references or semantically meaningful links and descriptions of the corresponding geo-entities. We aim to address this by detecting and establishing links to geo-entities in the datasets found in Open Data catalogs and their respective metadata descriptions and link them to a knowledge graph of geo-entities
APA, Harvard, Vancouver, ISO, and other styles
9

Loebe, Frank. "Ontological Semantics." Doctoral thesis, Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-166326.

Full text
Abstract:
The original and still a major purpose of ontologies in computer and information sciences is to serve for the semantic integration of represented content, facilitating information system interoperability. Content can be data, information, and knowledge, and it can be distributed within or across these categories. A myriad of languages is available for representation. Ontologies themselves are artifacts which are expressed in various languages. Different such languages are utilized today, including, as well-known representatives, predicate logic, subsuming first-order (predicate) logic (FOL), i
APA, Harvard, Vancouver, ISO, and other styles
10

Carrigan, Raymond Sidney John. "General semantics." Thesis, University of Edinburgh, 1986. http://hdl.handle.net/1842/18080.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Pelczar, Michael Walsh. "Philosophical semantics." Full text, Acrobat Reader required, 2000. http://viva.lib.virginia.edu/etd/diss/ArtsSci/Philosophy/2000/Pelczar/Pelczar.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Sung, John Junghoon. "Cognitive semantics of molecular genetics : toward a unified cognitive semantic theory." Thesis, University of Sussex, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.442429.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Shead, Stephen L. "Radical frame semantics and biblical Hebrew exploring lexical semantics /." Connect to full text, 2007. http://hdl.handle.net/2123/2016.

Full text
Abstract:
Thesis (Ph. D.)--University of Sydney, 2007.<br>Title from title screen (viewed 28 March 2008). Submitted in fulfilment of the requirements for the degree of Doctor of Philosophy to the Dept. of Hebrew, Biblical and Jewish Studies, Faculty of Arts. Includes bibliographical references. Also available in print form.
APA, Harvard, Vancouver, ISO, and other styles
14

Shiu, Simon K. Y. "Type theoretic semantics for semantic networks : an application to natural language engineering." Thesis, Durham University, 1996. http://etheses.dur.ac.uk/5397/.

Full text
Abstract:
Semantic Networks have long been recognised as an important tool for natural language processing. This research has been a formal analysis of a semantic network using constructive type theory. The particular net studied is SemNet, the internal knowledge representation for LOLITA(^1): a large scale natural language engineering system. SemNet has been designed with large scale, efficiency, integration and expressiveness in mind. It supports many different forms of plausible and valid reasoning, including: epistemic reasoning, causal reasoning and inheritance. The unified theory of types (UTT) in
APA, Harvard, Vancouver, ISO, and other styles
15

Ward, Nick. "The Semantics of ja and ye: Semantic variation in Marathi motion verbs." Thesis, Department of Linguistics, 2010. http://hdl.handle.net/2123/5837.

Full text
Abstract:
Ja and ye ('go' and 'come' respectively, from the Indian language Marathi) are first semantically examined as basic verbs of physical motion. Then instances which vary from this basic 'sense' of the words are analysed with respect to theories of polysemy via semantic extension (through metaphor and metonymy), and deixis. Some evidence is found to support theories of 'figurative' deixis, utilizing the concept of 'subjectivity' as a primary grounding force in our construction of meaning. Subjectivity is also implicated in the dominant mechanism of semantic shift by 'result' metonymy, wherein the
APA, Harvard, Vancouver, ISO, and other styles
16

McDonald, Brian Edison. "Constraint variational semantics." [Bloomington, Ind.] : Indiana University, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3274279.

Full text
Abstract:
Thesis (Ph. D.)--Indiana University, Dept. of Philosophy, 2007.<br>Source: Dissertation Abstracts International, Volume: 68-07, Section: A, page: 2977. Adviser: Anil Gupta. Title from dissertation home page (viewed Apr. 9, 2008).
APA, Harvard, Vancouver, ISO, and other styles
17

Desharnais, Jules. "Abstract relational semantics." Thesis, McGill University, 1989. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=75986.

Full text
Abstract:
Abstract relational algebra is used to define the semantics of a simple imperative language. In order to carry out this task, various domains are specified by relational axioms. Some specifications define relations on the basic types of the language (Booleans and natural numbers); their presentation stresses the importance of the concept of point. Other specifications construct the relational domains whose relations are used to denote programs. The programming constructs that are defined include expressions, variable declarations, assignment statements, while-program statements and procedures.
APA, Harvard, Vancouver, ISO, and other styles
18

Tzevelekos, Nikos. "Nominal game semantics." Thesis, University of Oxford, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.497132.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Delaney, Jesse. "HUSSERL'S DYADIC SEMANTICS." UKnowledge, 2014. http://uknowledge.uky.edu/philosophy_etds/4.

Full text
Abstract:
Husserl’s Logical Investigations contain an apparent discrepancy in their account of meaning. They first present meanings, contra psychologism, as commonly available, reiterable, invariant, possibly valid, and independent of our “acts of meaning”. They then present meaning, almost psychologistically, as a kind of intentional experience on which all truths and other transcendent meanings depend. I offer a critical developmental study of this problem within Husserl’s semantics. I argue (1) that Husserl had reason to adopt his dyadic account of signification, (2) that this “two-sided” account sha
APA, Harvard, Vancouver, ISO, and other styles
20

Heck, Richard Gustave. "Logic, semantics, ontology." Thesis, Massachusetts Institute of Technology, 1991. http://hdl.handle.net/1721.1/13940.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1991.<br>Vita.<br>Includes bibliographical references (leaves 195-197).<br>by Richard Gustave Heck, Jr.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
21

Hayman, Jonathan Mark. "Petri net semantics." Thesis, University of Cambridge, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608768.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Matthews, Tim. "Semantics of texture." Thesis, University of Southampton, 2016. https://eprints.soton.ac.uk/418003/.

Full text
Abstract:
In this thesis we investigate means by which the semantic and visual spaces of texture may be tied together, and argue for the importance of explicit semantic modelling inhuman-centred texture analysis tasks such as retrieval, annotation, synthesis, and zeroshot learning. We take a new approach to semantic texture labelling by adopting a pairwise comparison framework robust to human biases, and within a semantic space consisting of attributes,low-level visual features acting as building blocks for more expressive semantic ontologies. We crowdsource a dataset of approximately 140;000 pairwise c
APA, Harvard, Vancouver, ISO, and other styles
23

Avery, Thomas Charles. "Structure and semantics." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/29517.

Full text
Abstract:
Algebraic theories describe mathematical structures that are defined in terms of operations and equations, and are extremely important throughout mathematics. Many generalisations of the classical notion of an algebraic theory have sprung up for use in different mathematical contexts; some examples include Lawvere theories, monads, PROPs and operads. The first central notion of this thesis is a common generalisation of these, which we call a proto-theory. The purpose of an algebraic theory is to describe its models, which are structures in which each of the abstract operations of the theory is
APA, Harvard, Vancouver, ISO, and other styles
24

Girka, Thibaut. "Differential program semantics." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC147/document.

Full text
Abstract:
Les programmes informatiques sont rarement écrits d'un seul coup, et sont au contraire composés de changements successifs. Il est également fréquent qu'un logiciel soit mis à jour après sa sortie initiale. De tels changements peuvent avoir lieu pour diverses raisons, comme l'ajout de fonctionnalités ou la correction de bugs. Il est en tout cas important d'être capable de représenter ces changements et de raisonner à leur propos pour s'assurer qu'ils implémentent les changements voulus.En pratique, les différences entre programmes sont très souvent représentées comme des différences textuelles
APA, Harvard, Vancouver, ISO, and other styles
25

Bruni, Elia. "Multimodal Distributional Semantics." Doctoral thesis, University of Trento, 2013. http://eprints-phd.biblio.unitn.it/1075/1/EliaBruniThesis.pdf.

Full text
Abstract:
Although being one very simple statement, the distributional hypothesis - namely, words that occur in similar contexts are semantically similar - has been granted the role of main assumption in many computational linguistic techniques. This is mostly due to the fact that it allows to easily and automatically construct a representation of word meaning from a large textual input. Among the computational linguistic techniques that are corpus-based and adopt the distributional hypothesis, Distributional semantic models (DSMs) have been shown to be a very effective method in many semantic-related
APA, Harvard, Vancouver, ISO, and other styles
26

Pichetpan, Nitipong. "Verbs of Caused-Separation in Thai and Khmer: Lexical Semantics and Language Convergence in Mainland Southeast Asia." Thesis, The University of Sydney, 2021. https://hdl.handle.net/2123/25661.

Full text
Abstract:
This dissertation investigates the question of whether and to what extent language convergence within a linguistic area may extend into the domain of lexical semantics. To investigate this question, it examines similarities and differences among verbs of separation in Thai and Khmer – two genealogically unrelated languages that both fall within the Mainland Southeast Asian (MSEA) linguistic area. Descriptions of caused separation events were first elicited from native speakers of the languages. Cluster analyses (Jaccard’s index and average linkage) were performed to determine the domain’s cate
APA, Harvard, Vancouver, ISO, and other styles
27

Bremer, Manuel. "Philosophische Semantik /." Frankfurt [u.a.] : Ontos-Verl, 2005. http://www.ontos-verlag.de/Buchreihen-LOGOS-Bremer.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Šinušienė, Aurika. "Semantics of mental verbs in English." Bachelor's thesis, Lithuanian Academic Libraries Network (LABT), 2011. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20110802_144428-02964.

Full text
Abstract:
Analyzed clasification of English mental process verbs, their semantic structure; the process of subjectivization; experiencer's position in a sentence.<br>Mentalinio proceso veiksmažodžių klasifikacijos analizė, jų semantinė struktūra; subjektyvizacijos procesas; patirtį gaunančio asmens pozicija pateikta sakinyje.
APA, Harvard, Vancouver, ISO, and other styles
29

Dalglish, Steven Jack William. "Accepting Defeat: A Solution to Semantic Paradox with Defeasible Principles for Truth." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1597757494987204.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Zemtsova, Valeriia. "The structure of the lexico-semantic field "Sport" in modern English." Thesis, Київський національний університет технологій та дизайну, 2019. https://er.knutd.edu.ua/handle/123456789/14353.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Nivre, Joakim. "Situations, meaning, and communication a situation theoretic approach to meaning in language and communication /." Göteborg, Sweden : Dept. of Linguistics, University of Göteborg, 1992. http://catalog.hathitrust.org/api/volumes/oclc/31171651.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Elbourne, Paul. "The Semantics of Ellipsis." Universität Potsdam, 2005. http://opus.kobv.de/ubp/volltexte/2006/872/.

Full text
Abstract:
There are four phenomena that are particularly troublesome for theories of ellipsis: <br>the existence of sloppy readings when the relevant pronouns cannot possibly be bound; an ellipsis being resolved in such a way that an ellipsis site in the antecedent is not understood in the way it was there; an ellipsis site drawing material from two or more separate antecedents; and ellipsis with no linguistic antecedent. <br>These cases are accounted for by means of a new theory that involves copying syntactically incomplete antecedent material and an analysis of silent VPs and NPs that makes them into
APA, Harvard, Vancouver, ISO, and other styles
33

Renans, Agata, Malte Zimmermann, and Markus Greif. "Questionnaire on focus semantics." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/3682/.

Full text
Abstract:
This is the 15th issue of the working paper series Interdisciplinary Studies on Information Structure (ISIS) of the Sonderforschungsbereich (SFB) 632. This online version contains the Questionnaire on Focus Semantics contributed by Agata Renans, Malte Zimmermann and Markus Greif, members of Project D2 investigating information structural phenomena from a typological perspective. The present issue provides a tool for collecting and analyzing natural data with respect to relevant linguistic questions concerning focus types, focus sensitive particles, and the effects of quantificational adverbs a
APA, Harvard, Vancouver, ISO, and other styles
34

Hope, James. "The semantics of psychospace." Thesis, Heriot-Watt University, 2003. http://hdl.handle.net/1842/17574.

Full text
Abstract:
Traditionally, in the landscape profession, landscape analysis has been concerned with the physical aspects of place. Properties like shape, amount, use, colour and content have been surveyed, identified and classed in their various combinations to describe ' place character '. With few exceptions, (Appleton 1998), the psychological aspects of place as criteria for classification have been largely ignored. One of the reasons for this, has been the argument that such data are' subjective' and personal, when what is required is,' objective', verifiable and subject to 'constancy'. Another equally
APA, Harvard, Vancouver, ISO, and other styles
35

Pi, Chia-Yi Tony. "Mereology in event semantics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/NQ64644.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Thijs, Albert Marchienus. "Simulation and fixpoint semantics." [Groningen : [Groningen] : Rijksuniversiteit Groningen] ; [University Library Groningen] [Host], 1996. http://irs.ub.rug.nl/ppn/152889566.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Pi, Chia-Yi Tony 1970. "Mereology in event semantics." Thesis, McGill University, 1999. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=36681.

Full text
Abstract:
This thesis investigates verbal and prepositional representations of change under a non-localistic analysis based on the mereology of events, i.e., a system of aspect that uses event parts as primitives in lieu of path parts. Localistic analyses, developed from motional concepts (e.g., Verkuyl 1993, Asher & Sablayrolles 1994), do not extend to non-motional data (e.g., changes of state or possession) except via metaphor, thereby bypassing essential generalizations about change.<br>It is argued that, instead of modeling change after the tripartite source-route-goal divisions of a spatial path, t
APA, Harvard, Vancouver, ISO, and other styles
38

Livingstone, G. M. "Semantics, understanding and knowledge." Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234326.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Chroboczek, Juliusz. "Game semantics and subtyping." Thesis, University of Edinburgh, 2003. http://hdl.handle.net/1842/365.

Full text
Abstract:
Game Semantics is a relatively new framework for the description of the semantics of programming languages. By combining the mathematical elegance of Denotational Semantics with explicitly operational concepts, Game Semantics has made possible the direct and intuitive modelling of a large range of programming constructs. In this thesis, we show how Game Semantics is able to model subtyping. We start by designing an untyped λ-calculus with ground values that explicitly internalises the notion of typing error. We then equip this calculus with a rich typing system that includes quantification (bo
APA, Harvard, Vancouver, ISO, and other styles
40

Horton, Michael Brady. "INFLATIONARY TRUTH-THEORETIC SEMANTICS." UKnowledge, 2012. http://uknowledge.uky.edu/philosophy_etds/1.

Full text
Abstract:
I argue that satisfaction and reference—and therefore, truth—are multiply realizable properties. I advocate a novel approach motivated by a commitment to the robustness and fruitfulness of truth-theoretic approaches to natural language semantics. DEFLATIONISM: Philosophers keen on deflating the metaphysical pretensions of truth theories claim that we need not appeal to a substantive truth-property. Recently, however, some philosophers have sought to combine deflationism about truth with the view that our concept of truth or the truth-predicate can play an important role in natural language sem
APA, Harvard, Vancouver, ISO, and other styles
41

Heider, Paul M. "The Semantics of Optionality." Thesis, State University of New York at Buffalo, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3683040.

Full text
Abstract:
<p> For every participant role filler in an utterance, speakers must choose to leave it bare (e.g., "the interviewer") or to modify it (e.g., "the interviewer on Fresh Air"). Their decision is the end result of a combination of complex factors ranging from the original message to how distracted the speaker is. When we use corpora to create language models, part of our job is understanding the observable properties in and around an event description that allow us to predict these decisions. A considerable body of work on language production and discourse pragmatics concentrates on measuring nou
APA, Harvard, Vancouver, ISO, and other styles
42

Ó, Séaghdha Diarmuid Donncha. "Learning compound noun semantics." Thesis, University of Cambridge, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611452.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Gomadam, Karthik Rajagopal. "Semantics Enriched Service Environments." Wright State University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=wright1251246445.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Scontras, Gregory Charles. "The Semantics of Measurement." Thesis, Harvard University, 2014. http://nrs.harvard.edu/urn-3:HUL.InstRepos:13064988.

Full text
Abstract:
This thesis examines linguistic phenomena that implicate measurement in the nominal domain. The first is morphological number, as in one book vs. two books. Intuitively, the contrast between singular and plural forms of nouns finds its basis in whether or not some thing measures 1. Chapter 2 develops a formal account of morphological number centered around this measurement. Different classes of words and different languages employ different criteria to determine whether or not something measures 1 for the purpose of morphological singularity. The second component of the project takes a closer
APA, Harvard, Vancouver, ISO, and other styles
45

Prinz, Andreas. "Formal Semantics for SDL." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001. http://dx.doi.org/10.18452/13752.

Full text
Abstract:
In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative eingeschränkte Sprache RSDL (Restricted SDL) ausgewählt, um die Konzepte der formalen Definition von SDL darzustellen. Die vorliegende Habilitationsschrift umfaßt zwei große Teile: die Definition der formalen Semantik von RSDL und ihre Implementierung. Die formale Definition der Semantik von RSDL ist verständlich, leicht mit der informalen Beschreibung zu vergleichen u
APA, Harvard, Vancouver, ISO, and other styles
46

Gardy, Patrick. "Semantics of Strategy Logic." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLN022/document.

Full text
Abstract:
De nombreux bugs informatiques ont mis en lumière le besoin de certifier les programmes informatiques et la vérification de programmes a connu un développement important au cours des quarante dernières années. Parmi les méthodes possibles, on trouve le model-checking, développé par Clarke et Emerson dans les années 80. Le model-checking consiste à trouver un modèle abstrait pour le système et un formalisme logique pour le comportement puis à vérifier si le modèle vérifie la propriété exprimée dans la logique. La difficulté consiste alors à développer des algorithmes efficaces pour les différen
APA, Harvard, Vancouver, ISO, and other styles
47

Antoniazzi, Francesco <1991&gt. "Semantics Driven Agent Programming." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amsdottorato.unibo.it/9197/1/tesi.pdf.

Full text
Abstract:
In the last two decades the Information Technology changed substantially the life of people all around the World. Just a few years ago, for instance, paper support was needed to exchange all kind of data, while now electronics is indeed the main instrument of communication. This mutation was originally due mostly to the efficiency, while now it is, hopefully, also due to an increased attention towards environmental issues. Information and data have proved over the time the importance of their role, contributing to a plethora of applications that allow the physical world to interact with manki
APA, Harvard, Vancouver, ISO, and other styles
48

PASINI, ANDREA. "Semantics-aware image understanding." Doctoral thesis, Politecnico di Torino, 2021. http://hdl.handle.net/11583/2934670.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

De, Vine Lance N. "Some extensions to representation and encoding of structure in models of distributional semantics." Thesis, Queensland University of Technology, 2013. https://eprints.qut.edu.au/61228/1/Lance_De_Vine_Thesis.pdf.

Full text
Abstract:
This thesis makes several contributions towards improved methods for encoding structure in computational models of word meaning. New methods are proposed and evaluated which address the requirement of being able to easily encode linguistic structural features within a computational representation while retaining the ability to scale to large volumes of textual data. Various methods are implemented and evaluated on a range of evaluation tasks to demonstrate the effectiveness of the proposed methods.
APA, Harvard, Vancouver, ISO, and other styles
50

Marcellino, Erasmo Roberto [UNESP]. "Construção de um ontoléxico para o universo léxico-conceitual da indústria do bordado de Ibitinga." Universidade Estadual Paulista (UNESP), 2011. http://hdl.handle.net/11449/93947.

Full text
Abstract:
Made available in DSpace on 2014-06-11T19:26:50Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-07-01Bitstream added on 2014-06-13T19:55:12Z : No. of bitstreams: 1 marcellino_er_me_arafcl.pdf: 1368519 bytes, checksum: ccff376e511697b9da30e2e01b0cba71 (MD5)<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)<br>A cidade de Ibitinga destaca-se nacionalmente no ramo dos bordados, com sua economia voltada quase que exclusivamente à produção dessas peças. Tendo esse contexto como pano de fundo, esta dissert
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Semantics' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography