Sökning: "sequence correctness"

Visar resultat 1 - 5 av 7 uppsatser innehållade orden sequence correctness.

  1. 1. Attention based Knowledge Tracing in a language learning setting

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Sebastiaan Vergunst; [2022]
    Nyckelord :Knowledge Tracing; Exercise Recommendation; Personalised Learning; Recurrent Neural Network; Attention; Self-Attention; Exercise Embedding; Kunskapsspårning; Övningsrekommendation; Personligt Anpassad Inlärning; Rekurrenta Neurala Nätverk; Uppmärksamhet; Självuppmärksamhet; Övningsembedding;

    Sammanfattning : Knowledge Tracing aims to predict future performance of users of learning platforms based on historical data, by modeling their knowledge state. In this task, the target is a binary variable representing the correctness of the exercise, where an exercise is a word uttered by the user. LÄS MER

  3. 2. Automating Question Generation Given the Correct Answer

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Haoliang Cao; [2020]
    Nyckelord :Natural Language Processing; NLP; Natural Language Generation; NLG; Question Generation; Naturligtspråkbehandling; Naturligtspråkgenerering; Frågegenerering;

    Sammanfattning : In this thesis, we propose an end-to-end deep learning model for a question generation task. Given a Wikipedia article written in English and a segment of text appearing in the article, the model can generate a simple question whose answer is the given text segment. The model is based on an encoder-decoder architecture. LÄS MER

  4. 3. A contract language for modular specification and verification of temporal properties

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Lars Hummelgren; [2020]
    Nyckelord :;

    Sammanfattning : Deductive software verification is used to prove correctness of programs with respect to contracts. Contracts are commonly expressed on procedures of a program using Hoare logic. LÄS MER

  5. 4. A Model for Evaluating the Effectiveness of an Undergraduate Curriculum in Teaching Software Code Quality

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Paromita Banik; [2020]
    Nyckelord :software code; code characteristics; code quality; undergraduate curriculum; mjukvarukod; kodegenskaper; kodkvalitet; grundutbildning;

    Sammanfattning : Developers build an entire software by writing quality code, the failure of which can risk organizational reputation, financial wellbeing, and even the lives and security of people. The ability to develop high quality code is therefore a key learning goal of foundational undergraduate computing programmes. LÄS MER

  7. 5. "Just-in-sequence": Uppföljning och planering för förbättring av sekvensleveranser : En fallstudie vid Scania Ferruform AB

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för ekonomi, teknik och samhälle

    Författare :Pernilla Olsson; [2018]
    Nyckelord :Just-in-sequence; sequence; sequence correctness; follow-up; planning; Just-in-sequence; sekvens; sekvensriktighet; uppföljning; planering;

    Sammanfattning : En stor del av fordonsindustrin tillverkar mot order och använder sig av modulsystem för att effektivt kunna anpassa produkterna efter varierande kundbehov. Ett ökat antal varianter av moduler har bidragit till utvecklingen av just-in-sequence (JIS), ett koncept som har vidareutvecklats från just-in-time och ställer krav på att leveranser sker vid rätt tidpunkt, i rätt mängd, av rätt kvalitet och dessutom i en förbestämd sekvens. LÄS MER