yusuke1997/dblp-id-title huggingface dataset:
Is Formal Verification Bound to Remain a Junior Partner of Simulation?
A foundation for formal reuse of hardware
Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems
Reasoning about VHDL using operational and observational semantics
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
Predictive Reachability Using a Sample-Based Approach
Formal design of a class of computers
Temporal Analysis of Time Bounded Digital Systems
Error Detection Using BMC in a Parallel Environment
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking
Hardware compilation using attribute grammars
Gaussian Process Based Dual Latent Function Approach to Ordinal Regression
Classification of Language and Styles from Printed Bilingual Document Images
Probability Density Estimation by Decomposition of Correlation Integral
Classifying Remotely Sensed Data Using Fractal Features
Color Image Segmentation Based on 2D Symlet Wavelet Transform
Data Extraction for Pattern Recognition using Preprocessed Multivariate Analysis
Deeply in KRIOS Model
A Robust Donoho-Stahel based outlier detection factor for Multivariate data
Similarity Measure of Vague Sets
Rough Set Based Document Ranking System
Prediction of Pattern Recognition using Neruofuzzy with Equivalently Reduced Dimension Systems
Development of Expert System for Process Pump Selection
Single Pass Clustering and Classification of Large Dissimilarity Datasets
Pattern-based Extraction of Causal Relations in Korean
Finite Element versus Galerkin Approximation for Modeling and Control of a Class of Flexible Manipulators
Step Integration based Fusion Algorithm for Multimodal Biometrics
A Coherent and Heterogeneous Approach to Clustering
On the pattern recognition of Verhulst-logistic Itô Processes in Market Price Data
A Review of Fuzzy Techniques for Statistical Control Charts
Optimised Ordinal Correlation Face Recognition
Classification of Peer-to-Peer Traffic Using Neural Networks
A New Point Pattern Matching Method for Palmprint
Image Registration Using Dynamic Space Warping
An Evaluation of Personalized Web Search for an Individual User
Finding Hidden Functional Dependencies in Relations Efficiently
Exploration of neuro-fuzzy models in real time flood forecasting
Self-Learning Expert Systems using Rule Classifier in Detection Engines
Learning Bayesian Networks with the Combination of Evolutionary Algorithm and EMI Method
A Navigation-based Algorithm for Matching Scenario Patterns
Application of Illumination Compensation for Face Recognition
A Hybrid Recurrent Neural Networks Architecture Inspired by Hidden Markov Models: Training and Extraction of Deterministic Finite Automaton
Evaluation of Different Approaches to Training a Genre Classifier
A New GP-evolved Formulation for the Relative Permittivity of Water and Steam
Ensemble Classification for Parsing Arabic Texts: A Theoretical Approach
Parallel Direct Solver for hp Finite Element Method Controlled by Composite Programmable Graph Grammar
Audio-visual Based Person Recognition with Fusion at Feature Level
Gel Electrophoresis Image Segmentation and Band Detection Based on the Derivative of the Standard Deviation
Reasoning about Processes: A Case Study
An Artificial Neural Network Implementation of the Frequency to Critical-Band Rate Conversion
Artificial Neural Networks to Recognize ARToolKit Markers
On the Role of Interactive Epistemology in Multiagent Planning
On the Performance Analysis of Resource Allocating Network Trained with Significant Patterns
Knowledge, Computational Models, Semantic Networks and Concept Maps
Predictive Soil Mapping using Hybridization Scheme of Case Based Reasoning System and Knowledge Based System
A Novel DBN Model for Large Vocabulary Continuous Speech Recognition and Phone Segmentation
Recognition of Vibration Signal Changes for Real-Time Detection of Developing Cracks in Jet Engine Rotors
Application of Neural Networks to a Constrained Multifacility Location Problem
Coordinate-Transformation Module Connecting the Visual Cortex and the Visual Space
Internal vs. External Parameters in Fitness Functions
Empirical Study: Initial Population Diversity and Genetic Algorithm Performance
A nonlinear recurrent neural network estimation of conditional mean and variance
NELFD: Neuroevolved Descriptor for Local Image Features
Improved C-Fuzzy Decision Tree with Controllable Membership Characteristics for Intrusion Detection
Case-Based Reasoning Framework for Generating Wide-Range Decision Support Systems
Edge Detection using Inertia-based Ant Colony Systems
Score Normalisation of Voice Features for Template Free Biometric Encryption
Copper Clad Laminate Defects Classification Using Inverse Wavelets Transform and Support Vector Machine
The Universal Table of Algorithms of AI and Octava Computer
A Two-Stage System for Arabic Handwritten Digit Recognition Tested on a New Large Database
Enhanced Least Squares Support Vector Machines for Decision Modeling in a Multi-Sensor Fusion Framework
An algorithmic approach based on Fuzzy Vector Quantization and Wavelet decomposition for Image Compression
Upper Limb Prostheses Trainning Using Augmented Reality
Semi-Automatic Construction of an Emotion Ontology Using HowNet
Applying Case-Based Reasoning in E-Tourism in the Field of E-Commerce
Biological Early Brain Cancer Detection Using Artificial Neural Networks
Observational Logic for Composition of Agents
Online Incremental Machine Learning in Design
Applying Preference Relation Method to Determine the Ranking Order of Fuzzy Numbers
A Case-Based Plan Recognition System for Product Recommendation
Optimizing the Number of Rules in a Knowledge Based Classification System
Ant Colony Optimization based Dynamic Scheduling Algorithm for Real-Time Operating Systems
A Trade-Off of the Schema Theorem
On the Duality of Diachrony and Synchrony: A Mathematical Theory of Identity
Modified Hybrid Feature Set for Anglo-Assamese Hand Written Numeral Recognition
Real time face recognition from video stream using eigen faces
Classification using Normalized Compression Distance
A Logic Model for Inference Chains in Expert Systems
Local Structure Based Foreground Object Extraction
Scheduling problems under uncertain demand
Base improved BP network mapping "semantic gap"
Evolving Genetic Programs for Problems with Non-Functional Requirements
Calculating the Probability of Consensus Decision-Making using Expert Information
Generation of SME Production and Logistics Networks with Extremal Optimization and Fitness Threshold Accepting
International Conference on Artificial Intelligence and Pattern Recognition, AIPR-07, Orlando, Florida, USA, July 9-12, 2007
A Study of the Nonlinear Dynamics of an Artificial Neural Network Model Storing Patterns in Limit Cycle Attractors
Principles of Artificial Economics in Animal Minds
A Machine Learning Approach to Antibiotic Identification
Advances in Speaker Recognition: A Feature Based Approach
Generalization of Adaptive Incremental Learning RBF Network Trained with Significant Patterns
A Novel Grey-based Feature Selection Method with One-Feature Reverse Operation
Neighborhood Graph Construction with Reduced Data Access for Large Scale Database Indexing
Unsupervised Hyperspectral Image Analysis with Projection Pursuit and MRF Segmentation Approach
Artificial Neural Network Based Prediction of Fatigue Crack Propagation
Image Segmentation Based on Modified FCM Algorithms
Contour Profiling of Brain Tumors by using Perceived Brightness Information and Image Correlation Techniques
The Clusterization Process in an Adaptive Method of Image Segmentation
A Study of the Dynamics of an Artificial Neural Network as a Point Attractor for Cloud Classes from Microwave Satellite Images and Construction of Cloud Maps
A Study on Evaluation of Statistical categorization methods
The Comparison and Combination of Genetic and Gradient Descent Learning in Recurrent Neural Networks: An Application to Speech Phoneme Classification
The Directionality of Phonological and Syntagmatic Lexical Errors in Mandarin Chinese
Image Sharpening using Triple Energy Wells
An Innovative Method for Pattern Recognition and Feature Extraction Using Optimal Rotational Transformation Technique
Hybrid Clustering for Large Sequential Data
Reconstruction of Image in Shift-Invariant Space
Evaluation of Facility Layout using DEA and its Verification by Simulation
A New Information Theoretic Clustering Algorithm for Robust Unsupervised Classification
International Conference on Artificial Intelligence and Pattern Recognition, AIPR-08, Orlando, Florida, USA, July 7-10, 2008
A Hybrid Algorithm for Training Recurrent Fuzzy Neural Network
Image Retrieval with Relevance Feedback Using Data Mining
Block Types and Connectedness of Path Graphs Generated by the Pattern Recognition Algorithms of Sellers
A Conceptual Model of Recursive Problem Solving
Pedagogical Design for E-learning Virtual Reality Software
Pitfalls of JESS for Dynamic Systems
A Generalization of Shannon's Mutual Information for Improved Feature Selection in Databases Involving Possibly Rare but Well-Predictable Classes
Linear Filter Model of Synapse Operating on Noisy Inputs: Associated Neural Networks
GMS: A New Graph-Based Feature Selection Method for Text Categorization
Adaptive Novice Supporter
Orientation Selective Contour Detection using Oriented Motion Blur
Temporal Probabilistic Logic Programs: State and Revision
Principles of Digital Evolution Machines
Image Classification using Chip Mining Approach for Remote Sensing Imagery
Feature based and PCA based Face Recognition
Low Cost Japanese-English Machine Translation for Cross-Lingual Information Retrieval
Recognition of Urdu Language Spoken Numbers with Neural Networks
A Novel Automated Analysis System for DNA Gel Electrophoresis Images
Case-Based Motion Controller for Humanoid Robot
Simulation Experiments for Knowledge Sharing Agents Using Genetic Algorithms in MANETs
Fuzzy Base Management System for Color Name Identification
An Alternative Method for the Estimation of the Perceptual Loudness Measure
Instinct and Learning Synergy in Simulated Foraging Using a Neural Network
A Novel Customer Churn Prediction Method Based on Competitions in the Telecommunication Industry
Approach to Judge the Experience of Domain Expert with Uncertainty using Rough Set Theory for Soil Mapping
Multiclass Least Squares Reproducing Kernel Support Vector Machines
Spam Sender Detection with Classification Modeling on Highly Imbalanced Mail Server Behavior Data
A Neural Network Approach to Fault Diagnosis of Pumps
Finger_vein Pattern Recognition Based on Radon Transform
Identifying Phonetically Similar Languages Using Teager Energy Based Cepstrum
Handling Data Imperfections in Classification Problems using a Belief Theory Approach
Learning Methods of Constructive Neural Network
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004
International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003
Mixing temporal experts for Human Activity Recognition
Robot First Aid: Autonomous Vehicles Could Help in Emergencies
Language-agnostic Age and Gender Classification of Voice using Self-supervised Pre-training
Identifying cheating behaviour with machine learning
Can the use of privacy enhancing technologies enable federated learning for health data applications in a Swedish regulatory context?
Towards Better Product Quality: Identifying Legitimate Quality Issues through NLP & Machine Learning Techniques
Swedish Artificial Intelligence Society Workshop, SAIS 2022, Stockholm, Sweden, June 13-14, 2022
Aerial View Localization with Reinforcement Learning: Towards Emulating Search-and-Rescue
Advanced Data-driven Techniques for Mining Expertise
Swedish Artificial Intelligence Society Workshop, SAIS 2021, Sweden, June 14-15, 2021
Understanding Large Language Models through the Lens of Artificial Agency
How Does the Language of 'Threat' Vary Across News Domains? A Semi-Supervised Pipeline for Understanding Narrative Components in News Contexts
Interleaving Configuration Planning and Action Planning in Robotic Ecologies
AI Transformation in the Public Sector: Ongoing Research
Slope and Generalization Properties of Neural Networks
Personalisation and User Models for Support in Daily Living
Real Time Heart Rate Monitoring From Facial RGB Color Video Using Webcam
35th Annual Workshop of the Swedish Artificial Intelligence Society, SAIS 2023, Karlskrona, Sweden, June 12-13, 2023
Siambert: Siamese Bert-based Code Search
Optimization of the Hybrid Feature Learning Algorithm
Money Laundering Detection using Synthetic Data
Evaluation of Defense Methods Against the One-Pixel Attack on Deep Neural Networks
Class-Incremental Learning for Semantic Segmentation - A study
Identifying regions most likely to contribute to an epidemic outbreak in a human mobility network
Modelling regimes with Bayesian network mixtures
The 29th Annual Workshop of the Swedish Artificial Intelligence Society, SAIS 2016, 2-3 June 2016, Malmö, Sweden
Energy Efficiency in Machine Learning: A position paper
Towards a Machine Learning Framework for Drill Core Analysis
Magic in Human-Robot Interaction (HRI) *
Multi-expert estimations of burglars' risk exposure and level of pre-crime preparation based on crime scene data
Non-Linear Hyperspectral Subspace Mapping using Stacked Auto-Encoder
Preliminary Results on the use of Artificial Intelligence for Managing Customer Life Cycles
HINTS: Human-Centered Intelligent Realities
Ideas for Fault Detection Using Relation Discovery
Center for Applied Intelligent Systems Research (Position paper)
Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach
Machine Learning Computational Fluid Dynamics
Improved Inter Terminal Transportation using Agent Technology
Smart Sewage Water Management and Data Forecast
Ecosystem Models Based on Artificial Intelligence
Towards Evacuation Planning of Groups with Genetic Algorithms
PastVision: Exploring "Seeing" into the Near Past with a Thermal Camera and Object Detection-For Robot Monitoring of Medicine Intake by Dementia Patients
Urdarbrunnen: Towards an AI-enabled mission system for Combat Search and Rescue operations
30th Annual Workshop of the Swedish Artificial Intelligence Society, SAIS 2017, May 15-16, 2017, Karlskrona, Sweden
Hit Detection in Sports Pistol Shooting
Predicting Signed Distance Functions for Visual Instance Segmentation
Multi-Task Representation Learning
Fully Convolutional Networks for Dense Water Flow Intensity Prediction in Swedish Catchment Areas
Rock Classification with Machine Learning: a Case Study from the Zinkgruvan Zn-Pb-Ag Deposit, Bergslagen, Sweden
Deep Learning for Social Media Analysis in Crises Situations (Position paper)
Out-of-distribution in Human Activity Recognition
Homomorphic encryption enables private data sharing for digital health: winning entry to the Vinnova innovation competition Vinter 2021-22
Long-Term Accuracy in Sea Navigation without using GNSS Systems
The 27th Annual Workshop of the Swedish Artificial Intelligence Society, SAIS 2012, Örebro, Sweden, May 14-15, 2012
The 3 CDSSs: An Overview and Application in Case-Based Reasoning
Towards motivation-driven intelligent interfaces: formal argumentation meets activity theory
Transformer Video Classification algorithm based on video token-to-token
Collaborative Platform for Supervision and Advice of Agricultural Engineer to Farmers Thanks to IoT and WebRTC
Forensic Analysis of Bangla Handwritten Letters
APONS: Accelerating Federated Learning Architecture in 6G Based on Parameter Optimization and Neural Architecture Search
Defining Meta-Model for Value-Oriented Requirement Prioritization Technique
The Study of Life Cycle Cost Model using Analysis Hierarchy Process for Car Buyer in Thailand
Facial Expression Recognition Using Local Composition Pattern
Classification of Brain Attention based on EEGNet with Fewer Channels
Non-Cooperative and Cooperative Game Approaches for Load Balancing in Distributed Systems
Flight Speed Derivation of Helicopter Mobile System
Multiobjective Optimization Analysis for Finding Infrastructure-as-Code Deployment Configurations
A Linear Regression Analysis of Musical Expressions using the Implication-Realization Model
Relaying Vehicle Selection Algorithm at the Best Selection Region in Content-Centric Vehicular Networks
Designing Secured Cafe Network with Security Awareness Domain and Resource (SADAR) by Simulation using Cisco Packet Tracer
WebGIS for Managing Household Data within a Provincial Big Data Project
A Fast IoT Service Composition Scheme for Energy Efficient QoS Services
A Robust Deep Learning based Framework for High-Precision Detection of Liver Disease
An Integrated Climate and Spatio-temporal Determinant for Influenza Forecasting based on Convolution Neural Network
Predicting and Classifying Software Faults: A Data Mining Approach
Competitive Strategies, Innovation, and Firm Performance in Small and Medium-Sized Enterprises of Manufacturing in China
View Count of Online Videos Prediction Using Clustering View Count Patterns with Multivariate Linear Model
Proceedings of the 2024 12th International Conference on Computer and Communications Management, ICCCM 2024, Kagoshima-shi, Japan, July 19-21, 2024
The Comprehensibility Assessment of Visualization of Semantic Data Representation (VSDR) Reflecting User Capability of Knowledge Exploration and Discovery
Web-Based Sales Information System Using the FAST Method and PIECES Frameworks
Enhance Attentional LSTM Models for Power Consumption Forecasting Using Asymmetric Loss and Renewable Energy Factors
Proceedings of the 10th International Conference on Computer and Communications Management, ICCCM 2022, Okayama, Japan, July 29-31, 2022
ICCCM 2021: 9th International Conference on Computer and Communications Management, Singapore, July 16 - 18, 2021
Beyond Efficiency: Advancing Sustainability in Data Centers through TIA-942 Guidelines and Case Studies
A Modified Method for General LDPC Bit-flipping Decoding
Design of disaster management based on Artificial Neural Network and Logistic Regression
Virtual Machine Integration & Fault Recovery in Crowd-Resourcing Virtual Laboratory
Examining Internet addiction and general health and well being among youth in Taiwan
Design and development of an assisted communication system, using machine learning and natural language processing, for the detection of fake news on Twitter
Research on User Experience and Cognitive Psychology Evaluation of Augmented Reality facial effects in Meta Spark, Line, and Snapchat Apps
Automatic VHDL Description for Mechatronics System by Using Evolutionary Computation
Development and implementation of a blood donor management system
Explainable Deep Learning for Thai Stock Market Prediction Using Textual Representation and Technical Indicators
Simulation and optimization analysis of logistics system of sectionalized workshop based on QUEST
Bird Species Classification from an Image Using VGG-16 Network
Autoscaling Datacenter Servers in Multi tenant Video on Demand Cloud Application
Proposal and Implementation of Production Schedule Optimization Method Considering Job Processing Start Time and Processing Order
Data Security Access Control Based on Blockchain and Smart Contracts
Improvement and Evaluation of Query Guidance Method Focusing on Content Transmission Record Assignment Time in Unstructured Peer-to-Peer Network
Development and Product Trials of a Cost-effective Cloud-based Thermal Camera Body Temperature Measurement System
Analysis & Automated Prediction of Myocardial Infarction Disease Using Optimized Deep Learning Architecture
An Extended NEH based Method for Permutation Flowshop Scheduling Problem
Government Management Model of Non-profit Organizations Based on E-government
Building Cyber Attack Trees with the Help of My LLM? A Mixed Method Study
Green Networking: Challenges, Opportunities, and Future Trends for Sustainable Development
A Systematic Literature Review on Factors Impacting Agile Adaptation in Global Software Development
Detection of Violation of MVVM Design Pattern in Objective-C Programs
Virtual Reality Tourism, can it replace the real tourism experience?
An Incremental Learning Algorithm on Imbalanced Data for Network Intrusion Detection Systems
Increasing Predictive Accuracy of Neuro-Fuzzy Using Quartiles to Initialize the Membership Function
Epileptic EEG Signal Classification Using Convolutional Neural Networks Based on Optimum Window Length and FFT's Length
The Performance of a Local Search based on Vertex Coloring for the Maximum Clique Problem
QoS Aware Trusted Service Discovery Architecture for Optimization in MANETs
Towards Machine Learning-Driven Practices for Oil and Gas Decommissioning - Introduction of a New Offshore Pipeline Dataset
3D Virtual Reality Application with Design Approach for Introduction of Istano Basa Pagaruyung Tourist Attractions
Business Intelligence in e-learning for Higher Education
An Image-Processing Approach for Computing the Size of Green Areas in Cities
FILENG: An Automatic English Subtitle Generator from Filipino Video Clips using Hidden Markov Model
Prediction of Undergraduate Success Through Machine Learning Models
Impact of the Number of Elements and Transmit Power in the Performance of Reconfigurable Intelligent Surface Systems
Toward Soccer Player On-the-ball Action Recognition from Broadcast Match Videos: Data Collection, Analysis and Findings
Model-Driven approach to Integrate Requirements for Safety-Critical Systems
New Product Development Architectural Framework for Sustainability and Innovation within Telecommunication Industry
Proposal and Implementation of Support System for Care Workers Using Non- Contact Vital Signs Sensor and Low-power Wide-area
An Implementation of Job Migration Function Using CRIU and Podman in Docker-based User-PC Computing System
Movie Recommendation Systems: A Brief Overview
Proceedings of the 2023 11th International Conference on Computer and Communications Management, ICCCM 2023, Nagoya, Japan, August 4-6, 2023
Mobile Learning among Indonesia Gen Z: The Role of Digital Literacy, Information Literacy and Expectancy
Machine Reading Comprehension on Multiclass Questions Using Bidirectional Attention Flow Models with Contextual Embeddings and Transfer Learning in Thai Corpus
Restoration of hyperspectral images from RGB images by using two-band models
Software-Defined Network Congestion Mitigation Strategy Based on Link
Tuberous Sclerosis Complex (TSC) Disease Prediction Using Optimized Convolutional Neural Network
A Meta-Model to Automatically Generate Evolutionary Prototypes from Software Requirements
Physical Property Analysis of Sweet Potatoes Using Computer Vision
Community Detection Algorithm Based on Local Random Walk with Restart and Label Propagation
Robotic Process Automation and Opportunities for Vietnamese Market
A Novel Phase Generation Mechanism for PAPR Reduction in SLM-based OFDM Systems
Distributed Denial of Service (DDoS) Mitigation: Security Awareness Domain and Resources (SADAR)
A novel design of wireless-powered IRS-aided relay networks
Distributed Privacy-preserving Support Vector Machine Training Scheme on Vertically Partitioned Data
Analysis of the NFT's Potential Impact in an E-commerce platform: A systematic review
3D Laplacian Surface Deformation for Template Fitting on Craniofacial Reconstruction
Comparison between Knowledge Network System and Collaborative Filtering in Recommender System
Efficient Privacy-preserving Multi-Dimensional Range Query with Hierarchical Hilbert Code-based Tree
Design and Implementation of a Manhole Cover Management Support System Based on LoRa Technology
A Small-sample Radar Target Classification Method Based on DCGAN-SE-ResNeXt
Exploring Data Breach Prevention Strategies in Real-Time Systems Integration and Architecture in the Healthcare Industry
Information Security Awareness (ISA) towards the Intention to Comply and Demographic Factors: Statistical Correspondence Analysis
Pancasila, Ethos Respect, and Anti-hoaxes on Internet-based Social Media
A Multi-parent Hybrid Order and Cost-based Sequential Constructive Crossover of Genetic Algorithm for the Traveling Salesman Problem