Essays about: "Interactive algorithm"

Showing result 1 - 5 of 58 essays containing the words Interactive algorithm.

  1. 1. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Avdelningen Vi3

    Author : Philip MacCormack; [2023]
    Keywords : handwritten text recognition; machine learning; bayesian optimisation; image analysis; segmentation; alignment;

    Abstract : 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. READ MORE

  4. 3. A City By No-One

    University essay from KTH/Arkitektur

    Author : Oscar Hultén; [2023]
    Keywords : urban environment interactivity algorithm;

    Abstract : 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. READ MORE

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

    University essay from Blekinge Tekniska Högskola

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

    Abstract : 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. READ MORE

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

    University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Author : Philip Berglund; [2022]
    Keywords : Tree-generation; Interactive; Realism; Level of Detail;

    Abstract : 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. READ MORE