Essays about: "Hovig Manjikian"

Found 2 essays containing the words Hovig Manjikian.

  1. 1. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

  3. 2. Training a Neural Network using Synthetically Generated Data

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Fredrik Diffner; Hovig Manjikian; [2020]
    Keywords : Synthetic data set; Generating synthetic data set; Machine learning; Deep Learning; Convolutional Neural Networks; Machine learning model; Character recognition in natural images; Char74k; ICDAR2003.; Syntetiskt dataset; Generera syntetiskt data; Maskininlärning; Maskininlärningsmodell; Djuplärning; Konvolutionära neurala nätverk; teckenigenkänning i bilder; Char74k; ICDAR2003;

    Abstract : A major challenge in training machine learning models is the gathering and labeling of a sufficiently large training data set. A common solution is the use of synthetically generated data set to expand or replace a real data set. READ MORE