Sökning: "Interactive algorithm"

Visar resultat 1 - 5 av 67 uppsatser innehållade orden Interactive algorithm.

  1. 1. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  3. 2. Semi-automatic Segmentation & Alignment of Handwritten Historical Text Images with the use of Bayesian Optimisation

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen Vi3

    Författare :Philip MacCormack; [2023]
    Nyckelord :handwritten text recognition; machine learning; bayesian optimisation; image analysis; segmentation; alignment;

    Sammanfattning : To effortlessly digitise historical documents has risen to be of great interest for some time. Part of the digitisation is what is called annotating of the data. Such data annotations are obtained in a process called alignment which links words in an image to the transcript. LÄS MER

  4. 3. A City By No-One

    Uppsats för yrkesexamina på avancerad nivå, KTH/Arkitektur

    Författare :Oscar Hultén; [2023]
    Nyckelord :urban environment interactivity algorithm;

    Sammanfattning : This project is an exploration of methods for generating virtual urban environments, framed in an interactive first-person perspective allowing the user to navigate the architectural design space by walking through a city as it is being generated. The project is developed on a foundation of three primary concepts: 1) A spatial interpretation of parameter sets which are positioned in virtual space, 2) Distance-based interpolation of these parameter sets as a method to govern how the urban environments are generated at different points in space,3) The transformation and merging of basic square grids embedded in positioned parameter sets resulting in a composite grid which functions as the spatial framework of the urban environment. LÄS MER

  5. 4. Automating Root Cause Analysis of Anomalies in Ericsson Wallet Platform using Machine Learning

    Master-uppsats, Blekinge Tekniska Högskola

    Författare :Simron Padhi; Devi Priya Battina; [2023]
    Nyckelord :Anomaly detection; Isolation forest algorithm; K-means algorithm; Local Outlier Factor algorithm; One class Support Vector Machine;

    Sammanfattning : Background: In this era of mobile wallet platforms, to ensure key requirements like high availability and performance, the company must have mechanisms in place to detect anomalies at any given point in time. Ericsson Wallet Platform(EWP), a mobile wallet platform, is facing the problem of manually analyzing all the logs and reports and taking comprehensive action decisions accordingly. LÄS MER

  7. 5. Evaluating the Realism of Aspen Trees Generated by an Interactive Script-based Tool

    Kandidat-uppsats, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Philip Berglund; [2022]
    Nyckelord :Tree-generation; Interactive; Realism; Level of Detail;

    Sammanfattning : Background. The most common method of generating realistic trees is by using a non-interactive and fully automatic algorithm, however, an interactive method can create realistic results as well. LÄS MER