Manish Pandey

According to our database, Manish Pandey authored at least 29 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Exploring generative frameworks for product attribute value extraction.

Kalyani Roy, Pawan Goyal, Manish Pandey

Expert Syst. Appl., 2024

FuncMem: Reducing Cold Start Latency in Serverless Computing Through Memory Prediction and Adaptive Task Execution.

Manish Pandey, Young-Woo Kwon

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Privacy-Preserving Location-Based Services: A DQN Algorithmic Perspective.

Manish Pandey, Harkeerat Kaur, Sudipta Basak, Isao Echizen

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Mental Health Monitoring Using Deep Learning Technique for Early-Stage Depression Detection.

Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey

SN Comput. Sci., November, 2023

Hybrid Xception transfer learning with crossover optimized kernel extreme learning machine for accurate plant leaf disease detection.

Santosh Kumar Sahu, Manish Pandey

Soft Comput., October, 2023

Subject wise data augmentation based on balancing factor for quaternary emotion recognition through hybrid deep learning model.

Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey

Biomed. Signal Process. Control., September, 2023

Quaternary classification of emotions based on electroencephalogram signals using hybrid deep learning model.

Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey

J. Ambient Intell. Humaniz. Comput., March, 2023

An optimal hybrid multiclass SVM for plant leaf disease detection using spatial Fuzzy C-Means model.

Santosh Kumar Sahu, Manish Pandey

Expert Syst. Appl., 2023

Parallel Global Best-Worst Particle Swarm Optimization Algorithm for solving optimization problems.

Lalit Kumar, Manish Pandey, Mitul Kumar Ahirwal

Appl. Soft Comput., 2023

Assessment of groundwater potential modeling using support vector machine optimization based on Bayesian multi-objective hyperparameter algorithm.

Duong Tran Anh, Manish Pandey, Varun Narayan Mishra, Kiran Kumari Singh, Kourosh Ahmadi, Saeid Janizadeh, Thanh-Hai Tran, Nguyen Thi Thuy Linh, Nguyen Mai Dang

Appl. Soft Comput., 2023

Optimizing Memory Allocation in a Serverless Architecture through Function Scheduling.

Manish Pandey, Young-Woo Kwon

Proceedings of the 23rd IEEE/ACM International Symposium on Cluster, 2023

2021

Flash-Flood Potential Mapping Using Deep Learning, Alternating Decision Trees and Data Provided by Remote Sensing Sensors.

Romulus Costache, Alireza Arabameri, Thomas Blaschke, Quoc Bao Pham, Binh Thai Pham, Manish Pandey, Aman Arora, Nguyen Thi Thuy Linh, Iulia Costache

Sensors, 2021

Here, There, Anywhere: Profiling-Driven Services to Tame the Heterogeneity of Edge Applications.

Manish Pandey, Breno Dantas Cruz, Minh Le, Young-Woo Kwon, Eli Tilevich

Proceedings of the IEEE International Conference on Smart Data Services, 2021

An earthquake alert system based on a collaborative approach using smart devices.

Irshad Khan, Manish Pandey, Young-Woo Kwon

Proceedings of the 8th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2021

2020

Case Fatality Rate, Attack Rate Data of COVID-19.

Manish Pandey

Dataset, July, 2020

Revisiting the Open-Domain Question Answering Pipeline.

Sina J. Semnani, Manish Pandey

CoRR, 2020

ML for CAD - Where is the Treasure Hiding?

Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv

Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

2019

Multi-objective Optimisation of Dynamic Responses for a Rail Freight Wagon using Regression Models.

Manish Pandey, Rituparna Datta, Rajarshi Dey, Bishakh Bhattacharya

Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

2018

Machine learning and systems for building the next generation of EDA tools.

Manish Pandey

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017

Remote sensing and GIS based watershed prioritization.

Manish Pandey, P. K. Sharma

Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

2016

Machine learning and systems for the next frontier in formal verification.

Manish Pandey

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2003

Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems.

Li-C. Wang, Tao Feng, Kwang-Ting (Tim) Cheng, Magdy S. Abadir, Manish Pandey

Des. Autom. Embed. Syst., 2003

Enhanced symbolic simulation for efficient verification of embedded array systems.

Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Manish Pandey, Magdy S. Abadir

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

1999

Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation.

Manish Pandey, Randal E. Bryant

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

1997

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation.

Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir

Proceedings of the 34st Conference on Design Automation, 1997

Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation.

Manish Pandey, Randal E. Bryant

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

PowerPC^TM Array Verification Methodology using Formal Techniques.

Neeta Ganguly, Magdy S. Abadir, Manish Pandey

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation.

Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant

Proceedings of the 33st Conference on Design Automation, 1996

1995

Extraction of finite state machines from transistor netlists by symbolic simulation.

Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995