Search for dissertations about: "graph grammars"
Found 5 swedish dissertations containing the words graph grammars.
-
1. Order-preserving graph grammars
Abstract : The field of semantic modelling concerns formal models for semantics, that is, formal structures for the computational and algorithmic processing of meaning. This thesis concerns formal graph languages motivated by this field. READ MORE
-
2. Best Trees Extraction and Contextual Grammars for Language Processing
Abstract : In natural language processing, the syntax of a sentence refers to the words used in the sentence, their grammatical role, and their order. Semantics concerns the concepts represented by the words in the sentence and their relations, i.e., the meaning of the sentence. READ MORE
-
3. Complexity and expressiveness for formal structures in Natural Language Processing
Abstract : The formalized and algorithmic study of human language within the field of Natural Language Processing (NLP) has motivated much theoretical work in the related field of formal languages, in particular the subfields of grammar and automata theory. Motivated and informed by NLP, the papers in this thesis explore the connections between expressibility – that is, the ability for a formal system to define complex sets of objects – and algorithmic complexity – that is, the varying amount of effort required to analyse and utilise such systems. READ MORE
-
4. Type Domains for Abstract Interpretation : A critical study
Abstract : Programming languages with dynamic typing such as Prolog do not require that the programmer declares the types of data or procedures. This flexibility, however, comes at a price. The lack of declarations makes it hard for a compiler to produce fast code since data must be assumed to be of any type. READ MORE
-
5. Hybrid Control of Multi-robot Systems under Complex Temporal Tasks
Abstract : Autonomous robots like household service robots, self-driving cars and dronesare emerging as important parts of our daily lives in the near future. They need tocomprehend and fulfill complex tasks specified by the users with minimal humanintervention. Also they should be able to handle un-modeled changes and contingentevents in the workspace. READ MORE