yusuke1997/dblp-id-title huggingface dataset:
Strategyproofness and Monotone Allocation of Auction in Social Networks
PAMol: Pocket-Aware Drug Design Method with Hypergraph Representation of Protein Pocket Structure and Feature Fusion
The Dichotomous Affiliate Stable Matching Problem: Approval-Based Matching with Applicant-Employer Relations
ESP-PCT: Enhanced VR Semantic Performance through Efficient Compression of Temporal and Spatial Redundancies in Point Cloud Transformers
Tractable Multi-Agent Path Planning on Grid Maps
Generalization through Diversity: Improving Unsupervised Environment Design
A Survey on Intersectional Fairness in Machine Learning: Notions, Mitigation, and Challenges
T2S: High-resolution Time Series Generation with Text-to-Series Diffusion Models
Affinity Propagation Clustering Using Centroid-Deviation-Distance Based Similarity
ZMOB: A New Conputing Engine for AI
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract)
Multi-Kernel Multi-Label Learning with Max-Margin Concept Network
Item Selection Strategies for Collaborative Filtering
Preference Elicitation and Explanation in Iterative Planning
Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width
MultifacetEval: Multifaceted Evaluation to Probe LLMs in Mastering Medical Knowledge
Cost-Saving Effect of Crowdsourcing Learning
Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques
Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning
Case-based Modeling with Qualitative Indices
Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training
Feedback-Based Adaptive Crossover-Rate in Evolutionary Computation
Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving
For an Incremental Computation of Intrasentential Coreference
Complete Algorithms for Cooperative Pathfinding Problems
MergeNAS: Merge Operations into One for Differentiable Architecture Search
UNBERT: User-News Matching BERT for News Recommendation
Vehicles Capable of Dynamic Vision
Combining Probabilistic Population Codes
Processing Symbols at Variable Speed in DUAL: Connectionist Activation as Power Supply
Tactile Sensation for Robots
Formal Explanations of Neural Network Policies for Planning
Prompt-Aware Controllable Shadow Removal
A Label Attention Model for ICD Coding from Clinical Text
Towards Fast and Accurate Multi-Person Pose Estimation on Mobile Devices
Projection Using Regression and Sensors
The BATmobile: Towards a Bayesian Automated Taxi
Improved Strong Worst-case Upper Bounds for MDP Planning
Explanation in the Situation Calculus
Neural Computing on a One Dimensional SIMD Array
Combinatorial Multi-Armed Bandits with Concave Rewards and Fairness Constraints
Human Gaze Assisted Artificial Intelligence: A Review
An Improved Probabilistic Ant based Clustering for Distributed Databases
Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go
Feature and Instance Joint Selection: A Reinforcement Learning Perspective
Fast Structural Binary Coding
Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximation in Reinforcement Learning
Better Strategyproof Mechanisms without Payments or Prior - An Analytic Approach
Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film Studies
On the Neural Tangent Kernel of Deep Networks with Orthogonal Initialization
Category-aware EEG Image Generation Based on Wavelet Transform and Contrast Semantic Loss
A Comprehensive Survey on Physical Risk Control in the Era of Foundation Model-enabled Robotics
Learning Environmental Calibration Actions for Policy Self-Evolution
A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations
Smoothing for Bracketing Induction
Occam's Razor Just Got Sharper
DiffFERV: Diffusion-based Facial Editing of Real Videos
The Navigation System of the JPL Robot
Food image generation using a large amount of food images with conditional GAN: ramenGAN and recipeGAN
Evaluation Methods for Representation Learning: A Survey
Using Case-Base Data to Learn Adaptation Knowledge for Design
Multi-attention Meta Learning for Few-shot Fine-grained Image Recognition
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)
SemanticMask: A Contrastive View Design for Anomaly Detection in Tabular Data
Sampling Combinatorial Spaces Using Biased Random Walks
An Input-aware Factorization Machine for Sparse Prediction
Advancing Stain Transfer for Multi-Biomarkers: A Human Annotation-Free Method Based on Auxiliary Task Supervision
Knowledge Structure Definition for an Expert System in Primary Medical Care
Jointly Learning Prices and Product Features
AI Diagnostic Assistant (AIDA): A Predictive Model for Diagnoses from Health Records in Clinical Decision Support Systems
Beyond Patterns: Harnessing Causal Logic for Autonomous Driving Trajectory Prediction
The Use of Color in Highlight Identification
Width-Based Algorithms for Common Problems in Control, Planning and Reinforcement Learning
Socrates: A Production-Driven SCM Agent
Game-theoretic Mechanisms for Eliciting Accurate Information
Adaptive Web Navigation for Wireless Devices
Efficient Hi-Fi Style Transfer via Statistical Attention and Modulation
Minimum Cross-Entropy Reasoning: A Statistical Justification
Accurate MRI Reconstruction via Multi-Domain Recurrent Networks
Reinforcement Learning from Demonstration through Shaping
Translations as Additional Contexts for Sentence Classification
Updates on the Complexity of SHAP Scores
Two-stage Risk Control with Application to Ranked Retrieval
Semi-supervised Three-dimensional Reconstruction Framework with GAN
Dual Contrastive Graph-Level Clustering with Multiple Cluster Perspectives Alignment
A Description Logic for Analogical Reasoning
Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey
Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts
Affine Equivariant Autoencoder
A Method for Automatically Analyzing Programs
Towards a Context Theory for Context-aware systems
Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract)
GLIMPSE - A Statistical Adventure
Non-Standard Semantics for the Method of Temporal Arguments
FS-KEN: Few-shot Knowledge Graph Reasoning by Adversarial Negative Enhancing
Context-Sensitive Semantic Smoothing using Semantically Relatable Sequences
Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems
Dynamic Student Modelling in an Intelligent Tutor for LISP Programming
Next Steps in Propositional Horn Contraction
Accelerating Diffusion-based Super-Resolution with Dynamic Time-Spatial Sampling
Content-Driven Detection of Cyberbullying on the Instagram Social Network
Preliminary Report On A Program For Generating Natural Langugage
Emotion-Controllable Generalized Talking Face Generation
Multiple Agents and the Heuristic Ascription of Belief
Computer Solution of Calculus Word Problems
RobustTrend: A Huber Loss with a Combined First and Second Order Difference Regularization for Time Series Trend Filtering
Learning a Distance Metric by Empirical Loss Minimization
Maximum Expected Likelihood Estimation for Zero-resource Neural Machine Translation
A Computational Model of Referring
Enhancing Campaign Design in Crowdfunding: A Product Supply Optimization Perspective
Deep Abnormality Detection in Video Data
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5
Problem Solving in Federative Environments: The FRESCO Concept of Cooperative Agents
Automated Planning to Evolve Smart Grids with Renewable Energies
Temporal Context Representation and Reasoning
Intelligent Agents for Auction-based Federated Learning: A Survey
Minimum Search to Establish Worst-Case Guarantees in Coalition Structure Generation
Accelerating Neural Architecture Search via Proxy Data
Towards Regularized Mixture of Predictions for Class-Imbalanced Semi-Supervised Facial Expression Recognition
Bridging the Gap between Observation and Decision Making: Goal Recognition and Flexible Resource Allocation in Dynamic Network Interdiction
Parameter-Efficient Fine-Tuning with Circulant and Diagonal Vectors
Adaptive Expert Models for Federated Learning
Klint: Assisting Integration of Heterogeneous Knowledge
Learning approaches for natural language processing
Semantic-Guided Diffusion Model for Single-Step Image Super-Resolution
Estimating Position of Bio-Electric Potential Dataset as A Natural Sensor using Time Series Approach
Early Diagnosis of Lyme Disease by Recognizing Erythema Migrans Skin Lesion from Images Utilizing Deep Learning Techniques
Query Answering in Ontologies under Preference Rankings
Collaborative Multi-LoRA Experts with Achievement-based Multi-Tasks Loss for Unified Multimodal Information Extraction
A General Proof Method for First-Order Modal Logic
Image Processing by Experimental Arrayed Processor
Prioritising Behaviours in Qualitative Simulation
Some Notes on Motion Understanding
DMRAN: A Hierarchical Fine-Grained Attention-Based Network for Recommendation
Reinforced Self-Attention Network: a Hybrid of Hard and Soft Attention for Sequence Modeling
A Partial Taxonomy of Knowledge about Actions
Curriculum Learning Strategies for Hindi-English Code-Mixed Sentiment Analysis
A Language for Implementing Arbitrary Logics
Multi-prototype Support Vector Machine
On the Efficiency and Equilibria of Rich Ads
Mechanizing a Particularly Expressive Many Sorted Logic
Artificial Prediction Markets for Online Prediction
Task Ontology Makes It Easier To Use Authoring Tools
BinMetric: A Comprehensive Binary Code Analysis Benchmark for Large Language Models
Searching for Walverine 2005
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics
A Structural Approach to Reasoning with Quantified Boolean Formulas
When Discriminative Learning of Bayesian Network Parameters Is Easy
Multi-Robot Coordination and Layout Design for Automated Warehousing
A Scrabble Crossword Game Playing Program
Remote Sensing for Water Quality: A Multi-Task, Metadata-Driven Hypernetwork Approach
Riding the Wave: Multi-Scale Spatial-Temporal Graph Learning for Highway Traffic Flow Prediction Under Overload Scenarios
Utilizing Device Behavior in Structure-Based Diagnosis
Escaping Feature Twist: A Variational Graph Auto-Encoder for Node Clustering
A Goal-Driven Tree-Structured Neural Model for Math Word Problems
Exploiting Persona Information for Diverse Generation of Conversational Responses
Distance-Bounded Consistent Query Answering
A KNN Based Kalman Filter Gaussian Process Regression
Single-Shot Epistemic Logic Program Solving
Qualitative Reasoning about Physical Processes
Towards an Integrated Logic of Space, Time and Motion
Effectiveness of Different Recommender Algorithms in the Mobile Internet: A Case Study
Can We Benefit from Metrics in KBS Development?
Regression Residual Reasoning with Pseudo-labeled Contrastive Learning for Uncovering Multiple Complex Compositional Relations
Belief Merging Operators as Maximum Likelihood Estimators
Towards Generating Summaries for Lexically Confusing Code through Code Erosion
Transferability and Stability of Learning with Limited Labelled Data in Multilingual Text Document Classification
Sequential Dependence and Non-linearity in Affective Responses: a Skin Conductance Example
An Aggregation Procedure for Building Episodic Memory
Parallel Behavior Composition for Manufacturing
Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup Times on One and Two Machines
Judgmental Reasoning for Expert Systems
Demonizing Production Systems
Teaching Machines to Ask Questions
Identifying Key Observers to Find Popular Information in Advance
Mappa Mundi: An Interactive Artistic Mind Map Generator with Artificial Imagination
Design of a Extraction System for Definitional Contexts from Biomedical Corpora
Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles
TFCD: Towards Multi-modal Sarcasm Detection via Training-Free Counterfactual Debiasing
Model-Based Closed-Loop Control Algorithm for Stochastic Partial Differential Equation Control
Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues
The Role of Knowledge Management in IT Projects
ThingLab - An Object-Oriented System for Building Simulations Using Constraints
Transfer Hashing with Privileged Information
Temporal Planning with Clock-Based SMT Encodings
A Rollout-Based Search Algorithm Unifying MCTS and Alpha-Beta
Distributed Self-Paced Learning in Alternating Direction Method of Multipliers
From Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph based Representations
Vive la difference! Individualised Interaction with Users
A Statistical Study of Visual Resolution Thresholds
Towards Robust Co-Clustering
On the Channel Pruning using Graph Convolution Network for Convolutional Neural Network Acceleration
Reading selectively via Binary Input Gated Recurrent Unit
Approximate Envy-Freeness in Graphical Cake Cutting
Exclusivity Regularized Machine: A New Ensemble SVM Classifier
Medical Image Segmentation using Squeeze-and-Expansion Transformers
Hybrid Actor-Critic Reinforcement Learning in Parameterized Action Space
Putting a Compass on the Map of Elections
Semi-Automated Analysis of Protocols From Novices and Experts Solving Physics Problems
Rebalancing Expanding EV Sharing Systems with Deep Reinforcement Learning
An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing
Proceedings of the Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management, MADiMa@IJCAI 2018, Mässvägen, Stockholm, Sweden, July 15, 2018
Machine Unlearning via Null Space Calibration
A Modest Proposal: Reasoning Beyond the Limits of Ontologies
Conjunctive Regular Path Queries in Lightweight Description Logics
Graph-based Semi-supervised Local Clustering with Few Labeled Nodes
Equitable Allocations of Indivisible Goods
Bayesian Optimization of Partition Layouts for Mondrian Processes
Negotiation Using Logic Programming with Consistency Restoring Rules
Interacting Goals And Their Use
Numeric Planning via Search Space Abstraction
A Method of Computing Generalized Bayesian Probability Values for Expert Systems
Aggregation Mechanism Based Graph Heterogeneous Networks Distillation
BridgeVoC: Neural Vocoder with Schrödinger Bridge
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas
On AI-Assisted Pneumoconiosis Detection from Chest X-rays
Fast Algorithms for SAT with Bounded Occurrences of Variables
A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a Bin
Efficient belief-state AND-OR search, with application to Kriegspiel
On the Generalization Capability of Multi-Layered Networks in the Extraction of Speech Properties
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)
An Examination of Fairness of AI Models for Deepfake Detection
WDMIR: Wavelet-Driven Multimodal Intent Recognition
Techniques for Sensor-Based Diagnosis
GSTNet: Global Spatial-Temporal Network for Traffic Flow Prediction
Feature Space Targeted Attacks by Statistic Alignment
A Structural Complexity Analysis of Hierarchical Task Network Planning
Preference-Based Configuration of Web Page Content
Large-Scale System Development in Several Lisp Environments
The Synthesis of Programs by Analogy
Imperceptible Backdoor Attack: From Input Space to Feature Representation
Fair Division of a Graph into Compact Bundles
Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning
Multiscale Analysis of Document Corpora Based on Diffusion Models
Extending NoHR for OWL 2 QL
Most Probable Explanations for Probabilistic Database Queries
Robust Natural Language Processing - Combining Reasoning, Cognitive Semantics, and Construction Grammar for Spatial Language
Shielded Base Contraction (Extended Abstract)
By Fair Means or Foul: Quantifying Collusion in a Market Simulation with Deep Reinforcement Learning
Less Than General Production System Architectures
Learning Partially Observable Deterministic Action Models
Multi-Proxy Learning from an Entropy Optimization Perspective
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with Application to False-name Manipulation
A Context Model for Personal Knowledge Management
Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief Networks
Direction-Optimizing Breadth-First Search with External Memory Storage
BRIGHT-VO: Brightness-Guided Hybrid Transformer for Visual Odometry with Multi-modality Refinement Module
On-Line Execution of cc-Golog Plans
A Modular Tool Kit for Knowledge Management
Artificial Intelligence for Knowledge Management - 8th IFIP WG 12.6 International Workshop, AI4KM 2021, Held at IJCAI 2020, Yokohama, Japan, January 7-8, 2021, Revised Selected Papers
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models
Weakening Covert Networks by Minimizing Inverse Geodesic Length
Scaling Goal-based Exploration via Pruning Proto-goals
On a Tool for Reasoning with Mass Distributions
AdMix: A Mixed Sample Data Augmentation Method for Neural Machine Translation
Binary Linear Compression for Multi-label Classification
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)
Exploiting High-Order Information in Heterogeneous Multi-Task Feature Learning
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report
Interactive Value Iteration for Markov Decision Processes with Unknown Rewards
Prime Compilation of Non-Clausal Formulae
Hyper-parameter Tuning under a Budget Constraint
Pivot-based Maximal Biclique Enumeration
Unifying Online and Counterfactual Learning to Rank: A Novel Counterfactual Estimator that Effectively Utilizes Online Interventions (Extended Abstract)
WeatherGNN: Exploiting Meteo- and Spatial-Dependencies for Local Numerical Weather Prediction Bias-Correction
From Reality to Perception: Genre-Based Neural Image Style Transfer
Focus on the Whole Character: Discriminative Character Modeling for Scene Text Recognition
Understanding Web Data Sources for Search and Exploration
Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey
Choose your Data Wisely: A Framework for Semantic Counterfactuals
Mechanism Design with Predictions
Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach
Time-evolving Text Classification with Deep Neural Networks
A Bayesian Approach to Argument-Based Reasoning for Attack Estimation
A Resolution Theorem for Algebraic Domains
Forecast Oriented Classification of Spatio-Temporal Extreme Events
Plan Recognition as Planning
Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games
Rational Inference Relations from Maximal Consistent Subsets Selection
Networked Fairness in Cake Cutting
Look-ahead Search on Top of Policy Networks in Imperfect Information Games
Modeling the Impact of Policy Interventions for Sustainable Development
A Design for an Automatic Programming System
Online Speed Adaptation Using Supervised Learning for High-Speed, Off-Road Autonomous Driving
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
Consensus-Guided Incomplete Multi-view Clustering via Cross-view Affinities Learning
Distance Based Modeling of Interactions in Structured Regression
Few-shot Human Motion Prediction via Learning Novel Motion Dynamics
Integrity and Change in Modular Ontologies
Map Validation and Self-location in a Graph-like World
Partially Supervised Graph Embedding for Positive Unlabelled Feature Selection
Generating Better Decision Trees
Visualisation and 'Diagnostic Classifiers' Reveal how Recurrent and Recursive Neural Networks Process Hierarchical Structure (Extended Abstract)
Program Synthesis from Natural Deduction Proofs
A Perspective on Automatic Programming
Sequential and Diverse Recommendation with Long Tail
Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments
Computing Minimum-Cardinality Diagnoses by Model Relaxation
CCR - A Content-Collaborative Reciprocal Recommender for Online Dating
Integrating Information, Applications and Services on the Web
Event Models for Recognition and Natural Language Description of Events in Real-World Image Sequences
Medical Plan-Analysis: The Attending System
Semantic Modeling for Deductive Question-Answering
Preference Restrictions in Computational Social Choice: Recent Progress
Proposing Measurements in Dynamic Systems
Virtual World as Interface for Human-Robot Interaction
Picturized and Recited with Dialects: A Multimodal Chinese Representation Framework for Sentiment Analysis of Classical Chinese Poetry
Social Choice for Agents with General Utilities
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems
Heterogeneous Federated Learning with Scalable Server Mixture-of-Experts
Relation Regularized Matrix Factorization
Stacked Similarity-Aware Autoencoders
Exploiting Neuron and Synapse Filter Dynamics in Spatial Temporal Learning of Deep Spiking Neural Network
Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming
Memory Augmented State Space Model for Time Series Forecasting
When Computational Representation Meets Neuroscience: A Survey on Brain Encoding and Decoding
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993
Recognizing Top-Monotonic Preference Profiles in Polynomial Time
On the Decidability of Intuitionistic Tense Logic without Disjunction
New Algorithms for the Fair and Efficient Allocation of Indivisible Chores
Anomaly Mining - Past, Present and Future
An NCDE-based Framework for Universal Representation Learning of Time Series
Increasing Coherence in a Distributed Problem-Solving Network
Hierarchical Object Discovery and Dense Modelling From Motion Cues in RGB-D Video
Unsupervised Learning of Scene Flow Estimation Fusing with Local Rigidity
Progressive Comparison for Ranking Estimation
Handling Uncertainty in Recommender Systems under the Belief Function Theory
Improved Integer Programming Approaches for Chance-Constrained Stochastic Programming
Approximating the Shapley Value Using Stratified Empirical Bernstein Sampling
Sentiment-enhanced Multi-hop Connected Graph Attention Network for Multimodal Aspect-Based Sentiment Analysis
Mechanism of Deduction in a Question-Answering System with Natural Language Input
An LLM-enhanced Agent-based Simulation Tool for Information Propagation
Robust Face Sketch Synthesis via Generative Adversarial Fusion of Priors and Parametric Sigmoid
Features of Explainability: How users understand counterfactual and causal explanations for categorical and continuous features in XAI
MR-GNN: Multi-Resolution and Dual Graph Neural Network for Predicting Structured Entity Interactions
UniM-OV3D: Uni-Modality Open-Vocabulary 3D Scene Understanding with Fine-Grained Feature Representation
Automatically Inferring Database Schemas
Trailer Generation via a Point Process-Based Visual Attractiveness Model
Instance Weighting with Applications to Cross-domain Text Classification via Trading off Sample Selection Bias and Variance
Re: Draw - Context Aware Translation as a Controllable Method for Artistic Production
MRD-Net: Multi-Modal Residual Knowledge Distillation for Spoken Question Answering
Artificial Thought and Emergent Mind
KDDC: Knowledge-Driven Disentangled Causal Metric Learning for Pre-Travel Out-of-Town Recommendation
Overcoming Language Priors with Self-supervised Learning for Visual Question Answering
PALA: Class-imbalanced Graph Domain Adaptation via Prototype-anchored Learning and Alignment
On the Reuse Bias in Off-Policy Reinforcement Learning
Rule Creation and Rule Learning Through Environmental Exploration