Search Results for author:
Found 8 papers, 0 papers with code
Integrating Explanations in Learning LTL Specifications from Demonstrations
This paper investigates whether recent advances in Large Language Models (LLMs) can assist in translating human explanations into a format that can robustly support learning Linear Temporal Logic (LTL) from demonstrations.
CLiSA: A Hierarchical Hybrid Transformer Model using Orthogonal Cross Attention for Satellite Image Cloud Segmentation
Clouds in optical satellite images are a major concern since their presence hinders the ability to carry accurate analysis as well as processing.
SIRAN: Sinkhorn Distance Regularized Adversarial Network for DEM Super-resolution using Discriminative Spatial Self-attention
Digital Elevation Model (DEM) is an essential aspect in the remote sensing domain to analyze and explore different applications related to surface elevation information.
iPAL: A Machine Learning Based Smart Healthcare Framework For Automatic Diagnosis Of Attention Deficit/Hyperactivity Disorder (ADHD)
In this work, multiclass classification is performed on phenotypic data using an SVM model.
Two-Pass End-to-End ASR Model Compression
With the use of popular transducer-based models, it has become possible to practically deploy streaming speech recognition models on small devices [1].
Image Denoising in FPGA using Generic Risk Estimation
In this paper, we discuss an efficient FPGA implementation of this algorithm.
Efficient and Generic Interactive Segmentation Framework to Correct Mispredictions during Clinical Evaluation of Medical Images
We report a time saving of 2. 8, 3. 0, 1. 9, 4. 4, and 8. 6 fold compared to other interactive segmentation techniques.
Synthesis for Vesicle Traffic Systems
Many synthesis questions may arise in this scenario, where we want to complete a partially known VTS under a given property.
