yusuke1997/dblp-id-title huggingface dataset:
Automata for Learning Sequential Tasks
A Logical and Ontological Framework for Compositional Concepts of Objects and Properties
A Framework for Recommendation of Highly Popular News Lacking Social Feedback
On the Computational Power of Phosphate Transfer Reaction Networks
Renewal of the Major Fields of New Generation Computing Vol. 38 (2020)
Approximate Retrieval of High-Dimensional Date with L 1 Metric by Spacial Indexing
Evolution and Implementation of the RAP Database Machine
Logic Based Processing of Semantically Complex Natural Language Discourse
Physical Zero-Knowledge Proof Protocols for Topswops and Botdrops
Function Approximation with Complex Neuro-Fuzzy System Using Complex Fuzzy Sets - A New Approach
Improved Prediction Analysis with Hybrid Models for Thunderstorm Classification over the Ranchi Region
Punishing Malicious Hosts with the Cryptographic Traces Approach
Partial Evaluation of Queries in Deductive Databases
Evolutionary Optimization Using Graphical Models
Maximal Unifiable Subsets and Minimal Nonunifiable Subsets
Quantum Bit-commitment for Small Storage Based on Quantum One-way Permutations
Neuro-Symbolic Reasoning for Multimodal Referring Expression Comprehension in HMI Systems
TexRep: A Text Mining Framework for Online Reputation Monitoring
Factorizing RSA Keys, An Improved Analogue Solution
Experimental Efficiency of Programmed Mutagenesis
Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language
Complex Network Hierarchical Sampling Method Combining Node Neighborhood Clustering Coefficient with Random Walk
Advantages of Decision Lists and Implicit Negatives in Inductive Logic Programming
Architecture of a Reduction-Based Parallel Inference Machine: PIM-R
Logic Circuit Synthesis Using Prolog
Preface: On Semantical Issues of Information
Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program
Duplicate Detection for Bayesian Network Structure Learning
Efficient Computation Control in Concurrent Logic Languages
CASE-CF: Context Aware Smart Epidemic Control Framework
Detection of Breaking News from Online Web Search Queries
ESP - Extended Self-contained PROLOG - as a Preliminary Kernel Language of Fifth Generation Computers
Satchmorebid: Satchmo(Re) with BIDirectional Relevancy
A Survey on Modeling Language Evolution in the New Millennium
A New Evolutionary Model Based on Cellular Learning Automata and Chaos Theory
Learning Horn Definitions: Theory and an Application to Planning
And-Or Parallel Prolog: A Recomputation Based Approach
WCDS: A Two-Phase Weightless Neural System for Data Stream Clustering
An Inference Method for the Complete Inverse of Relative Subsumption
Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation
Extracting Clinical Trial Design Information from MEDLINE Abstracts
Cascading DNA Generation Reaction for Controlling DNA Nanomachines at a Physiological Temperature
Modeling and Processing Information for Context-Aware Computing: A Survey
Erratum to: Visualizing Collective Attention Using Association Networks
On Parallel Unification for Prolog
Ensemble Methods for Heart Disease Prediction
A Prolog Extension for Handling Negative Knowledge
Outline of the Personal Sequential Inference Machine: PSI
A Fast Algorithm for Translating Combinator Expressions with BC-chains
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake
Diagnosing and Treating Effect of Legal Rule-Based Revision
Implementing and Analysis of Compile-time Garbage Collection
The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases
A Dense Network Approach with Gaussian Optimizer for Cardiovascular Disease Prediction
A-SATCHMORE: SATCHMORE with Availability Checking
Internal Consistency in Plausible Reasoning Systems
Uses of Prolog in Implementation of Expert Systems
Special Issue on Chance Discovery - Preface
Reactive Computing as Model Generation
Model-based Fault Localization: Finding Behavioral Outliers in Large-scale Computing Systems
Development and Evaluation of a New Platform for Accelerating Cross-Domain Data Exchange and Cooperation
Multilingual Communication via Best-Balanced Machine Translation
Aggregation and Negation-As-Failure
JEEFCS: A Joint Event Extraction Framework based on Chapter Structure for Financial Statement Footnotes of Chinese Listed Companies
A New Quantum Claw-finding Algorithm for Three Functions
Cognitive Support for the Organization of Writing
Ontology-Based Similarity Computation of Two Sentences Using Word-Net Database
Extraction of Potential Regional Characteristics Based on Community Division Considering Both Positional and Semantic Cohesiveness
Composing Recursive Logic Programs with Clausal Join
Tensor-Based Shot Boundary Detection in Video Streams
Unfolding Rules for GHC Programs
Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms
Database Query Languages and Functional Logic Programming
A Hybrid Knowledge Push Method Based on Trust-Aware and Item-Cluster Oriented to Product Design
Selection and Setting of an Intelligent Fuzzy Regulator based on Nonlinear Model Simulations of a Helicopter in Hover
Mathematical Models of Quantum Computation
Analyzing Promising Researchers Using Network Centralities of Co-authorship Networks from Academic Literature
An English-Japanese Machine Translation System Using the Active Dictionary
On Implementing the Push-Relabel Algorithm on Top of Pregel
Forming Ensembles of Soft One-Class Classifiers with Weighted Bagging
Invited Paper. Quantum Entanglement as a New Information Processing Resource
Double Layer ACO Algorithm for the Multi-Objective FJSSP
Verifying Local Stratifiability of Logic Programs and Databases
Algebraic Retrieval of Fragmentarily Indexed Video
Linearity and Plan Generation
Andorra-I Compilation
Predicting Job Failures in AuverGrid Based on Workload Log Analysis
A Semantic-Based Framework for Rice Plant Disease Management - Identification, Early Warning, and Treatment Recommendation Using Multiple Observations
Re-representation and Creative Analogy: A Lexico-semantic Perspective
Monotonic and Non-monotonic Inductive Inference
Relational Classification Using Random Walks in Graphs
Hierarchies of Parallel Rewriting P Systems - A Survey
PAN: A Portable, Parallel Prolog: Its Design, Realisation and Performance
An Information Management System with the Facility to Support Long-term Creative Thinking
Machine Discovery of Comprehensible Strategies for Simple Games Using Meta-interpretive Learning
A VLSI Algorithm for Sorting Variable-Length Character Strings
Paraconsistent Computation Tree Logic
A Novel Margin Based Algorithm for Feature Extraction
Opening of the International Conference on Fifth Generation Computer Systems 1984
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell
Strict Completion of Logic Programs
An Intelligent Lightweight Signing Signature and Secured Jellyfish Data Aggregation (LS 3 JDA) Based Privacy Preserving Model in Cloud
A Hybrid Model for Simulating Crowd Evacuation
Description and Reasoning of VLSI Circuit in Temporal Logic
Designing Dynamical Molecular Systems with the PEN Toolbox
Optimal Prognostic Accuracy: Machine Learning Approaches for COVID-19 Prognosis with Biomarkers and Demographic Information
Equilibrium of E-Markets Populated with Reputation Oriented Learning Agents
The Emerging Discipline of Biomolecular Computation in the US
Existing Business Process Models for Model Construction of Multidimensional Business Knowledge: An MDA-Based Transformation Methodology
Instant Replay Debugging of Concurrent Logic Programs
A Deep Learning Method to Forecast COVID-19 Outbreak
Explainable AI: To Reveal the Logic of Black-Box Models
Direct Automated Inversion of Logic Grammars
Efficient Unification over Infinite Terms
Some analogues of Partial and Mixed Computations in the Logical Programming Approach
An Improved Deep Learning Network, Addressing Graph Node Imbalance in Social Media Rumor Source Detection
An Extended Variant of Atoms Loop Check for Positive Logic Programs
Quantum Computation: From a Programmer's Perspective
A Program Specialiser for Meta-Level Compositions of Logic Programs
FliPpr: A System for Deriving Parsers from Pretty-Printers
Swarm Networks in Brownian Environments
A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases
Searching for Computational Creativity
Special Issue on the Workshop on Parallel Logic Programming - Preface
Special Issue on Hybrid and Ensemble Methods in Machine Learning
A Comparative Study of Four Parallel and Distributed PSO Methods
Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems
Highly Parallel Execution of Product Systems: A Model, Algorithms and Architecture
Tutorial on Ontological Engineering
Static Analysis of Linear Logic Programming
Simulations of Policy Responses and Interventions to Promote Inclusive Adaptation to and Recovery from the Covid-19 Crisis in Vietnam
Constrained Partial Deduction and the Preservation of Characteristic Trees
Correlation Between In Vitro and In Vivo Gene-Expression Strengths is Dependent on Bottleneck Process
pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus
Toward a Highly Intelligent Communication
User-Independent Gesture Recognition By Relative-Motion Extraction and Discriminant Analysis
Mobile Robot Navigation by a Distributed Vision System
Discovery of Botnet Activities in Internet-of-Things System Using Dynamic Evolutionary Mechanism
Improved Bivariate-VAR Model for Extraction of Respiratory Information from Artifact Corrupted ECG and PPG Signals
Dataflow Computing and Eager and Lazy Evaluations
Preliminary Arrangements of Arguments in Lazy Evaluation
Classical Negation in Logic Programs and Disjunctive Databases
An Efficient Fusion of Infrared and Visible Images Using an Optimized Deep Learning Model with Decomposed Non-subsampled Shearlet Structural Patch Transform
Development of Web Service for Japanese Text Triplification
Chemical Reaction Regular Grammars
Combining Document Classification and Ontology Alignment for Semantically Enriching Web Services
A Time Series Structure Analysis Method of a Meeting Using Text Data and a Visualization Method of State Transitions
Whole-Cell Modeling and Simulation: A Brief Survey
Semantic Modelling of Virtual Organizations with Service Network Schemata
An Improved Vehicle Logo Recognition Using a Classifier Ensemble Based on Pattern Tensor Representation and Decomposition
A Fuzzy Set Based Approach to Generalized Landscape Theory of Aggregation
Web Caching Replacement Algorithm Based on Web Usage Data
Trends in Agnet-Based Computational Modeling of Macroeconomics
Performance Evaluation of Learning Models for the Prognosis of COVID-19
Computing As Compression SP20
Agent-Based Drivers' Information Assistance System
Special Feature on Natural Language Understanding and Logic Programming
A Method of Model Improvement for Spotting Recognition of Gestures Using an Image Sequence
ODM: An object oriented data model
A Quantum Algorithm Using NMR Computers to Break Secret-Key Cryptosystems
An Architecture for Adaptive Multimedia Content Delivery
Temporal Disjunctive Logic Programming
pHood: Tool Description, Analysis Techniques, and Case Studies
A Growing Model-Based OCSVM for Abnormal Student Activity Detection from Daily Campus Consumption
Chart Parsing in Prolog
Artificial Intelligence in Global Epidemics, Part 2
Induction of Logic Programs: FOIL and Related Systems
Phenomenology of Ma and Maai: An Interpretation of Zeami's Body Cosmology from a Phenomenological Point of View
A Challenge towards Next-Generation Research Infrastructure for Advanced Life Science
The Query Complexity of Learning DFA
Chance Discovery in Medicine - Detection of Rare Risky Events in Chronic Diseases
Data Mining: From Procedural to Declarative Approaches
Specialisation of Prolog and FCP Programs Using Abstract Interpretation
Special Issue on Data-Mining and Statistical Science
The Design and Implementation of a Personal Sequential Inference Machine: PSI
Gfarm Grid File System
Hyperlink Recommendation Based on Positive and Negative Association Rules
Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics
A Multiport Page-Memory Architecture and A Multiport Disk-Cache System
Robustifying Vision Transformer Without Retraining from Scratch Using Attention-Based Test-Time Adaptation
Jaccard Guided Perturbation for Eigenvector Localization
Knowledge Science
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Interactive Learing and Management of Visual Inforamtion via Human-like Software Robot
Interactive Visualization of News Distribution in Blog Space
A Simple Generational Real-Time Garbage Collection Scheme
Organizing the Web's Information Explosion to Discover Unknown Unknowns
Deep Convolutional Neural Networks for Detecting COVID-19 Using Medical Images: A Survey
SVM-based Interactive Document Retrieval with Active Learning
Proof of Originality: Remembrances of Professor Moto-Oka
Ten Requirements for a Theory of Change
An Efficient Bayesian Network Structure Learning Strategy
Enhanced Qualitative Physical Reasoning System: Qupras
Discovery of User Communities Based on Terms of Web Log Data
Binary and Ternary Classifiers to Detect COVID-19 Patients Using Chest X-ray Images: An Efficient Layered CNN Approach
Reversible Garbage Collection for Reversible Functional Languages
XOR Gate Design Toward a Practical Complete Set for DNA Computing
The Impact of Sentiment Scores Extracted from Product Descriptions on Customer Purchase Intention
Constrained Motif Discovery in Time Series
Open Mobile Alliance (OMA) Security Layer: Architecture, Implementation and Performance Evaluation of the Integrity Unit
Semantic Representation for Age Word Problems with Schemas
A Semi-automated Ontology Construction for Legal Question Answering
Tutorial on Ontological Engineering: Part 3: Advanced Course of Ontological Engineering
Special Issue on Intelligent Web Interaction
Connected Communities from the Standpoint of Multi-agent Systems
A List Processing Language TAO with Multiple Programming Paradigms
Meta-Level Programming and Knowledge Representation
Inverse Entailment and Progol
Preference Queries in Deductive Databases
Knowledge as a Social Medium
NP-Completeness and Physical Zero-Knowledge Proofs for Sumplete, a Puzzle Generated by ChatGPT
Extended Addition Protocol and Efficient Voting Protocols Using Regular Polygon Cards
Recurring Drift Detection and Model Selection-Based Ensemble Classification for Data Streams with Unlabeled Data
Visual Blending for Concept Representation: A Case Study on Emoji Generation
Concurrent Treaps and Impact of Locking Objects
A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems
Partially Interactive Evolutionary Artists
Decoding Algorithm of Low-density Parity-check Codes based on Bowman-Levin Approximation
CARMEL-2: A second generation VLSI architecture for Flat Concurrent Prolog
Engineering Applications of ILP
A Hybrid Deep Learning Model Using Grid Search and Cross-Validation for Effective Classification and Prediction of Suicidal Ideation from Social Network Data
Hyperparameter Optimization of Evolving Spiking Neural Network for Time-Series Classification
CoWarriorNet: A Novel Deep-Learning Framework for CoVID-19 Detection from Chest X-Ray Images
Dynamic Simulation of 1D Cellular Automata in the Active aTAM
Adaptive Splitting and Selection Algorithm for Regression
Reversible Cellular Automata: From Fundamental Classical Results to Recent Developments
Undecidable Goals for Completed Acyclic Programs
Satellite Broadcast Scheduling Based on a Boosted Binary Differential Evolution
Multi-Layer Logic - A Predicate Logic Including Data Structure as Knowledge Representation Language
The 2nd International Workshop on Natural Computing
P Transducers
COVID-19-Induced Depression and Anxiety Detection: A Systematic Literature Review of Machine Learning and Deep Learning Techniques
Similarity-Based Hybrid Algorithms for Link Prediction Problem in Social Networks
A Relational Database Machine with Large Semiconductor Disk and Hardware Relational Algebra Processor
Artificial Intelligence in Global Epidemics, Part 1
Quantum Computation: a Tutorial
Special Issue on International Organized Sessions of JSAI2012
Description Logics with Contraries, Contradictories, and Subcontraries
A Separation Method for DNA Computing Based on Concentration Control
The E-Cell Project: Towards Integrative Simulation of Cellular Processes
High Accuracy-priority Rule Extraction for Reconciling Accuracy and Interpretability in Credit Scoring
The Abstract Machine and Implementation of Parallel Parlog
Active Mining
Temporal Logic Based Hardware Description and Its Verification with Prolog
DeepCov19Net: Automated COVID-19 Disease Detection with a Robust and Effective Technique Deep Learning Approach
Hybridization Schemes of the Fuzzy Dendritic Cell Immune Binary Classifier based on Different Fuzzy Clustering Techniques
An Operational Formal Definition of PROLOG: A Specification Method and Its Application
A Heterogeneous Ensemble Forecasting Model for Disease Prediction
Translation Agent: A New Metaphor for Machine Translation
Incorporating Domain-Specific Traits into Personality-Aware Recommendations for Financial Applications
Functional Programming with Streams, Part II
Turing Test Considered Mostly Harmless
Chaotic Satin Bowerbird Optimizer Based Advanced AI Techniques for Detection of COVID-19 Diseases from CT Scans Images
On Computer Science Curricula at Universities
Content-Dependent Question Generation Using LOD for History Learning in Open Learning Space
Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering
Number Rules the Universe - The Pythagoreans
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction
On PAC Learnability of Functional Depencies
Improving the Generalisation Ability of Neural Networks Using a Lévy Flight Distribution Algorithm for Classification Problems
Preface to Hagiya-sensei's 2 6 -th Birthday Special Issue
Computer-Aided-Diagnosis as a Service on Decentralized Medical Cloud for Efficient and Rapid Emergency Response Intelligence
Renewal of the Major Fields from New Generation Computing Vol. 36 (2018)
Exclusively Your's: Dynamic Individuate Search by Extending User Profile
Performance of Muse on Switch-Based Multiprocessor Machines
Facts, Arguments, Annotations and Reasoning
DNA-based Nanosystems
An And/Or-Parallel Implementation of AKL
Preface: Special Issue on Molecular Cybernetics: Theory and Practice Toward Chemical AI
Ant Colony Metaphor Applied in User Interface Recommendation
Cloud Computing: a Perspective Study
An Overview on Learning from Data Streams
Design and Simulation of a Sequential Prolog Machine
Entropy-Based Fuzzy C-Ordered-Means Clustering Algorithm
Dynamic SOA Framework to Support Ad Hoc Enterprise Alliance Formation
Spiral Removal of Exceptional Patients for Mining Chronic Hepatitis Data
Fault Detection in Hard Disk Drives Based on a Semi Parametric Model and Statistical Estimators
Variational Autoencoder Based Imbalanced COVID-19 Detection Using Chest X-Ray Images
Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog
On Case Based Learnability of Language
Selected Papers from PRIMA '99: The Second Pacific Rim International Workshop on Multi-Agents - Preface
InfoFilter: Supporting Quality of Service for Fresh Information Delivery
Improving Record Linkage Accuracy with Hierarchical Feature Level Information and Parsed Data
Physical Zero-Knowledge Proof for Sukoro
The general problem solving algorithm and its implementation
Story Planning as Exploratory Creativity: Techniques for Expanding the Narrative Search Space
Constructive Negation and Constraint Logic Programming with Sets
Programming Methods for DNA-Based Reaction-Diffusion Systems
An Approach to Data Reduction and Integrated Machine Classification
Difference-List Transformation for Prolog
Logic Programming and Burden of Proof in Legal Reasoning
An Abstract Machine for the Implementation of PARLOG on Uniprocessors
Characterization of Cascaded DNA Generation Reaction for Amplifying DNA Signal
Intelligent Systems Using Web-pages as Knowledge Base for Statistical Decision Making
Deriving Linear Size Relations for Logic Programs by Abstract Interpretation
Knowledge Information Processing Language: ShapeUp
Secure Computation for Threshold Functions with Physical Cards: Power of Private Permutations
Grid Systems for Life Sciences
Distributed Memory Implementation of KLIC
Customized Plug-in Modules in Metascheduler CSF4 for Life Sciences Applications
Pattern Formation on Discrete Gel Matrix Based on DNA Computing
ALTEP - A Cellular Processor for High-Speed Pattern Matching
GeoMergeP: Geographic Information Integration through Enriched Ontology Matching
Improved Deep Convolutional Neural Network with Transfer Learning Based COVID-19 Infection Detection Using CT image
Exploring Baselines for Combining Full Plots into Multiple-plot Stories
Tailored Network Splitting for Community Evolution Prediction in Dynamic Social Networks
P Systems with Local Graph Productions
How Does an Expert Artist Create Artwork? Skills and Strategies of an Expert Calligrapher Utilizing Ecological Constraints
An Optimized Scaffolding Algorithm for Unbalanced Sequencing
Distributed Computing Theory for Molecular Robot Systems
Verifying Local Stratifiability of Logic Programs and Databases II
Classification Performance of Bagging and Boosting Type Ensemble Methods with Small Training Sets
Annotated Bibliography on Partial Evaluation and Mixed Computation
A Matching Algorithm in PMWL based on CluTree
A memory organization for parallel computers
Application of Evolutionary Algorithms in Social Networks: A Comparative Machine Learning Perspective
Linear Logic for Deductive Databases
Application of Hash to Data Base Machine and Its Architecture
Geometrical Structure of Boosting Algorithm
IRI_Debug: An Ontology Evaluation Tool
Web-based Recommendation Systems Technologies and Applications
Information Gathering and Searching Approaches on the Web
Approximations of Bayesian Networks through KL Minimisation
Reference Chromosome to Overcome User Fatigue in IEC
Current Status of the EDR Electronic Dictionary Project and Its Evaluation Research
Implicitly Heterogeneous Multi-Stage Programming
A Comparative Study and Evaluation of Parallel Programming Models for Shared-Memory Parallel Architectures
Resolution for Label-based Formulas in Hierarchical Representation
Logic Program Forms
An Epistemic Model of Logic Programming
Program Transformation Through Meta-shifting
Grammar-Related Transformations of Logic Programs
Synthesis of Rewrite Programs by Higher-order and Semantic Unification
Efficient Algorithms for NMR Quantum Computers with Small Qubits
Extending Prolog with Moduarity, Concurrency and Meta-Rules
Relational Semantics for Locally Nondeterministic Programs
Intelligent Simulation Tools for Mining Large Scientific Data Sets
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
Evolutional Multiplication of Software Environments
The Narrowing-driven Approach to Functional Logic Program Specialization
Cut and Side-Effects in a Data-Driven Implementation of Prolog
A General Framework for Reasoning about Change
On-board Vehicle Data Stream Monitoring Using MineFleet and Fast Resource Constrained Monitoring of Correlation Matrices
Parallel Directed Graph Algorithms on Directional Processor Arrays with Reconfigurable Bus Systems
Creative Communication for Chance Discovery in Shopping
A Family of CCCP Algorithms Which Minimize the TRW Free Energy
Perspectives on Systems Biology
How to Solve Millionaires' Problem with Two Kinds of Cards
Renewal of the Major Fields from New Generation Computing Vol.32 (2014)
Bisociative Literature-Based Discovery: Lessons Learned and New Word Embedding Approach
Convolution Neural Network Having Multiple Channels with Own Attention Layer for Depression Detection from Social Data
A Prolog-Based Natural Language Front-End System