yusuke1997/dblp-id-title huggingface dataset:
Lexicon Acquisition: Learning from Corpus by Capitalizing on Lexical Categories
Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)
Active Graph Reachability Reduction for Network Security and Software Engineering
Meta-Reinforcement Learning by Tracking Task Non-stationarity
Tracking Political Elections on Social Media: Applications and Experience
Deep Graphical Feature Learning for Face Sketch Synthesis
HPM: A Computational Formalism for Heuristic Procedure Modification
TE-ESN: Time Encoding Echo State Network for Prediction Based on Irregularly Sampled Time Series Data
Decentralized Optimization with Edge Sampling
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming
A Generalized Recurrent Neural Architecture for Text Classification with Multi-Task Learning
A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions
Extending Reflective Architectures
Online Multi-Object Tracking by Quadratic Pseudo-Boolean Optimization
Unsupervised Domain Adaptation with Dual-Scheme Fusion Network for Medical Image Segmentation
Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions
Rule-Based Programming of Molecular Robot Swarms for Biomedical Applications
On the Essence and Prospect: An Investigation of Alignment Approaches for Big Models
Deep Learning at Alibaba
Image Compression and Filtering Using Pyramid Data Structures
Building the Semantic Web Tower from RDF Straw
Fine-Tuning Graph Neural Networks via Graph Topology Induced Optimal Transport
Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems
Identifying Expressions of Opinion in Context
Using Inference to Reduce Arc Consistency Computation
Emergence of Cooperation in a Pursuit-Evasion Game
Focusing Attention for Observational Learning: The Importance of Context
Learning Extended Logic Programs
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data
Incorporating Queueing Dynamics into Schedule-Driven Traffic Control
Fuzzy Logic Model for Digital Forensics: A Trade-off between Accuracy, Complexity and Interpretability
Temporal Scope of Assertions and Window Cutoff
AND/OR Cutset Conditioning
Implementing Search Heuristics Using the AL1 Advice-Taking System
AI and Decision Support for Sustainable Socio-Ecosystems
Optimally Solving Dec-POMDPs as Continuous-State MDPs
Geometric Understanding for Unsupervised Subspace Learning
Logic Programing in Artificial Intelligence
Deliberation and Voting in Approval-Based Multi-Winner Elections
A Heuristic Search Approach to Planning with Temporally Extended Preferences
Temporal Induced Self-Play for Stochastic Bayesian Games
Type Inference in Prolog and Its Application
Sequential 3D Human Pose Estimation Using Adaptive Point Cloud Sampling Strategy
Aspect Sentiment Classification with both Word-level and Clause-level Attention Networks
Content Matters: A Computational Investigation into the Effectiveness of Retrieval Practice and Worked Examples (Extended Abstract)
Representation Learning-Assisted Click-Through Rate Prediction
GCNT: Graph-Based Transformer Policies for Morphology-Agnostic Reinforcement Learning
STROBE: Support for Structured Object Knowledge Representation
HDI-Forest: Highest Density Interval Regression Forest
TG-VQA: Ternary Game of Video Question Answering
Online Planning in MDPs with Stochastic Durative Actions
M3ANet: Multi-scale and Multi-Modal Alignment Network for Brain-Assisted Target Speaker Extraction
HealthLens: A Natural Language Querying System for Interactive Visualization of Electronic Health Records
Reference Guided Face Component Editing
Latent Question Interpretation Through Parameter Adaptation Using Stochastic Neuron
Beyond Polarity: Interpretable Financial Sentiment Analysis with Hierarchical Query-driven Attention
Learning to Explain Entity Relationships by Pairwise Ranking with Convolutional Neural Networks
Abduction with Hypotheses Confirmation
A System for Improving the Recognition of Fluently Spoken German Speech
Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets
Minimum Splits Based Discretization for Continuous Features
A Virtual Environment with Multi-Robot Navigation, Analytics, and Decision Support for Critical Incident Investigation
On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach (Abstract Reprint)
F-HMTC: Detecting Financial Events for Investment Decisions Based on Neural Hierarchical Multi-Label Text Classification
Decentralized Search in Networks Using Homophily and Degree Disparity
Linear Query Approximation Algorithms for Non-monotone Submodular Maximization under Knapsack Constraint
Recurrent Dirichlet Belief Networks for interpretable Dynamic Relational Data Modelling
Voting by sequential elimination with few voters
Knowledge Acquisition for Constructive Systems
Joint Multi-view 2D Convolutional Neural Networks for 3D Object Classification
Towards Multi-paper Summarization Using Reference Information
Polytree-Augmented Classifier Chains for Multi-Label Classification
Combining Car-to-Infrastructure Communication and Multi-Agent Reinforcement Learning in Route Choice
Towards Automating Explanations
Knowledge-Based Problem Solving by a Labelled Production System
Content-Aware Hierarchical Point-of-Interest Embedding Model for Successive POI Recommendation
Machine Learning for Software Reuse
Learning to Run Heuristics in Tree Search
Efficient Latent Structural Perceptron with Hybrid Trees for Semantic Parsing
Application of Automatic Transformations to Program Verification
DifTraj: Diffusion Inspired by Intrinsic Intention and Extrinsic Interaction for Multi-Modal Trajectory Prediction
Effect of Age on Postural Balance and Control: Graph Based Connectivity Analysis on Brain Network
Symbolic Reasoning with Relative Orders of Magnitude
Planning Under Uncertainty: Some Key Issues
Inductive Logic Programming: Inverse Resolution and Beyond
Self-calibration Enhanced Whole Slide Pathology Image Analysis
EZLearn: Exploiting Organic Supervision in Automated Data Annotation
State Feedback Enhanced Graph Differential Equations for Multivariate Time Series Forecasting
Individual Rationality in Topological Distance Games Is Surprisingly Hard
Computing Near Optimal Strategies for Stochastic Investment Planning Problems
Face Photo-Sketch Synthesis via Knowledge Transfer
From Answer Set Logic Programming to Circumscription via Logic of GK
Cost-aware Cascading Bandits
First-Order Rewritability of Temporal Ontology-Mediated Queries
Bidirectional Use of Knowledge in the Multi-modal NL Access System XTRA
Improving Stochastic Block Models by Incorporating Power-Law Degree Characteristic
Real-Time Opponent Modeling in Trick-Taking Card Games
Online Learning of k-CNF Boolean Functions
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics
Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments
Computer Games - Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers
A Novel Approach to Model Generation for Heterogeneous Data Classification
Adaptive Production Systems
Antibody Design and Optimization with Multi-scale Equivariant Graph Diffusion Models for Accurate Complex Antigen Binding
Fusion Label Enhancement for Multi-Label Learning
Personality Trait Classification of Essays with the Application of Feature Reduction
The Traveling Tournament Problem with Maximum Tour Length Two: A Practical Algorithm with An Improved Approximation Bound
Multi-Population Congestion Games With Incomplete Information
Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter
Incorporating Prototype Theory in Convolutional Neural Networks
Improving Prediction Certainty Estimation for Reliable Early Exiting via Null Space Projection
Discriminative Bayesian Nonparametric Clustering
Systematic Versus Stochastic Constraint Satisfaction
Epistemic-entrenchment Characterization of Parikh's Axiom
Refining and Extending the Procedural Net
A Robust Automated Pipeline for Localizing SEEG Electrode Contacts
Learning General Search Control from Outside Guidance
Copula Mixed-Membership Stochastic Blockmodel
Maps for Verbs: The Relation Between Interaction Dynamics and Verb Use
Statistical Regimes and Runtime Prediction
MultiPar-T: Multiparty-Transformer for Capturing Contingent Behaviors in Group Conversations
When Transfer Learning Meets Cross-City Urban Flow Prediction: Spatio-Temporal Adaptation Matters
Convolutional Neural Networks with Compression Complexity Pooling for Out-of-Distribution Image Detection
Transfer Learning via Optimal Transportation for Integrative Cancer Patient Stratification
Election with Bribe-Effect Uncertainty: A Dichotomy Result
Prefixed Tableaux Systems for Modal Logics with Enriched Languages
Analysis of Web Usage Patterns in Consideration of Various Contextual Factors
Profit-Driven Matching in E-Marketplaces: Trading Composable Commodities
Preferential Semantics for Causal Systems
Trajectory-Dependent Generalization Bounds for Pairwise Learning with φ-mixing Samples
GladCoder: Stylized QR Code Generation with Grayscale-Aware Denoising Process
Revision by Comparison for Ranking Functions
Improving Coevolutionary Search for Optimal Multiagent Behaviors
Dynamically Quantized Spaces for Focusing the Hough Transform
Building Natural Language Interfaces for Rule-based Expert Systems
FBLG: A Local Graph Based Approach for Handling Dual Skewed Non-IID Data in Federated Learning
Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition
Generating Recommendation Evidence Using Translation Model
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals
NLocalSAT: Boosting Local Search with Solution Prediction
Convergence Analysis of Gradient Descent for Eigenvector Computation
FedHAN: A Cache-Based Semi-Asynchronous Federated Learning Framework Defending Against Poisoning Attacks in Heterogeneous Clients
Complexity of Probabilistic Planning under Average Rewards
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases
Deep Video Harmonization With Color Mapping Consistency
SparseSense: Human Activity Recognition from Highly Sparse Sensor Data-streams Using Set-based Neural Networks
Progressive Label Propagation for Semi-Supervised Multi-Dimensional Classification
Multimodal Representation Distribution Learning for Medical Image Segmentation
Learning Hostname Preference to Enhance Search Relevance
Social Instruments for Robust Convention Emergence
Legal Judgment Prediction: A Survey of the State of the Art
A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI Interaction
Barriers and Challenges of Knowledge Management in a Gas Company
A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem
Proceedings of the Tenth International Workshop Modelling and Reasoning in Context co-located with the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) and the 23rd European Conference on Artificial Intelligence (ECAI 2018), Stockholm, Sweden, July 13, 2018
Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation
Towards "On the Go" Matching of Linked Open Data Ontologies
Variable-Depth Natural Language Understanding
Natural Object Recognition: A Theoretical Framework and Its Implementation
Using Ontologies to Access Complex Data: Applications on Bio-Imaging
Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems
A Pipeline for Extracting Multi-Modal Markers for Meaning in Lectures
Improved Parallel Algorithm for Non-Monotone Submodular Maximization under Knapsack Constraint
Delve into Base-Novel Confusion: Redundancy Exploration for Few-Shot Class-Incremental Learning
From Interaction Data to Plan Libraries: A Clustering Approach
Online Selection of Mediated and Domain-Specific Predictions for Improved Recommender Systems
Cassification of Movement Quality in A Weight-shifting Exercise
Conditional Information Bottleneck-Based Multivariate Time Series Forecasting
FAHT: An Adaptive Fairness-aware Decision Tree Classifier
Annotated Production Systems: A Model for Skill Acquisition
Fairness without the Sensitive Attribute via Causal Variational Autoencoder
Building a Personalized Messaging System for Health Intervention in Underprivileged Regions Using Reinforcement Learning
Spiking Graph Convolutional Networks
Subsumption And Connection Graphs
Tractable Cover Compilations
CFM: Convolutional Factorization Machines for Context-Aware Recommendation
Constructing and Refining Ontologies within Explanation-Capable Agents
Image Segmentation Technique for Locating Automotive Parts on Belt Conveyors
Weakening Commensurability Hypothesis in Possibilistic Qualitative Decision Theory
Multi-Prototype Networks for Unconstrained Set-based Face Recognition
R-MAX - A General Polynomial Time Algorithm for Near-Optimal Reinforcement Learning
CLLMRec: Contrastive Learning with LLMs-based View Augmentation for Sequential Recommendation
The ACCompanion: Combining Reactivity, Robustness, and Musical Expressivity in an Automatic Piano Accompanist
How Pervasive Is the Myerson-Satterthwaite Impossibility?
Sampling Winners in Ranked Choice Voting
AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs
Confidence-based Self-Corrective Learning: An Application in Height Estimation Using Satellite LiDAR and Imagery
Factory Modelling, Simulation, and Scheduling in the Intelligent Management System
Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban
Kemeny Consensus Complexity
JEPOO: Highly Accurate Joint Estimation of Pitch, Onset and Offset for Music Information Retrieval
A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring
Multi-View Multiple Clustering
Zero-shot High-fidelity and Pose-controllable Character Animation
Planning for Gene Regulatory Network Intervention
Composition in Hierarchical CLP
Boosting Variational Inference With Locally Adaptive Step-Sizes
Adaptive Edge Attention for Graph Matching with Outliers
A Fast Adaptive Randomized PCA Algorithm
Learning to Design Fair and Private Voting Rules (Extended Abstract)
Adaptive Graph Unlearning
Activity Recognition with Finite State Machines
AggPose: Deep Aggregation Vision Transformer for Infant Pose Estimation
Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning
Clustering-Based Online Player Modeling
Preferences for Model Selection in Explanation
Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in Language
Unsupervised Domain Adaptation of a Pretrained Cross-Lingual Language Model
A De-singularity Subgradient Approach for the Extended Weber Location Problem
Cause-Effect Association between Event Pairs in Event Datasets
Sequential Halving for Partially Observable Games
Understanding the Power of Clause Learning
A Probabilistic Code Balance Constraint with Compactness and Informativeness Enhancement for Deep Supervised Hashing
Reinforcement Learning Based Sparse Black-box Adversarial Attack on Video Recognition Models
Winner Robustness via Swap- and Shift-Bribery: Parameterized Counting Complexity and Experiments
Convergence in Multi-Issue Iterative Voting under Uncertainty
Aggregation and Purification: Dual Enhancement Network for Point Cloud Few-shot Segmentation
Optimal Feature Selection for Decision Robustness in Bayesian Networks
CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method
Daydreaming in Humans and Computers
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
Minimizing Weighted Counterfactual Regret with Optimistic Online Mirror Descent
Constrained Policy Optimization for Controlled Contextual Bandit Exploration
Optical Navigation by the Method of Differences
Neural Machine Translation with Error Correction
Physics-Informed Neural Networks: Minimizing Residual Loss with Wide Networks and Effective Activations
Incompleteness and Incomparability in Preference Aggregation
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
Tractable Fragments of Datalog with Metric Temporal Operators
Towards Robust Model Reuse in the Presence of Latent Domains
Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer
Algorithm-Hardware Co-Design for Efficient Brain-Inspired Hyperdimensional Learning on Edge (Extended Abstract)
Causes of Effects: Learning Individual Responses from Population Data
HyperFed: Hyperbolic Prototypes Exploration with Consistent Aggregation for Non-IID Data in Federated Learning
An Architecture for Developing Context-aware Systems
Multi-Step Multi-Sensor Hider-Seeker Games
Pseudo Supervised Matrix Factorization in Discriminative Subspace
Stratified Planning
The Logic of Dynamic Systems
Learning from Demonstrations with High-Level Side Information
A Symbol Is Not a Symbol
FedCCH: Automatic Personalized Graph Federated Learning for Inter-Client and Intra-Client Heterogeneity
Towards a principled approach to semantic interoperability
The Complexity of Safe Manipulation under Scoring Rules
An Interactive Program for Conversational Elecitation of Decision Structures
A Focused, Context-Sensitive Approach to Monitoring
The Knowledge Required to Interpret Noun Compounds
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
MMET: A Multi-Input and Multi-Scale Transformer for Efficient PDEs Solving
BKT-POMDP: Fast Action Selection for User Skill Modelling over Tasks with Multiple Skills
Tracking Many Objects with Many Sensors
Weakening the Influence of Clothing: Universal Clothing Attribute Disentanglement for Person Re-Identification
A Novel Distribution-Embedded Neural Network for Sensor-Based Activity Recognition
Adaptive Control of Acyclic Progressive Processing Task Structures
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation
Clinical-Reasoning Skill Acquisition through Intelligent Group Tutoring
Heuristics Based on Unit Propagation for Satisfiability Problems
Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems
EventDrop: Data Augmentation for Event-based Learning
Asking Effective and Diverse Questions: A Machine Reading Comprehension based Framework for Joint Entity-Relation Extraction
CogTwin: A Hybrid Cognitive Architecture Framework for Adaptable and Cognitive Digital Twins
Automatic Construction and Evaluation of a Large Semantically Enriched Wikipedia
Acquiring Knowledge by Efficient Query Learning
Diversifying Personalized Recommendation with User-session Context
KnowMDD: Knowledge-guided Cross Contrastive Learning for Major Depressive Disorder Diagnosis
Supporting Historical Photo Identification with Face Recognition and Crowdsourced Human Expertise (Extended Abstract)
Dialectical Abstract Argumentation: A Characterization of the Marking Criterion
Adversarially Regularized Graph Autoencoder for Graph Embedding
A Music Stream Segregation System Based on Adaptive Multi-Agents
Context Aware Sequence Modeling
Scheduling of Processes in a Speech Understanding System Based on Approximate Reasoning
Multi-Sourced Compositional Generalization in Visual Question Answering
Learning Stochastic Equivalence based on Discrete Ricci Curvature
Knowledge Driven Dimension Reduction for Clustering
Unsupervised Cross-Modality Domain Adaptation of ConvNets for Biomedical Image Segmentations with Adversarial Loss
Learning Sparse Interpretable Features For NAS Scoring From Liver Biopsy Images
Omniscient Debugging for GOAL Agents in Eclipse (Demonstration)
Maintaining Diversity Provably Helps in Evolutionary Multimodal Optimization
Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR
Modular Deep Reinforcement Learning for Multi-Workload Offloading in Edge Networks
HUGIN - A Shell for Building Bayesian Belief Universes for Expert Systems
Opponent Modeling in Scrabble
Complexity Results and Exact Algorithms for Fair Division of Indivisible Items: A Survey
Cascade Dynamics Modeling with Attention-based Recurrent Neural Network
Diff-LMM: Diffusion Teacher-Guided Spatio-Temporal Perception for Video Large Multimodal Models
A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge
Solving Problems by Formula Manipulation in Logic and Linear Inequalities
Sub-Band Based Attention for Robust Polyp Segmentation
Computer-Aided Design for a Reader of Hand-Printed Characters
Obvious Independence of Clones - Extended Abstract
Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks
DERI: Cross-Modal ECG Representation Learning with Deep ECG-Report Interaction
The Adjusted Winner Procedure: Characterizations and Equilibria
NEGOTIATOR: A Comprehensive Framework for Human-Agent Negotiation Integrating Preferences, Interaction, and Emotion
Large Language Model as a Policy Teacher for Training Reinforcement Learning Agents
Weakly-supervised Audio Temporal Forgery Localization via Progressive Audio-language Co-learning Network
ConvLogMiner: A Real-Time Conversational Lifelog Miner
CoupledCF: Learning Explicit and Implicit User-item Couplings in Recommendation for Deep Collaborative Filtering
Testing Correctness of Strategies in Game-Playing Programs
Incremental Learning in a Fuzzy Intelligent System
Automatic Program Annotation
The Vocal Speech Understanding System
Combining General Hand-Made and Automatically Constructed Thesauri for Query Expansion in Information Retrieval
EvaNet: Elevation-Guided Flood Extent Mapping on Earth Imagery
Contextualized Speech Recognition: Rethinking Second-Pass Rescoring with Generative Large Language Models
MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings
Process Recovery
Emergency Response Optimization using Online Hybrid Planning
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability
Analysis of Inheritance Mechanisms in Agent-Oriented Programming
Topology Attack and Defense for Graph Neural Networks: An Optimization Perspective
An Algorithm for Multi-Attribute Diverse Matching
Zero-shot Metric Learning
Towards Generalized Rule-based Updates
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement
Phenotypic Profile-Informed Generation of Drug-Like Molecules via Dual-Channel Variational Autoencoders
Statistical GGP Game Decomposition
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary: Extended abstract
Automatically Extracting and Comparing Lexicalized Grammars for Different Languages
Towards Friendly Concept-Learners
Analysis of Topic Propagation in Therapy Sessions Using Partially Labeled Latent Dirichlet Allocation
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes
A Goal-Oriented Meaning-based Statistical Multi-Step Math Word Problem Solver with Understanding, Reasoning and Explanation
Adaboost with Auto-Evaluation for Conversational Models
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments
On the Complexity of Voting Manipulation under Randomized Tie-Breaking
Encoding Closure Operators into Neural Networks