Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and... more

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and... more

Applicable to any problem that requires a finite number of solutions, finite state-based models (als... more

Applicable to any problem that requires a finite number of solutions, finite state-based models (als... more

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilizat... more

This book presents selected research papers on current developments in the fields of soft computing ... more

Data Preprocessing and finding optimal value of K for KNN Model.- Prediction of Cardiac Diseases usi... more

Chapter 1. Artificial Intelligence with New Approach of Concrete Ingredients changing in the Exact p... more

FSBRS: Framework for Sketch-based Retrieval System of the Color Images.- Music/Non-Music Discriminat... more

Word2Vec and Evolutionary Computing driven Hybrid Deep Learning based Sentiment Analysis.- Online In... more