Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2024
iPAL: A Machine Learning Based Smart Healthcare Framework for Automatic Diagnosis of Attention Deficit/Hyperactivity Disorder
AbstractADHD is a prevalent disorder among the younger population. Standard evaluation techniques currently use evaluation forms, interviews with the patient, and more. However, its symptoms are similar to those of many other disorders like depression, ...
- ArticleOctober 2023
Using Counterexamples to Improve Robustness Verification in Neural Networks
Automated Technology for Verification and AnalysisOct 2023, Pages 422–443https://doi.org/10.1007/978-3-031-45329-8_20AbstractGiven the pervasive use of neural networks in safety-critical systems it is important to ensure that they are robust. Recent research has focused on the question of verifying whether networks do not alter their behavior under small perturbations ...
- posterMay 2023
LTL-Based Non-Markovian Inverse Reinforcement Learning
AAMAS '23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent SystemsMay 2023, Pages 2857–2859The successes of reinforcement learning in recent years are underpinned by the characterization of suitable reward functions. However, in settings where such rewards are non-intuitive, difficult to define, or otherwise error-prone in their definition, it ...
- research-articleFebruary 2023
Correct-by-construction reinforcement learning of cardiac pacemakers from duration calculus requirements
AAAI'23/IAAI'23/EAAI'23: Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial IntelligenceFebruary 2023, Article No.: 1659, Pages 14792–14800https://doi.org/10.1609/aaai.v37i12.26728As the complexity of artificial pacemakers continues to grow, the importance of capturing its functional correctness requirement formally cannot be overestimated. The pacemaker system specification document by Boston Scientific provides a widely accepted ...
-
- research-articleDecember 2023
Design of knowledge incorporated VQA based on spatial GCNN with structured sentence embedding and linking algorithm
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology (JIFS), Volume 45, Issue 62023, Pages 10835–10852https://doi.org/10.3233/JIFS-230198Visual question Answering (VQA) is a computer vision task that requires a system to infer an answer to a text-based question about an image. Prior approaches did not take into account an image’s positional information or the questions’ grammatical and ...
- research-articleJanuary 2023
ScribbleNet: Efficient interactive annotation of urban city scenes for semantic segmentation
AbstractAnnotation is a crucial first step in the semantic segmentation of urban images that facilitates the development of autonomous navigation systems. However, annotating complex urban images is time-consuming and challenging. It requires ...
- research-articleOctober 2022
Full-program induction: verifying array programs sans loop invariants
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 24, Issue 5Oct 2022, Pages 843–888https://doi.org/10.1007/s10009-022-00676-wAbstractArrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that manipulate arrays is challenging. We present a novel verification technique, called full-program ...
- research-articleApril 2022
Optimized hybrid machine learning approach for smartphone based diabetic retinopathy detection
Multimedia Tools and Applications (MTAA), Volume 81, Issue 10Apr 2022, Pages 14475–14501https://doi.org/10.1007/s11042-022-12103-yAbstractDiabetic Retinopathy (DR) is defined as the Diabetes Mellitus difficulty that harms the blood vessels in the retina. It is also known as a silent disease and cause mild vision issues or no symptoms. In order to enhance the chances of effective ...
- ArticleSeptember 2021
Efficient and Generic Interactive Segmentation Framework to Correct Mispredictions During Clinical Evaluation of Medical Images
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021Sep 2021, Pages 625–635https://doi.org/10.1007/978-3-030-87196-3_58AbstractSemantic segmentation of medical images is an essential first step in computer-aided diagnosis systems for many applications. However, given many disparate imaging modalities and inherent variations in the patient data, it is difficult to ...
- ArticleSeptember 2021
Automated Inference of Production Rules for Glycans
Computational Methods in Systems BiologySep 2021, Pages 57–73https://doi.org/10.1007/978-3-030-85633-5_4AbstractGlycans are tree-like polymers made up of sugar monomer building blocks. They are found on the surface of all living cells, and distinct glycan trees act as identity markers for distinct cell types. Proteins called GTase enzymes assemble glycans ...
- ArticleJuly 2021
Diffy: Inductive Reasoning of Array Programs Using Difference Invariants
AbstractWe present a novel verification technique to prove properties of a class of array programs with a symbolic parameter N denoting the size of arrays. The technique relies on constructing two slightly different versions of the same program. It infers ...
- ArticleOctober 2020
Tokenization of Real Estate Using Blockchain Technology
Applied Cryptography and Network Security WorkshopsOct 2020, Pages 77–90https://doi.org/10.1007/978-3-030-61638-0_5AbstractReal estate is by far one of the most trusted investments that people have preferred, being a lucrative investment it provides a steady source of income in the form of lease and rents. Although there are numerous advantages, one of the key ...
- ArticleOctober 2020
Robust Controller Synthesis for Duration Calculus
Automated Technology for Verification and AnalysisOct 2020, Pages 429–446https://doi.org/10.1007/978-3-030-59152-6_24AbstractIn automatic control synthesis, we may need to handle specifications with timing constraints and control such that the system meets the specification as much as possible, which is called robust control. In this paper, we present a method for open ...
- research-articleOctober 2020
A new position based routing algorithm for vehicular ad hoc networks
Telecommunications Systems (TESY), Volume 75, Issue 2Oct 2020, Pages 205–220https://doi.org/10.1007/s11235-015-0130-6AbstractThe main requirement to make safer journey in VANET environment is minimum delay with high packet delivery rate. This ensures that all data packets are received with minimal delay to prevent any accident. This paper presents a new algorithm for ...
- ArticleApril 2020
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
- Mohammad Afzal,
- Supratik Chakraborty,
- Avriti Chauhan,
- Bharti Chimdyalwar,
- Priyanka Darke,
- Ashutosh Gupta,
- Shrawan Kumar,
- Charles Babu M,
- Divyesh Unadkat,
- R Venkatesh
Tools and Algorithms for the Construction and Analysis of SystemsApr 2020, Pages 383–387https://doi.org/10.1007/978-3-030-45237-7_25AbstractVeriAbs is a strategy selection based reachability verifier for C code. It analyzes the structure of loops, and intervals of inputs to choose one of the four verification strategies implemented in VeriAbs. In this paper, we present VeriAbs version ...
- ArticleApril 2020
Verifying Array Manipulating Programs with Full-Program Induction
Tools and Algorithms for the Construction and Analysis of SystemsApr 2020, Pages 22–39https://doi.org/10.1007/978-3-030-45190-5_2AbstractWe present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. Instead of inducting over individual loops, our technique inducts ...
- research-articleFebruary 2017
Betweenness centrality updation and community detection in streaming graphs using incremental algorithm
ICSCA '17: Proceedings of the 6th International Conference on Software and Computer ApplicationsFebruary 2017, Pages 159–164https://doi.org/10.1145/3056662.3056673Centrality measures have perpetually been helpful to find the foremost central or most powerful node within the network. There are numerous strategies to compute centrality of a node however in social networks betweenness centrality is the most widely ...
- research-articleDecember 2016
How much can a Gaussian smoother denoise?
ICVGIP '16: Proceedings of the Tenth Indian Conference on Computer Vision, Graphics and Image ProcessingDecember 2016, Article No.: 7, Pages 1–8https://doi.org/10.1145/3009977.3010027Recently, a suite of increasingly sophisticated methods have been developed to suppress additive noise from images. Most of these methods take advantage of sparsity of the underlying signal in a specific transform domain to achieve good visual or ...
- research-articleDecember 2016
A distribution-independent risk estimator for image denoising
ICVGIP '16: Proceedings of the Tenth Indian Conference on Computer Vision, Graphics and Image ProcessingDecember 2016, Article No.: 52, Pages 1–8https://doi.org/10.1145/3009977.3010025We address the problem of image denoising for an additive white noise model without placing any restrictions on the statistical distribution of noise. We assume knowledge of only the first- and second-order noise statistics. In the recent mean-square ...