Sökning: "domain representations"

Visar resultat 1 - 5 av 103 avhandlingar innehållade orden domain representations.

1. 1. Effective Domains and Admissible Domain Representations

   Författare :Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; Mathematics; Matematik; Mathematical logic;

   Sammanfattning : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. LÄS MER

3. 2. Representations of discourse : cognitive and computational aspects

   Författare :Nils Dahlbäck; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; INTERDISCIPLINARY RESEARCH AREAS; TVÄRVETENSKAPLIGA FORSKNINGSOMRÅDEN;

   Sammanfattning : This work is concerned with empirical studies of cognitive and computational aspects of discourse representations. A more specific aim is to contribute to the development of natural language interfaces for interaction with computers, especially the development of representations making possible a continuous interactive dialogue between user and system. LÄS MER

4. 3. Effective Distribution Theory

   Författare :Fredrik Dahlgren; Viggo Stoltenberg-Hansen; Dag Normann; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; Mathematical logic; Matematisk logik;

   Sammanfattning : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. LÄS MER

5. 4. Word Representations for Emergent Communication and Natural Language Processing

   Författare :Mikael Kågebäck; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Extractive summarisation; Emergent communication; Deep reinforcement learning; Natural language processing; Word Representations; Deep learning; Machine learning; Artificial neural networks;

   Sammanfattning : The task of listing all semantic properties of a single word might seem manageable at first but as you unravel all the context dependent subtle variations in meaning that a word can encompass, you soon realize that precise mathematical definition of a word’s semantics is extremely difficult. In analogy, humans have no problem identifying their favorite pet in an image but the task of precisely defining how, is still beyond our capabilities. LÄS MER

7. 5. Structured Representations for Explainable Deep Learning

   Författare :Federico Baldassarre; Hossein Azizpour; Josephine Sullivan; Kevin Smith; Hamed Pirsiavash; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Explainable AI; Deep Learning; Self-supervised Learning; Transformers; Graph Networks; Computer Vision; Explainable AI; Deep Learning; Self-supervised Learning; Transformers; Graph Networks; Computer Vision; Datalogi; Computer Science;

   Sammanfattning : Deep learning has revolutionized scientific research and is being used to take decisions in increasingly complex scenarios. With growing power comes a growing demand for transparency and interpretability. The field of Explainable AI aims to provide explanations for the predictions of AI systems. LÄS MER