Sökning: "module inference"

Visar resultat 1 - 5 av 16 uppsatser innehållade orden module inference.

1. 1. Approximating Reasoning with Transformer Language Models

   Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Daniel Enström; Viktor Kjellberg; [2023-10-19]
   Nyckelord :natural language processing; nlp; automated reasoning; logic; inference; machine learning; transformers; language models; BERT; BART;

   Sammanfattning : We conduct experiments with BART, a generative language-model architecture, to investigate its capabilities for approximating reasoning by learning from data. For this we use the SimpleLogic dataset, a dataset of satisfiability problems in propositional logic originally created by Zhang et al. (2022). LÄS MER

3. 2. Deep Learning Model Deployment for Spaceborne Reconfigurable Hardware : A flexible acceleration approach

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

   Författare :Javier Ferre Martin; [2023]
   Nyckelord :Space Situational Awareness; Deep Learning; Convolutional Neural Networks; FieldProgrammable Gate Arrays; System-On-Chip; Computer Vision; Dynamic Partial Reconfiguration; High-Level Synthesis; Rymdsituationstänksamhet; Djupinlärning; Konvolutionsnätverk; Omkonfigurerbara Field-Programmable Gate Arrays FPGAs ; System-On-Chip SoC ; Datorseende; Dynamisk partiell omkonfigurering; Högnivåsyntes.;

   Sammanfattning : Space debris and space situational awareness (SSA) have become growing concerns for national security and the sustainability of space operations, where timely detection and tracking of space objects is critical in preventing collision events. Traditional computer-vision algorithms have been used extensively to solve detection and tracking problems in flight, but recently deep learning approaches have seen widespread adoption in non-space related applications for their high accuracy. LÄS MER

4. 3. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

   Författare :Hovig Manjikian; [2023]
   Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

   Sammanfattning : 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. LÄS MER

5. 4. Enhancing person re-identification: leveraging DensePose for improving occlusion handling and generalization

   Master-uppsats, Lunds universitet/Matematik LTH

   Författare :Björn Elwin; Anton Fredriksson; [2023]
   Nyckelord :Mathematics and Statistics;

   Sammanfattning : In this master’s thesis we propose a DensePose-based person re-identification (re-ID) machine learning algorithm building upon previous research on this topic. DensePose, a deep neural network that performs human body part segmentation on images, forms the foundation of our approach. LÄS MER

7. 5. Anomalous Behavior Detection in Aircraft based Automatic Dependent Surveillance–Broadcast (ADS-B) system using Deep Graph Convolution and Generative model (GA-GAN)

   Magister-uppsats, Linköpings universitet/Databas och informationsteknik

   Författare :Jayesh Kenaudekar; [2022]
   Nyckelord :Intrusion detection aircraft aviation security adsb protocol AI deep learning machine learning graph generative model surveillance broadcast;

   Sammanfattning : The Automatic Dependent Surveillance-Broadcast (ADS-B) is a key component of the Next Generation Air Transportation System (Next Gen) that manages the increasingly congested airspace and operation. From Jan 2020, the U.S. Federal Aviation Administration (FAA) mandated the use of (ADS-B) as a key component of Next Gen project. LÄS MER