yusuke1997/dblp-id-title huggingface dataset:
Recognition of genetic mutations in text using deep learning
An ontology model for content recommendation in personalized learning environment
Enhancing YOLO deep networks for the detection of license plates in complex scenes
Intelligent learning systems for LLL courses: Intelligent learning systems for LLL courses
A virtual & an augmented reality application of the Rashid Agha's diwakhana in the citadel of erbil using 360° 3D Lidar
Healthcare Training Application: 3D First Aid Virtual Reality
An Effective Algorithm for Extracting Maximal Bipartite Cliques
Technology solutions and changes for an Axial Burner
Smartphone as data collector in health monitoring
Integrative multi-omics data-driven approach for metastasis prediction in cancer
Ontology-Based Extraction of Kazakh Language Word Combinations in Natural Language Processing
3D parametric design of a milling operation to obtain the temperature distribution
Reducing integration complexity of cloud-based ERP systems
Machine Learning Framework for COVID-19 Diagnosis
Facebook effect on customers' purchasing behaviors in Jordan
Essay Scoring Tool by Employing RoBERTa Architecture
Mantra: a novel imputation measure for disease classification and prediction
A blockchain model for preserving intellectual property
Digital transformation in Morocco by 2025: How ADD is catalysing this transformation?
Object driven semantic multi-video summarisation based on ontology
Automated ICD-9-CM medical coding of diabetic patient's clinical reports
A scalable and battery: aware tuning approach for constrained devices in internet of things
Fuzzy Feature Similarity Functions for Feature Clustering and Dimensionality Reduction
Assisting investors with collective intelligence
IoT-based healthcare systems: a survey
City scale energy demand forecasting using machine learning based models: a comparative study
Literature review synthesis on predictors of Green IoT irrigation adoption in Morocco: Theoretical construct essay
A framework of business intelligence solution for real estates analysis
Application of electronic management system in governmental institutions: an empirical study on the libyan civil registration
Network intrusion detection through online transformation of eigenvector reflecting concept drift
Kaala vrksha: extending vrksha for time profiled temporal association mining
Data distribution method for scalable actionable pattern mining
Hybrid solution of challenges future problems in the new generation of the artificial intelligence industry used operations research industrial processes
An autonomous demand-side management based on adaptive diffusion strategy
Comparison of neural network and hausdorff distance methods in American, British and Turkish sign languages recognition
Detection of Text from Video with Customized Trained Anatomy
Detecting Depression in Alzheimer and MCI Using Artificial Neural Networks (ANN)
Smart city data analysis
Generating UML Use Case and Activity Diagrams Using NLP Techniques and Heuristics Rules
A novel cloudlet-based communication framework for resource-constrained devices
Towards parallel migrating birds framework for feature subset problem
Meteorological forecasting based on big data analysis
An efficient approach for dimensionality reduction and classification of high dimensional text documents
Acceptance model of m-learning among student of Isra University
A comprehensive study on sign languages recognition systems using (SVM, KNN, CNN and ANN)
Predicting academic performance of university students from multi-sources data in blended learning
Hardware implementation of a fingerprint recognition algorithm on FPGA cyclone II
Real-time face identification from video surveillance cameras
Effects of central metal on spectroscopic properties of hexadeca fluorinated phthalocyanine
Application of simulators for teaching engineering subject
Proceedings of the First International Conference on Data Science, E-learning and Information Systems, DATA 2018, Madrid, Spain, October 01-02, 2018
Back propagation network based prediction on map-reduce platforms
OSINT Techniques Integration with Risk Assessment ISO/IEC 27001
Business intelligence and data analytics system for mobile money
Towards building arabic paraphrasing benchmark
Reviews of using solar energy to cover the energy deficit after the recent war in Mosul city
A literature review about sequencing ITIL processes
Trust Models in IoT-enabled WSN: A review
A membership function for intrusion and anomaly detection of low frequency attacks
Developing a questionnaire to assess prior knowledge of basic statistical concepts in students following a statistics course as part of an engineering degree at an online university
Load balancing in cloud computing using water flow-like algorithm
Supervised detection of IoT botnet attacks
Proceedings of the Second International Conference on Data Science, E-Learning and Information Systems, DATA 2019, Dubai, UAE, December 2-5, 2019
A model of architecture for peer-to-peer systems based on information quality
SIEM Architecture for the Internet of Things and Smart City
Big data challenges and achievements: applications on smart cities and energy sector
Statistics of the product of three rician random processes with application
Regression analysis for network intrusion detection
Minimizing the ambiguities in medical devices regulations based on software requirement engineering techniques
Fuzzy rule based web service composition in cloud
Design of Gaussian Similarity Measure for Network Anomaly Detection
A supervised learning framework for learning management systems
Study of Detection of DDoS attacks in cloud environment Using Regression Analysis
On the real world applications of many-objective evolutionary algorithms
Applications of blockchain in smart cities
A new approach to computing using informons and holons: towards a theory of computing science
PAREEKSHA: a machine learning approach for intrusion and anomaly detection
Exposing Bot Attacks Using Machine Learning and Flow Level Analysis
Application of Electronic Health Records in Polyclinics: Barriers & Benefits
Towards the adoption of international standards in enterprise architecture measurement
SECA: A Feedback Rules Model in a Ubiquitous Microlearning Context
Black hole attack prevention in MANET using enhanced AODV protocol
Individual barriers of tacit knowledge sharing within information system development projects
Enhanced adaptive patch based exemplar image inpainting
IoT Cyber-Attack Detection: A Comparative Analysis
A deep learning approach to real-time parking availability prediction for smart cities
A Survey of Similarity Measures for Time stamped Temporal Datasets
Graffiti and government in smart cities: a Deep Learning approach applied to Medellín City, Colombia
Segmenting retinal vascular net from retinopathy of prematurity images using convolutional neural network
Text steganography in font color of MS excel sheet
Call data record based big data analytics for smart cities
Assessing conceptual knowledge in three online engineering courses: theory of computation and compiler construction, operating systems, and signal and systems
Physicians' Attitudes towards Electronic Prescribing Software: Perceived Benefits and Barriers
Toward an early assessment for Ransomware attack vulnerabilities
A model and a method for assessing students' competencies in e-learning system
An efficient cold start solution based on group interests for recommender systems
Application-based power saving approach for IoT CoAP protocol
TCTracVis: test-to-code traceability links visualization tool
Auto-generated ensemble model for predicting student success
Piecewise multi-regression: superior predictor for housing index/prices at the districts of Riyadh-KSA
Big data analytics tools and applications: survey
Challenges and opportunities of adopting business intelligence in SMEs: collaborative model
Health Care Workers' Use of Electronic Medical Information Systems: Benefits and Challenges
Bug types fixed by API-migration: a case study
Analysis of Android Applications Permissions
The level of awareness of the academic administrations of the private universities regarding e-learning and the degree of its practice from the faculty point of view
Temporal dynamics of MOOC learning trajectories
The status of information security systems in banking sector from social engineering perspective
A generalized linear model for cardiovascular complications prediction in PD patients
A new architecture for voice interconnection using packet switched network
User authentication on smartphones using keystroke dynamics
Prediction Model of Commitment of New Self-Employed Omanis to Insurance Systems
Crime data warehousing and crime pattern discovery
Data Preprocessing for Learning, Analyzing and Detecting Scene Text Video based on Rotational Gradient
An overview of various enhancements of DENCLUE algorithm
Using e-learning to engage unemployed rural women in aquaculture in Bangladesh to reduce poverty
Knowledge representation and machine learning on wearable sensor data: a study on gait monitoring
Ultimate: unearthing latent time profiled temporal associations
Public Datasets: Access, Download and Cleaning (AWS)
An experimental study for breast cancer prediction algorithms
How user perceptions of SAP ERP system change with system experience
Fake News Detection Using Machine Learning Methods
Analysis of mechanical defects and solution for an industrial machine
Detecting Overlapping Communities in Social Networks Using A Modified Segmentation by Weighted Aggregation Approach
A tool for generating synthetic data
Usability evaluation on gamified e-learning platforms
Creation of Cartoon Face Images of Celebrities: Automation
Choosing and Working of an Anonymous Leader
A Transfer Learning Framework on Image-Transformed Sensor Data for Smartphone Based Human Activity Recognition
Integrated Analysis of Voice Patterns and Semantic Features for Emotion Recognition
Efficient Heuristics for the Time Dependent Team Orienteering Problem with Time Windows
An Adaptive System for Detecting Anomalies in Smart Electric Grids Using Gaussian Mixture Models
Leveraging YOLO and SAHI for Accurate Small Tank Detection in UAV Systems
Vision Transformers in Evaluating Bread Edibility
Social Evolution of Published Text and the Emergence of Artificial Intelligence Through Large Language Models and the Problem of Toxicity and Bias
Dilution with Digital Microfluidic Biochips: Unbalanced Split-Error Correction with SIMOP
Does Varied Developer Interactions Cause Bugs to Be Resolved Faster? A Study of Open Source Software Ecosystems
MACO-Sync: Multi-agent Ant Colony Optimization for Synchronized Arrival Coordination
Deep Learning-Based Intrusion Detection in IoT: A Cross-Model Performance Analysis
A Huffman Code Based Image Steganography Technique
Color Texture Image Segmentation Based on Neutrosophic Set and Nonsubsampled Contourlet Transformation
An Efficient Face Recognition Method by Fusing Spatial Discriminant Facial Features
An Intelligent Multi-agent System for Urban Traffic Signal Control Leveraging Reinforcement Learning and Graph Neural Networks
Approximability of Edge-Vertex Domination in Unit Disk Graphs
He-Li Graph Convolutional Neural Network: Deep and Enhanced Adaptation of Interest Modeling for Personalized Recommendation System
A Comparative Study of Tag SNP Selection Using Clustering
An Experimental Analysis of Vertex Coloring Algorithms on Sparse Random Graphs
Deepfake Image Detection Using Light-Weight Attention Integrated MobileNetV3 Model
Algorithm for Interpretable Graph Features via Motivic Persistent Cohomology
Leveraging EfficientNetB4 Model with Multi-head Attentions for Maize Leaf Disease Detection
A Similarity Measure for Clustering Gene Expression Data
Applied Algorithms - Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings
Top-K Exterior Power Persistent Homology: Algorithm, Structure, and Stability
Emotion-Aware Movie Recommendation Using a Transformer-Based Deep Learning Approach
DeepUIR-Net: Underwater Image Restoration Using Residual-UNet with Optimized Efficient Channel Attention Network Integration
An Efficient ID Based Security Algorithm for Mutual Node Authentication and Key Management: An Elliptic Curve Cryptography Based Approach
Approximate All-Pairs Hamming Distances and 0-1 Matrix Multiplication
Neuro-Symbolic AI-Driven Mental Health Risk Prediction with Human-Readable Rule Extraction and Interactive Explainability
Analyzing Social Networks of Actors in Movies and TV Shows
Leveraging Small-Object Detection in Satellite Imagery Using Dual Attention-Augmented Single-Stage CNN Model
A Quadrant Partitioned-RRT* (QP-RRT*) Autonomous Agent
Constructing an n-dimensional Cell Complex from a Soup of (n - 1)-Dimensional Faces
Deep Neural Networks in Cow Face Recognition
Sorted Range Selection and Range Minima Queries
HITgram: A Platform for Experimenting with n-Gram Language Models
Overlapping Community Detection Using Dynamic Residual Deep GCN
The Curious Case of Complexities: Discovering Causal Influences on Software Defects
Exploiting Heterogeneous Data Sources: A Computing Paradigm for Live Web and Sustainability Applications
Automatic Extraction of Headlines from Punjabi Newspapers
Analysing Trends in Community Evolution in Open-Source Software Collaboration Networks
Using Various Machine Learning Algorithms and xLSTM-UNet for Crop Recommendation and Disease Prediction
Multi-head Multi-latent Attention: An Efficient Approach to Realize a Low-Resource Transformer Architecture
An Efficient Algorithm for Path Matrix Computation and Improved Path Energy Bounds
Bounded Model Checking for Calibration of Systems Biology Models Under Uncertainty
Algorithmic Challenges in Digital Microfluidic Biochips: Protocols, Design, and Test
Ensembling Handcrafted Features for Accurate Multi-class Brain Hemorrhage Classification
Robotic Path Planning Using PPO Based Reinforcement Learning Approach
Kontho: An AI-Driven Smart Glove for Enhanced Sign Language Communication
On the Characterization of Eulerian es-Splitting p-Matroids
Attribute Discovery for a Product
Applied Algorithms - First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
Too Long-Didn't Read: A Practical Web Based Approach towards Text Summarization
Analysis of Concentration Errors in Sample Dilution Algorithms on a Digital Microfluidic Biochip
Convexity-Driven Projection for Point Cloud Dimensionality Reduction
Automated Module for Image Quality Assessment from Narrow-Banding Imaging Endoscopy Cameras
An Experimental Study of a Novel Move-to-Front-or-Middle (MFM) List Update Algorithm
Automata for Modeling the Distributed Probabilistic Reversible Processes
ALERTIFY: An AI-Driven Multimodal Social Media Framework for Real-Time Disaster Monitoring and Response
MobileNet Based Fruit Classification Using UNet Generated Segmented Images: GRAD-CAM Visualization
Search Strategies for Subgraph Isomorphism Algorithms
Deployable Solution for Real-Time Children Face Emotion Prediction System
SHIKSHA: Smart Hybrid Intelligent Knowledge System for Helping Academia
Deterministic Integer Sorting on the Parallel External Memory Model
Composite Quality Function Modelling of Instruction-Response Dynamics in Sustainable Fashion
Monitoring Distributed, Heterogeneous Data Streams: The Emergence of Safe Zones
AI-Driven Monitoring System for Detecting People Using Mobile Phones in Restricted Zone
On the Rique Number of Series-Parallel Graphs and Planar Bipartite Graphs
Application of Spectral Unmixing Algorithm on Hyperspectral Data for Mangrove Species Classification
Finding Influential Nodes in Social Networks Using Minimum k-Hop Dominating Set
Bayesian Optimization for Two Echelon Vehicle Routing Problem Using Drone for Last Mile Delivery
Small Uniquely Satisfiable Patterns
Movie Recommendation Using Web Crawling
A Digital-Geometric Algorithm for Generating a Complete Spherical Surface in ℤ3
Freshness Monitoring and Shelf-Life Estimation of Bread
Framework of a Smart Contract System for Improved Supply Chain Management
Efficient Voice-Based Product Ordering via Lightweight Language Models with Low-Rank Adaptation
Perception Learning: A Formal Separation of Sensory Representation Learning from Decision Learning
Applied Algorithms - Third International Conference, ICAA 2026, Kolkata, India, January 7-9, 2026, Proceedings
Integrating AI, IoT, and Drones for Sustainable Apple Orchard Monitoring in Society 5.0
RExAS: Relation Extraction Using Adaptive Self-attention
Comparative Evaluation of Adaptive Wavelet Transform and Classical Approaches for EEG Pre-processing in Stress Recognition
Expression-Invariant 3D Face Recognition Using K-SVD Method
Bar 1-Visibility Drawings of 1-Planar Graphs
Density Extrema of Integer Points in Standard Hexagons
Stocks in Sync: Cluster-Aware Deep Learning for Multi-stock Forecasting in Financial Market
Scheduling Control Tasks Using Safety-Guided RL
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages
Proving Termination of Logic Programs with Delay Declarations
Declarative Error Diagnosis as Consistency-Based Diagnosis
Using Compositional Programming to Write Portable, High-Performance Parallel Programs
Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995
Partial Deduction of the Ground Representation and its Application to Integrity Checking
Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing
Verification, Model Checking and Abstract Interpretation (Workshop Overview)
A Portable Compiler for Integrating HiLog into Prolog Systems
Automatic Generation of Simplification Lemmas for Inductive Proofs
Can Dynamic Analysis Make Prolog Fast?
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing
Optimizing Clause Resolution: Beyond Unification Factoring
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload
An Implementation of Narrowing: The RITE Way
Hardware Architecture of the Sequential Inference Machine: PSI-II
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs
Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract)
On Constructive Negation for Disjunctive Logic Programs
A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors
Static Analysis of Logic Programs
A Knowledge Assimilation Method for Logic Databases
Logic Programming without Negation as Failure
A Declarative Alternative to "Assert" in Logic Programming
Abstract Interpretation of Linear Logic Programming
Narrowing as the Operational Semantics of Functional Languages
Abductive Resoning with Structured Data
Inductive Databases and Condensed Representations for Data Mining
Towards More Efficient Loop Checks
Inference of Polymorphic Types for Logic Programs
Writing Programs as QJ Proof and Compiling into Prolog Programs
Distributed Garbage Collection for the Parallel Inference Engine PIE64
Constraint Logic Programming with Hereditary Harrop Formulas
Higher-Order Horn Logic Programming
Programming with Global Analysis (Abstract)
Boolean Constraint Solving Using clp(FD)
SLX - A Top-down Derivation Procedure for Programs with Explicit Negation
Absys: The Historical Inevitability of Logic Programming
Declarative and Fixpoint Characterizations of Disjunctive Stable Models
The Situation Calculus and Event Calculus Compared
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994
Actions and Specificity
Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986
Localizations of Unification Freedom through Matching Directions
A Graphical Tool for Observing the Behavior of Parallel Logic Programs
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs
Fail Substitutions for Negation as Failure
Abstraction of Conditional Term Rewriting Systems
Relaxation in Constraint Logic Languages
Representing Incomplete Knowledge in Abductive Logic Programming
Modular Logic Programming of Compilers
Towards an Algebra for Constructing Logic Programs
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987
Non-Monotonic Reasoning and Logic Programming
MARVEL 3: 1: A Multi-User Software Development Environment
Register Allocation in a Prolog Machine
A Paralogical Semantics for the Prolog Cut
A Method for Implementing Cut in Parallel Execution of Prolog
Correctness of Logic Program Transformations Based on Existential Termination
Algebraic Properties of a Class of Logic Programs
Towards Practical Interval Constraint Solving in Logic Programming
On the Generalized Predicate Completion of Non-Horn Programs
On the Elimination of Redundant Derivations During Execution
A Modal Reconstruction of Blocks and Modules in Logic Programming
The Beauty and the Beast Algorithm
Some Global Compile-Time Optimizations for CLP(R)
Logic Programming Tools for Advanced Internet Programming (Abstract)
Design and Implementation of a Prolog-to-C Compiler
Disjuntive Completion Is Not "Optimal"
Evaluation of Regular Nonlinear Recursive Programs
Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison
An Evaluation of the FGHC via Practical Application Programs
Goal-Directed Evaluation of Well-Founded Sematics for XSB
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information
Partial Evaluation in Prolog: Some Improvements about Cut
Clause-based proofs for hereditary Harrop formulas
On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution
Regular Signed Resolution Applied to Annotated Logic Programs
On Criteria for Or-Parallel Execution Models of Logic Programs
Temporal Logic Programming in Dense Time
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali
Editing First-Order Proofs: Programmed Rules vs Derived Rules
GHC: Operational Semantics, Problems, and Relationships with CP(|, |)
Unification Parallelism: How Much Can We Exploit?
Typed Feature Structures: A Generalization of First-Order Terms
Unification-Free Execution of Logic Programs
The Ordered Clause Restriction of Model Elimination and SLI Resolution
On Logical Constraints in Logic Programming
Dynamic Programming Optimization for Logic Queries with Aggregates
Copy Avoidance through Compile-Time Analysis and Local Reuse
Non-monotonic Concurrent Constraint Programming
A Theory of Modules Based on Second-Order Logic
Flow Analysis of Prolog Programs
Combinatory Logic Programming: Computing in Relation Calculi
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry
Cuttable Formulas for Logic Programming
A Bottom-Up Characterization of Finite Success
Stream-Based Execution of Logic Programming
Independence in Constraint Logic Programs
Performance Evaluation of a Sequential Inference Machine CHI
The Occur-Check Problem in Prolog
Extension Tables: Memo Relations in Logic Programming
A Kripke-like Model for Negation as Failure
Analysis of SLG-WAM Evaluation of Definite Programs
Control of Activities in the Or-Parallel Token Machine
Prolog Interpretation of A Functional-Logic Language
Metric Methods in the Semantics of Logic Programs
Solving a real life exams problem using CHIP
Synthesis of a Family of Recursive Sorting Procedures
On T Logic Programming
Logic Programming for Processing Natural Language (Abstract)
Processing Multiple Linear Recursions
The Incorporation of Logic Formalisms to Natural Language Through Logic Programming
Compositionality of Normal Open Logic Programs
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints
An Introspective Framework for Paraconsistent Logic Programs
Executing Distributed Prolog Programs on a Broadcast Network
Timing Prolog Programs without Clock
Parallel Programming with Layered Streams
A Partial Evaluation Procedure for Logic Programs
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form