Sökning: "Automated Programming"

Visar resultat 11 - 15 av 161 uppsatser innehållade orden Automated Programming.

  1. 11. Does Rust SPARK joy? : Recommendations for safe cross-language bindings between Rust and SPARK

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

    Författare :Aïssata Maiga; [2023]
    Nyckelord :Rust; Ada; SPARK; Foreign Function Interface FFI ; memory safety; type safety; ownership; Rust; Ada; SPARK; Gränssnitt för främmande funktioner FFI ; minnessäkerhet; typsäkerhet; ägarskap;

    Sammanfattning : This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. LÄS MER

  3. 12. Automated Image Pre-Processing for Optimized Text Extraction Using Reinforcement Learning and Genetic Algorithms

    Kandidat-uppsats,

    Författare :Rahmat Rohoullah; Månsson Joakim; [2023]
    Nyckelord :BRISK; YOLO; Reinforcement learning; Evolutionary algorithm; OCR; Image pre-processing; Computer vision; BRISK; YOLO; Förstärkningslärning; Evolutionär algorithm; OCR; Bildförbehandling; Datorseende;

    Sammanfattning : This project aims to develop an automated image pre-processing chain to extract valuable information from appliance labels before recycling. The primary goal is to improve optical character recognition accuracy by addressing noise issues using reinforcement learning and an evolutionary algorithm. LÄS MER

  4. 13. Live captioning and translation application for Android

    Uppsats för yrkesexamina på grundnivå, Umeå universitet/Institutionen för tillämpad fysik och elektronik

    Författare :Joel Hansson; [2023]
    Nyckelord :;

    Sammanfattning : Captioning has long been used in media to help D/deaf and hard-of-hearing persons. Captioning however is difficult and time-consuming manual work. With the rapid evolution of automated speech recognition (ASR) systems, live captioning of everyday speech will soon be a practical reality. LÄS MER

  5. 14. Mixed reality for assembly processes, programming and guiding

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för ingenjörsvetenskap

    Författare :Borja Peirotén López de Arbina; Elisabeth María Romero Luque; [2023]
    Nyckelord :Mixed reality; unity; Hololens 2; Robot Studio; Vuforia Engine; ABB Collaborative GoFa; Assembly process; TCP IP communication; robot programming; multitasking; QR codes; object recognition;

    Sammanfattning : Assembly processes are an integral part of many industries, including manufacturing and production. These processes typically involve the use of robots and automated equipment to perform tasks such as picking, placing, and joining components. LÄS MER

  7. 15. Compiler Testing by Random Source Code Generation

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Victor Löfgren; [2023]
    Nyckelord :Compiler testing; random testing; fuzz testing; random program generation; automated testing;

    Sammanfattning : Most software projects today are written using programming languages. Compilers in turn translate programs written in these higher level languages into machine code, executable on actual hardware. Ensuring that these compilers function correctly is therefore paramount. LÄS MER