Sökning: "computer and systems science Information and language technology"

Visar resultat 6 - 10 av 125 avhandlingar innehållade orden computer and systems science Information and language technology.

  1. 6. Language-based Approaches to Safe and Efficient Distributed Programming

    Författare :Xin Zhao; Philipp Haller; Roberto Guanciale; Wolfgang De Meuter; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Distributed systems; Type system; Replicated data types; Computer Science; Datalogi;

    Sammanfattning : Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. Strong consistency ensures that all clients observe consistent data updates atomically on all servers in a distributed system, and it is widely used in systems such as relational databases. LÄS MER

  3. 7. 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

  4. 8. CALL of the Wild : Using language technology in the second language classroom

    Författare :Petter Karlström; Robert Ramberg; Teresa Cerratto-Pargman; Philip Hubbard; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Assisted Language Learning; Human-Computer Interaction; Interaction Design; Language Technology; Sociocultural Theory; Computer and systems science; Data- och systemvetenskap; Man-Machine-Interaction MMI ; människa-maskin-interaktion mmi ;

    Sammanfattning : Technology that analyzes written human language displays compelling possibilities for computer assisted language learning (CALL). Applications may be designed to examine second language students’ free text production in order to suggest improvements, draw attention to selected linguistic elements, provide examples from native language use, etc. LÄS MER

  5. 9. Modelling object-oriented dynamic systems using a logic-based framework

    Författare :Choong-ho Yi; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Information Systems;

    Sammanfattning : We observe that object-oriented (OO) formalisms and specification languages are popular and obviously useful, and, in particular, that they are increasingly used even for systems that change over time. At the same time, however, the system specification is not precise enough in these approaches. LÄS MER

  7. 10. Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation

    Författare :Mahder Gebremedhin; Peter Fritzson; Erwin Laure; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Modelling; Simulation; Multi-core; Automatic Parallelization; Clustering; Scheduling; Explicit Parallelization; ParModelica; Task Systems; GPGPU;

    Sammanfattning : The move from single-core processor systems to multi-core and manyprocessor systems comes with the requirement of implementing computations in a way that can utilize these multiple computational units efficiently. This task of writing efficient parallel algorithms will not be possible without improving programming languages and compilers to provide the supporting mechanisms. LÄS MER