Sökning: "Verification Neural Networks"

Visar resultat 1 - 5 av 30 uppsatser innehållade orden Verification Neural Networks.

  1. 1. Testing and Integration of Machine Learning Components for Image Classification : Testning och integration av machine learning komponenter förbildklassificering

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Ahmad Hanash; [2023]
    Nyckelord :MLOps; Safety; Testing; Robustness; Integration; Verification;

    Sammanfattning : As ML (Machine Learning) and deep neural networks get more used in many systems,the need to understand and test such systems becomes more actual. When designing a newsystem that contains ML models, the safety of this system becomes inevitably important. LÄS MER

  3. 2. System Integration and Verification Verdict Automation using Machine Learning

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

    Författare :Anthony Kommareddy; [2023]
    Nyckelord :Error Detection; Machine Learning; Deep Learning; Log Files; Verdicts.;

    Sammanfattning : Context: The volume of log files is massive as they contain vital information about the application’s behavior; they map out broad parts of the application, allowing us to understand how every component behaves, whether normally or abnormally. As a result, it is critical to examine the log files to see if the system is deviating from its usual path. LÄS MER

  4. 3. Investigating Machine Learning for verification of AMBA APB protocol.

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Abhiram Srisai Kishore; Mohammed Wasim; [2022]
    Nyckelord :Machine learning; SOC Verification; AMBA; Neural Networks; Deep Learning; Assertions.; Technology and Engineering;

    Sammanfattning : It is a well-known fact that in any Application Specific Integrated Circuit (ASIC) design, verification consumes most time and resources. And when it comes to huge designs, finding bugs can be tedious given the area and the complexity. As per Moore’s law, the design complexity is increasing exponentially due to the growing demand for performance. LÄS MER

  5. 4. Scenario Generation For Vehicles Using Deep Learning

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

    Författare :Jay Patel; [2022]
    Nyckelord :Scenario generation; Mixture Density Network; Gaussian Mixture Model; Autonomous driving; Semantic Graph Network; Scenariogenerering; Mixture Density Network; Gaussian Mixture Model; Autonom körning; Semantic Graph Network;

    Sammanfattning : In autonomous driving, scenario generation can play a critical role when it comes to the verification of the autonomous driving software. Since uncertainty is a major component in driving, there cannot be just one right answer to a prediction for the trajectory or the behaviour, and it becomes important to account for and model that uncertainty. LÄS MER

  7. 5. Speaker verification: Advantages and limitations of a biologically inspired feature extractor

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Maja Gajic; [2022]
    Nyckelord :Speaker verification; artificial neural network; ANN; feature extractor; Technology and Engineering;

    Sammanfattning : Speaker verification is the process of verifying the identity of a person based on voice. This process usually encompasses the following steps: The speech signal is mapped into features using a feature extractor, these features are then classified using a post processor. LÄS MER