Ashutosh Gupta

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
iPAL: A Machine Learning Based Smart Healthcare Framework for Automatic Diagnosis of Attention Deficit/Hyperactivity Disorder.
SN Comput. Sci., April, 2024

Comparative study of different machine learning models for automatic diabetic retinopathy detection using fundus image.
Multim. Tools Appl., April, 2024

TRANS-VQA: Fully Transformer-Based Image Question-Answering Model Using Question-guided Vision Attention.
Inteligencia Artif., January, 2024

2023
Design of knowledge incorporated VQA based on spatial GCNN with structured sentence embedding and linking algorithm.
J. Intell. Fuzzy Syst., December, 2023

Numerical Methodology to Reduce the Drag and Control Flow around a Cam-Shaped Cylinder Integrated with Backward Splitter Plate.
Comput., October, 2023

ScribbleNet: Efficient interactive annotation of urban city scenes for semantic segmentation.
Pattern Recognit., 2023

CLiSA: A Hierarchical Hybrid Transformer Model using Orthogonal Cross Attention for Satellite Image Cloud Segmentation.
CoRR, 2023

SIRAN: Sinkhorn Distance Regularized Adversarial Network for DEM Super-resolution using Discriminative Spatial Self-attention.
CoRR, 2023

iPAL: A Machine Learning Based Smart Healthcare Framework For Automatic Diagnosis Of Attention Deficit/Hyperactivity Disorder (ADHD).
CoRR, 2023

Optimal Stateless Model Checking for Causal Consistency.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Towards Automated Void Detection for Search and Rescue with 3D Perception.
IROS, 2023

A Curvature and Trajectory Optimization-based 3D Surface Reconstruction Pipeline for Ultrasound Trajectory Generation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Optimized hybrid machine learning approach for smartphone based diabetic retinopathy detection.
Multim. Tools Appl., 2022

Optimal SMC for Transactional Programs.
CoRR, 2022

2021
Portable Smart Healthcare Approach for Earlier Stage Eye Tests for Diabetic Retinopathy Detection.
Int. J. Inf. Retr. Res., 2021

Quantitative Learning of LTL from Finite Traces.
CoRR, 2021

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.
Acta Informatica, 2021

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Efficient and Generic Interactive Segmentation Framework to Correct Mispredictions During Clinical Evaluation of Medical Images.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 - 24th International Conference, Strasbourg, France, September 27, 2021

Neural Utterance Confidence Measure for RNN-Transducers and Two Pass Models.
Proceedings of the IEEE International Conference on Acoustics, 2021

Automated Inference of Production Rules for Glycans.
Proceedings of the Computational Methods in Systems Biology, 2021

Comparative Study of Different Tokenization Strategies for Streaming End-to-End ASR.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

Voice to Action: Spoken Language Understanding for Memory-Constrained Systems.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

HiTNet: Byte-to-BPE Hierarchical Transcription Network for End-to-End Speech Recognition.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

Two-Pass End-to-End ASR Model Compression.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

2020
Using Blockchain Technology for Continuing Medical Education Credits System.
Proceedings of the 2020 Seventh International Conference on Software Defined Systems, 2020

Hierarchical Multi-Stage Word-to-Grapheme Named Entity Corrector for Automatic Speech Recognition.
Proceedings of the Interspeech 2020, 2020

Robust Controller Synthesis for Duration Calculus.
Proceedings of the Automated Technology for Verification and Analysis, 2020

Tokenization of Real Estate Using Blockchain Technology.
Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019
Trend-Based Networking Driven by Big Data Telemetry for SDN and Traditional Networks.
CoRR, 2019

2018
SMT Solving for Vesicle Traffic Systems in Cells.
CoRR, 2018

High Performance Layout Analysis of Medieval European Document Images.
Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, 2018

Synthesis for Vesicle Traffic Systems.
Proceedings of the Computational Methods in Systems Biology, 2018

2017
Betweenness centrality updation and community detection in streaming graphs using incremental algorithm.
Proceedings of the 6th International Conference on Software and Computer Applications, 2017

2016
A distribution-independent risk estimator for image denoising.
Proceedings of the Tenth Indian Conference on Computer Vision, 2016

How much can a Gaussian smoother denoise?
Proceedings of the Tenth Indian Conference on Computer Vision, 2016

2015
A coupled-cluster study on the noble gas binding ability of metal cyanides versus metal halides (metal = Cu, Ag, Au).
J. Comput. Chem., 2015

2014
Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining.
CoRR, 2014

Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Extensional Crisis and Proving Identity.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Real-Time Analytics for the Healthcare Industry: Arrhythmia Detection.
Big Data, 2013

Tree Interpolation in Vampire.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Synthesizing multiple boolean functions using interpolation on a single proof.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Ultra low power device to track environmental sensitive items in transit.
Proceedings of the 2012 International Conference on Advances in Computing, 2012

Improved Single Pass Algorithms for Resolution Proof Reduction.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2009
Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame.
Proceedings of the Contemporary Computing - Second International Conference, 2009

2008
Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation.
Reliab. Eng. Syst. Saf., 2008


  Loading...