yusuke1997/dblp-id-title huggingface dataset:
An Efficient Rule-Based Classification of Diabetes Using ID3, C4.5, & CART Ensembles
A New Technique for Reducing the Segmentation Error of Left Ventricle Contours using Magnetic Resonance Images
FIG based Quality Assurance in Software Product Lines
Towards a Process Model for Service-Oriented Development of Embedded Software Systems
Exact Feedback Linearization (EFL) and De-Couple Control of Doubly Fed Induction Generator Based Wind Turbine
Efficient resource utilization of FPGAs
Comparative Study of Discretization Methods on the Performance of Associative Classifiers
Credit Card Fraud Detection Using Deep Neural Network with Shapley Additive Explanations
Control of Grid Interfaced Doubly Fed Induction Generator (DFIG) Using Adaptive SMC Improved with LVRT Enhancement
Boosting the Accuracy of AdaBoost for Object Detection and Recognition
Analyzing the Impact of MFCC and LDA for the Development of Isolated Pashto Spoken Numbers ASR
Poshida II, a Multi Group Distributed Peer to Peer Protocol for Private Web Search
Coin Recognition with Reduced Feature Set SIFT Algorithm Using Neural Network
Secure Solution to Data Transfer from Sensor Node to Sink against Aggregator Compromises
Development of a Machine Learning Model for Prediction of Colour Trends in Fashion Industry
Plant Disease Identification and Classification Using Convolutional Neural Network and SVM
Integration of Mean-Shift and Particle Filter: A Survey
Design and Analysis of Pyramidal Conformal Antenna with Circular Sub-arrays Mounted on a Moving Platform
secCloudSim: Secure Cloud Simulator
Process Mining Influence on Requirement Elicitation for Machine Learning
Optimal Scenario Mining for Business Strategy Decision-making through Process Mining
An Ultra Low Power, 3-Wire Serial Interface Design for Data Converters in Pin-Constrainted Applications with 180 nm CMOS Technology
Three-Dimensional Stabilized Mixed Galerkin Method for Darcy Flow
Hyper Metamorphism: Hyper Secure and Trustworthy 5G Networks using Blockchain with IoT
A Systematic Review on Software Measurement Programs
Analyzing Excessive user Feedback: A Big Data Challenge
AWGN and Rayleigh channels response for turbo codes and iterative decoding
Design and Development of RISC-V Based Virtual Cluster using QEMU Simulator
On Robust Approaches to the Semidefinite Relaxation Detector
Dynamic load balancing through backup relay in Bluetooth scatternet
Server Based Task Allocation to Reduce Inter-Task Memory Interference in Multicore Systems
AI-Based Hand Gesture Recognition Through Camera on Robot
Unsupervised Event Detection and On-Off Pairing Approach Applied to NILM
A novel NeuroEvolutionary algorithm: Cartesian genetic programming evolved artificial neural network (CGPANN)
An IDMA Aided Superposition Coding Scheme for Multi-source Cooperation
Coverage Path Planning of Mobile Robots Using Rational Quadratic Bézier Spline
Content Centric Networking Approach in Cognitive Radio Ad Hoc Networks
DCF: Dynamic Content Fetching in NDN based UWSN
Development of a Low Cost and Light Weight UAV for Photogrammetry and Precision Land Mapping Using Aerial Imagery
An Efficient Scheme for Intra Prediction Block Size and Mode Selection in Advanced Video Coding
Handwritten Hindko Text Recognition Using Deep Neural Network
ERBFNN Based Electricity Load and Price Forecasting
Web Server Integrity Protection Using Blockchain
An Automated Deep Learning based Ensemble Approach for Malignant Melanoma Detection using Dermoscopy Images
Packet Handling and Quality Shaping for Real-Time Services in Futuristic Internet
Design and Implementation of Receiver Autonomous Integrity Monitoring Algorithm on DSP for Small UAV Applications
TAES-COTS: Thorough Approach for Evaluation & Selection of COTS Products
Machine Learning-based Multi-path Reliable and Energy-efficient Routing Protocol for Underwater Wireless Sensor Networks
Software Engineering Challenges for Ubiquitous Computing in Various Applications
A Hardware Architecture for Difference of Gaussian Calculation in Image Feature Extraction
3D Rooftop Photovoltaic Potential Calculation Using GIS Techniques: A Case Study of F-11 Sector Islamabad
Automated Plant Disease Analysis (APDA): Performance Comparison of Machine Learning Techniques
Blockchain Enabled Secure and Efficient DDoS Attack Detection Mechanisms in Connected Internet of Vehicles Using Federated Learning
NMPC Based Trajectory Tracking Control for Nonholonomic Wheeled Mobile Robots
Scheduling Charging of Electric Vehicles in a Secured Manner using Blockchain Technology
Mesh of SSVEP-Based BCI and Eye-Tracker for Use of Higher Frequency Stimuli and Lower Number of EEG Channels
Proposing Optimal ARMA Based Model for Measurement Compensation in the State Estimation
Software Defect Prediction using Stacking Ensemble Combined with Oversampling Technique
Real-Time Multi-Scale Pothole Detection using Transformer
Ensemble Sparse Classification of Colon Cancer
2017 International Conference on Frontiers of Information Technology, FIT 2017, Islamabad, Pakistan, December 18-20, 2017
CAP - A Context-Aware Framework for Detection and Analysis of Packed Malware
Prediction of Covid-19 and post Covid-19 patients with reduced feature extraction using Machine Learning Techniques
Comparative Analysis of Different Light Intensities for Implementation Idea of Li-Fi for CPEC
Platform for extraction, visualization and analysis of search trends
Deep learning based Intelligent Emotion Recognition and Classification System
Use of Radiative Transfer Equation (RTE) for Estimating Optical Signal Attenuation through Inhomogeneous Clouds
Forensics Analysis of Wish-Shopping Made Fun Application on Android
Online Urdu Handwritten Character Recognition: Initial Half Form Single Stroke Characters
Blockchain Based Vehicular Trust Management and Less Dense Area Optimization
Performance Analysis of PID and State-Feedback Controller on the Depth Control of a Robotic Fish
A Study of Pricing Policy for Demand Response of Home Appliances in Smart Grid Based on M2M
Muhadith: A Cloud Based Distributed Expert System for Classification of Ahadith
An Efficient High Throughput FPGA Implementation of AES for Multi-gigabit Protocols
Towards a Digital Future: The Role and Potential of Telerehabilitation in Pediatric Occupational Therapy in Pakistan
Turbo-Coded HARQ with Switchable Relaying Mechanism in Single Hop Cooperative Wireless System
Software Requirements Engineering Maturity Model (SREMM) in Offshore Software Development Outsourcing
Fully Distributed Cooperative Spectrum Sensing for Cognitive Radio Ad Hoc Networks
Reconfigurable Cluster Head Selection Protocol for Heterogeneous Wireless Sensors
Archaeological Remote Sensing of Lahore Fort - Pakistan Using Multi-Temporal Drone, Thermal and RADAR Imagery
Network Forensic Analysis of Twitter Application on Android OS
Exploiting information context to improve productivity by modeling the domain specific tasks of the users
Foreground Object Detection and Tracking for Visual Surveillance System: A Hybrid Approach
Solar Power Assisted Passive and Active Cell Balancing System: A Comprehensive Analysis
Network Performance Optimization: A Case Study of Enterprise Network Simulated in OPNET
Design Time Considedrations for Cyber Physical Systems
Mobile-Based Intelligent Transportation for Bus Commuters Based on Twitter Analytics
A Pothole Warning System using Vehicular Ad-hoc Networks (VANETs)
Spectrum Mobility in Cognitive Radio-Based Vehicular Cyber Physical Networks: A Fuzzy Emotion-Inspired Scheme
Urdu text classification
A Duct Based Experimental Setup for Active Noise Control
Comparison of prediction methods for moving objects in 3D coordinates using Kalman Filter and least square
Fitness-Based Acceleration Coefficients to Enhance the Convergence Speed of Novel Binary Particle Swarm Optimization
Weather Classification on Roads for Drivers Assistance using Deep Transferred Features
Modeling left ventricle shape from 2D CT images using wavelets and mean regular hexagon
Text-Based Intelligent Content Filtering on Social Platforms
Tracking the Ripple Impact of Code Changes through Version Control Systems
Secrecy Analysis of Relay Assisted Device-to-Device Systems under Channel Uncertainty
Digital Forensics for Eucalyptus
Association of pre-pregnancy weight and weight gain with perinatal mortality
A Lecture Centric Automated Distractor Generation for Post-Graduate Software Engineering Courses
Improving Transfer Learning and Domain Adaptation in Smart Homes: The Role of Dynamic Domain Adaptation Layer
Comparative Analysis of Magnetic Induction and Optical based Localization for Underwater Wireless Sensor Networks
Performance Comparison of Chunk and Peer Scheduling Algorithms of Peer-to-Peer Streaming Systems
Energy-aware real-time communication in wireless ad-hoc micro sensors network
A Machine Learning-Based Approach for Improving TCP Congestion Detection Mechanism in IoTs
A Novel Routing Protocol Based on Congruent Gravity Value for Underwater Wireless Sensor Networks
Comparison of Water Flows between Various Channels Under Different Circumstances
Controlling Smart-City Traffic using Machine Learning
Modeling virus propagation in pure peer-to-peer networks
Predictive Analysis of Autism Spectrum Disorder (ASD) using Machine Learning
A Survey on Sign Language Recognition
Service differentiation by preemptive wavelength conversion in optical burst switched networks
Intelligent human machine interface design for advanced product life cycle management systems
Takagi-Sugeno Fuzzy Logic Based Speed Control of Induction Motor
Software evolution modelling: an approach for change impact analysis
On the Formal Semantics of MiniMaple and its Specification Language
A Fully Connected Neural Network Driven UWA Channel Estimation for Reliable Communication
Efficient Routing Strategy for Congestion Avoidance in MANETs
Mobile agent watermarking (MAW): security properties and attacks revisited
An Image captioning algorithm based on the Hybrid Deep Learning Technique (CNN+GRU)
Small Data, Big Impact: A Multi-Locale Bone Fracture Detection on an Extremely Limited Dataset Via Crack-Informed YOLOv9 Variants
A comparative analysis of LDPC decoders for image transmission over AWGN channel
13th International Conference on Frontiers of Information Technology, FIT 2015, Islamabad, Pakistan, December 14-16, 2015
Green Data Center Networks: Challenges and Opportunities
Interactive Control through Hand Gestures
A 2D parallel algorithm using MPICH for calculation of ground water flux at evaporation from water table
Detection of Energy Bugs in Android Applications: A Systematic Literature Review
Quality Factors Enhancement of Requirement Engineering: A Systematic Literature Review
Contextual advertising using keyword extraction through collocation
An edge-wise linear shortest path algorithm for non negative weighted undirected graphs
Analysis of Chaotic Sequences Based Radar ECCM Scheme Against DRFM Repeat Jammers
A Project Manager's Personality is a Treasure Trove of Information
Optimized Software Product Line Architecture and Feature Modeling in Improvement of SPL
Advanced Collision Warning and Management Strategies for Brake Failure in Commercial Vehicles
Efficient and Supervised Anomalous Event Detection in Videos for Surveillance Purposes
Lexicon and Heuristics Based Approach for Identification of Emotion in Text
A Large-Scale Font-Diverse Sindhi Ligature Recognition System
A Web-based Framework for Compressed 3D Objects: Downloading and Rendering
Designing Human Machine Interface for Vehicle's EFI Engine Using Siemen's PLC and SCADA System
Enhancing Access Control, Authorization, and Accountability in Cyber-Physical Systems Using Machine Learning
Control Oriented Mutation Testing for Detection of Potential Software Bugs
Traffic signs text recognition and error correction
Real-Time Control of an Inverted Pendulum: A Comparative Study
Attention Convolutional U-Net for Automatic Liver Tumor Segmentation
Architecture and Implementation of Modular Airthmetic Unit for SOC
Evaluation of grid workflow scheduling techniques in dynamic grid simulation environments
Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System
Discovering Semantic Relationships Among PDF Book Figures Using Contextual and Visual Similarity
Computer-Based Simulation of Multiphase Flow
Enhancing Android Platform Security: Investigating Malware Patterns with Sufficient Input Subset
A Soft Robotic Glove for Assistance and Rehabilitation of Stroke Affected Patients
Implementation of Velocity Control Algorithm on a Swerve Based Omni-directional Robot
Enhanced text steganography by changing word's spelling
Functional unit level parallelism in RISC architecture
Admission Criteria in Pakistani Universities: A Case Study
Generating Abstractive Summaries Using Sequence to Sequence Attention Model
Survey of Explainability within Process Mining: A case study of BPI challenge 2020
Adaptive Feedback Linearization Control for Power Oscillations Damping in AC/DC Power System
Exploring Unseen Characteristics of Artificial Neural Networks for Improving Front Teat Placement Trait
Image Retrieval by Shape and Color Contents and Relevance Feedback
FPGA Accelerated Computing Platform for MATLAB and C/C++
From Manual to Automatic: The Evolution of Test Case Generation Methods and the Role of GitHub Copilot
CMBT Net: A Deep Learning Based Approach for Automatic Feature Extraction and Classification of Electrocardiograms (ECGs)
Finding the Different Patterns in Buildings Data Using Bag of Words Representation with Clustering
Implementation of real-time fuzzy logic control for NFT-based hydroponic system on Internet of Things environment
Web based poultry farm monitoring system using wireless sensor network
Multi-view Human Action Recognition Using Histograms of Oriented Gradients (HOG) Description of Motion History Images (MHIs)
UWB Circular Monopole Antenna with Fractal Slots for Triple Band-Notch Characteristics
Stereo visual odometry system design on humanoid robot Nao
Beyond Linear Control Approaches - Sliding Mode Control of Flexible Robotic Manipulator
Security Against Compromised Servers: Verifiable DB Queries
Statistical Spectrum Sensing in Cognitive Radio
A Comparative Analysis of Electrical and Photo Characteristics of LED Lights
Social Media Data: Challenges, Mitigation Strategies, and Opportunities for Disaster Management
An Extendable Simulation Framework for Modeling Application Processing Potentials of Smart Mobile Devices for Mobile Cloud Computing
Determining the Factors Affecting the Accuracy of Effort Estimates for Different Application and Task Types
UrbanEVSim: Open-Source Electric Vehicle Mobility and Charging Simulation Platform
Kalman filter and iterative-hungarian algorithm implementation for low complexity point tracking as part of fast multiple object tracking system
Cost Effective Drone Detection with Deep Neural Networks For Day and Night Surveillance
A Rough Set Based Feature Selection Approach Using Random Feature Vectors
Detection of Myocardial Infarction using Pulse Plethysmograph Signals
Summarization of Cricket Videos Using Deep Learning Technique
TARIQ: Towards Area Adjustment and Rounding of Intermediate Nodes for Quadrilateration in Blockchain Enabled Underwater Beacon Node Localization
Web-AM: An Efficient Boilerplate Removal Algorithm for Web Articles
Automatic Classification of Lung Sounds Using Machine Learning Algorithms
Evolution of Orthogonal Frequency Division Multiplexing Modulation to Discrete Wavelet Multitone
Enhancing Stealthiness & Efficiency of Android Trojans and Defense Possibilities (EnSEAD) - Android's Malware Attack, Stealthiness and Defense: An Improvement
Combining Robust Statistical and 1D Laplacian Operators Using Genetic Programming to Detect and Remove Impulse Noise from Images
Particle Swarm Optimization Based Methodology for Solving Network Selection Problem in Cognitive Radio Networks
A Color Image Enhancement Technique Using Multiscale Retinex
A Comparative Study of Electric Vehicles Concerning Charging Infrastructure and Power Levels
Generation of AES-Like S-Boxes by Replacing Affine Matrix
Drone-Based Activity Recognition via Dynamic Features and Deep Learning
Performance comparison analysis of E2E Dual-Stack IP protocol method over wired and Wi-Fi broadband access
Modified Leakage Based User Selection for MU-MIMO Systems
Novel Ensemble Predictor for Gram-Positive Bacterial Protein Sequences
Emotional States Detection Model from Handwriting by using Machine Learning
Multi-path video streaming with redundant frames over a MANET
Autonomous Control of a Quadcopter via Fuzzy Gain Scheduled PD Control
Dynamic Collaborations for Information Sharing within and across Virtual Teams
First-Aid Application for Illiterates and Its Usability Evaluation
3D-sViT-UNET: An Effective Framework for Enhanced Brain Glioma Segmentation
Impulse Noise Detection and Removal Using First Order and Second Order Difference with Multistage Directional Statistics
Regional System Identification and Computer Based Switchable Control of a Nonlinear Hot Air Blower System
Development of an Embedded Device for Stroke Prediction via Artificial Intelligence-Based Algorithms
Quantum Enhanced Federated Learning with Differential Privacy
State and Disturbance Observer Based Control for a Class of Linear Uncertain Systems
Transforming Heart Disease Detection with BERT: Novel Architectures and Fine-Tuning Techniques
Realizing dynamic behavior attestation for mobile platforms
Wastewater Treatment Method Selection for Pulp and Paper Industry
10th International Conference on Frontiers of Information Technology, FIT 2012, Islamabad, Pakistan, December 17-19, 2012
Hybrid Feature Selection and Tumor Identification in Brain MRI Using Swarm Intelligence
Malware Detection and Classification along with Trade-off Analysis for Number of Features, Feature Types, and Speed
Identification and Classification of Cybercrimes using Text Mining Technique
Pilot-Scale Development of a UAV-UGV Hybrid with Air-Based UGV Path Planning
Critical Analysis of Intemet Country Code Top-level Domain (ccTLD) of Pakistan
Priority-based allocation of network resources in multi-class MPLS networks
Power Management Techniques in Popular Operating Systems for IoT Devices
Holding time aware multicast requests provisioning algorithm for dynamic optical circuit switched (DOCS) networks
Cyber Attacks and Vulnerabilities Assessment for Unmanned Aerial Vehicles Communication Systems
A Framework for Cardboard Based Augmented Reality
Comparative Study of Ballistic Transport in Si and GaAs Using Non Equilibrium Green's Function Formalism
Comparative Analysis of High Speed and Low Area Architectures of Blake SHA-3 Candidate on FPGA
An Empirical Study to Investigate the Impact of Sustainable Practices in Agile Software Development
A Road to Wind Based PHEVs Smart Charging Station
Model-Based Security Engineering with UML: Introducing Security Aspects
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
Games with Secure Equilibria
Mutation-Based Test Case Generation for Simulink Models
Incrementally Discovering Testable Specifications from Program Executions
Subobject-Oriented Programming
Abstract Behavior Types: A Foundation Model for Components and Their Composition
The MOBIUS Proof Carrying Code Infrastructure
Observability, Connectivity, and Replay in a Sequential Calculus of Classes
Automatic Service Categorisation through Machine Learning in Emergent Middleware
Patterns for Refinement Automation
Learning Meets Verification
Orchestration under Security Constraints
Enhancing Model Driven Security through Pattern Refinement Techniques
Priced Timed Automata: Algorithms and Applications
From (Meta) Objects to Aspects: A Java and AspectJ Point of View
An MDA Approach to Tame Component Based Software Development
Abstraction and Refinement in Model Checking
A Theory of Predicate-Complete Test Coverage and Generation
The How and Why of Interactive Markov Chains
Concurrent Object-Oriented Programs: From Specification to Code
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification
Equivalent Semantic Models for a Distributed Dataspace Architecture
Live and Let Die: LSC-Based Verification of UML-Models
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
Towards a Model- and Learning-Based Framework for Security Anomaly Detection
Semantic Essence of AsmL
High-Level Specifications: Lessons from Industry
BML and Related Tools
Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
Multiple Viewpoint Contract-Based Specification and Design
Project Zeppelin: A Modern Web Application Development Framework
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Model-Based Mutation Testing of Hybrid Systems
An Object-Oriented Component Model for Heterogeneous Nets
The Pragmatics of STAIRS
Specification and Inheritance in CSP-OZ
Model-Based Analysis Tools for Component Synthesis
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Synthesis-Based Variability Control: Correctness by Construction
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study
Causal Semantics for the Algebra of Connectors
Safety and Liveness in Concurrent Pointer Programs
ASCENS: Engineering Autonomic Service-Component Ensembles
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Model-Based Testing of Environmental Conformance of Components
ToolBus: The Next Generation
MoMo: A Modal Logic for Reasoning About Mobility
A Survey on Basic Connectors and Buffers
Machine Function Based Control Code Algebras
rCOS: Refinement of Component and Object Systems
Behavioural Specification for Hierarchical Object Composition
ASLan++ - A Formal Security Specification Language for Distributed Systems
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Separating Cost and Capacity for Load Balancing in ABS Deployment Models
A Framework for Reasoning on Component Composition
Modeling Application-Level Management of Virtualized Resources in ABS
Verification of UML Models by Translation to UML-B
Consistency Management Within Model-Based Object-Oriented Development of Components
A Checker for Modal Formulae for Processes with Data
Rebeca: Theory, Applications, and Tools
A Tool-Supported Proof System for Multithreaded Java
Model-Based Test Selection for Infinite-State Reactive Systems
Paraphrasing: Generating Parallel Programs Using Refactoring
A Perspective on Component Refinement
Modular Specification of Encapsulated Object-Oriented Components
Composing Distributed Systems: Overcoming the Interoperability Challenge
Control of Modular and Distributed Discrete-Event Systems
Formal Aspects of Free and Open Source Software Components - A Short Survey
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
Session-Based Compilation Framework for Multicore Programming
Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks
Priority Systems
A Calculus for Modeling Software Components
An Application of Stream Calculus to Signal Flow Graphs
A Component Model for the ABS Language
From Co-algebraic Specifications to Implementation: The Mihda Toolkit
Verification of Open Concurrent Object Systems
Coordinating Object Oriented Components Using Data-Flow Networks