Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 1320 for “"Semantics."”.
-
Office semantics
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982.
-
Implementing Cognitive Semantics
This book is about how concepts are structured and processed. It is based on the findings in cognitive linguistics over the last decade, where thorough studies have been made about how concepts function. Concepts appear as image schemata, a spatial form of representation with very powerful …
-
Mobile design semantics
… is descriptive, it does not expose the design semantics of UIs: what elements on the screen mean and how they are used. This thesis introduces an automatic approach for semantically annotating the elements comprising a UI given the data captured during interaction mining. Through an iterative …
-
Arm systems semantics
… them into the scope of programming-language semantics and verification. However, the system semantics, of address translation and TLB maintenance, instruction-fetch and its required cache maintenance, and exceptions and interrupts, remains mostly obscure, leaving us without a solid foundation …
-
Logic, semantics, ontology
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1991.
-
The Semantics of Personality
Made available in DSpace on 2014-12-10T21:07:30Z (GMT). No. of bitstreams: 1 7309873.pdf: 8629139 bytes, checksum: a9ed9e0b9d54ff2396b57daba2fcb25d (MD5) Previous issue date: 1972
-
Symbolic semantics for CSP
… concurrent systems, for which a transition semantics has been given by Brookes, Hoare and Roscoe. In this thesis, we present a generalized transition semantics of CSP, which we call HCSP, that merges the original transition system with ideas from Floyd-Hoare logic and symbolic computation. …
-
Probabilistic semantics for vagueness
… this dissertation I argue that truth-conditional semantics for vague predicates, combined with a Bayesian account of statistical inference incorporating knowledge of truth-conditions of utterances, generates false predictions regarding negations and metalinguistic inference. I thus propose a …
-
Semantics-based program verification
… that are parameterized by the operational semantics of languages. We provide the theory, implementation, and extensive evaluation of the language-parametric formal methods. Specifically, we consider two formal analyses: program verification and program equivalence. First, we propose a novel …
-
The Cerberus C semantics
… would therefore be desirable to have a precise semantics, that in particular could serve as a reference for implementers of compiler, analysis tools, etc. The ISO standard that notionally defines C suffers from two issues. First, as an inevitable result of being written in prose, it is …
-
Probabilistic concurrent game semantics
… Probabilistic PCF. For the former, we relate the semantics to the probabilistic Nakajima trees of Leventis, thus obtaining a characterisation of observational equivalence for programs in terms of strategies. For the latter, we show a definability result in the spirit of the game semantics …
-
The semantics of edges
… research reported in this thesis examines the semantics of cortext-independent edges in a real-world environment. Topics discussed include a classification scheme for edges, edge semantics, and a method for minimizing noise effects in edge computations.
-
Graphical Representation of Text Semantics
… is that numbers do not help understand the semantics and fall short to convey the message of the text. The graphical representation of text semantics focuses on the conversion of text to images. Contrarily to word clouds that simply produce frequency mapping of words within the text and …
-
The semantics of role labeling
The problem of ascribing a semantic representation to text is an important one that can help text understanding problems like textual entailment. In this thesis, we address the problem of assigning a shallow semantic representation to text. This problem is traditionally studied in the context of …
-
Semantics of low-level languages
In this paper we address the motivations, problems and challenges involved in formally specifying low level programming languages. We utilize the K programming language specification framework to build executable models of the languages discussed: x86 and Tezos Michelson. We extend an existing …
-
The semantics of the future
… questions about how aspect is represented in the semantics, if (as is generally assumed) aspectual operators take event arguments, which do not occur outside of the verb phrase.
-
Belief in semantics and psychology
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1994.
-
Semantics and phonology in syntax
In this thesis I argue that morphology should be allowed to interpret not only the information provided by the syntactic component, but also compositional semantic properties. This conception of grammar requires morphology to interact LF and the semantic component in addition to syntax. Applying …
-
Semantics of communicating parallel processes.
Thesis. 1975. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
-
Language and Reality: Stoic Semantics Reconstructed
This thesis aims to understand Stoic views on the relationship of language to the world. I supplement Stoic fragmentary evidence with new evidence from the works of ancient grammarians who, I argue, worked within a Stoic framework, and can serve as sources for Stoic theories. On the basis of this …
Page 1 of 66