yusuke1997/dblp-id-title huggingface dataset:
Dress like an Internet Celebrity: Fashion Retrieval in Videos
Artificial Intelligence and Automatic Programming in CAI
Strategy Proof Mechanisms for Facility Location with Capacity Limits
Hyperbolic Knowledge Transfer with Class Hierarchy for Few-Shot Learning
Locality in Random SAT Instances
Learning and Generalization of Characteristic Descriptions: Evaluation Criteria and Comparative Review of Selected Methods
DPVI: A Dynamic-Weight Particle-Based Variational Inference Framework
OSDP: Optimal Sharded Data Parallel for Distributed Deep Learning
A 'Recognition Cone' Perceptual System: Brief Test Results
Normative Multiagent Systems: The Dynamic Generalization
SCTrans: Multi-scale scRNA-seq Sub-vector Completion Transformer for Gene-selective Cell Type Annotation
Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora
Optimal Planning to Coordinate Science Data Collection and Downlink for a Constellation of Agile Satellites with Limited Storage
Robust Principal Component Analysis with Non-Greedy l 1 -Norm Maximization
DBPNet: Dual-Branch Parallel Network with Temporal-Frequency Fusion for Auditory Attention Detection
LLM-powered GraphQL Generator for Data Retrieval
A Probabilistic Framework for Resource-Constrained Multi-Agent Planning
Electrical Design: A Problem for Artificial Intelligence Research
Multiple Predicate Learning
A Characterization of the Semantics of Logic Programs with Aggregates
Monte Carlo Tree Search for Policy Optimization
A Geometric View of Conjugate Priors
Imitative Attacker Deception in Stackelberg Security Games
Representation and Hidden Bias II: Eliminating Defining Length Bias in Genetic Search via Shuffle Crossover
Attention as Relation: Learning Supervised Multi-head Self-Attention for Relation Extraction
NuMDS: An Efficient Local Search Algorithm for Minimum Dominating Set Problem
Prolog-ELF Incorporating Fuzzy Logic
Learning the Optimal Neighborhood Kernel for Classification
Mobile Portal Personalization: Tools and Techniques
Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks
Psychiatric Scale Guided Risky Post Screening for Early Detection of Depression
A Hybridized Planner for Stochastic Domains
A COP Model for Graph-Constrained Coalition Formation (Extended Abstract)
FD-UAD: Unsupervised Anomaly Detection Platform Based on Defect Autonomous Imaging and Enhancement
Tag, Copy or Predict: A Unified Weakly-Supervised Learning Framework for Visual Information Extraction using Sequences
A Comprehensive and Practical Model of Memory-Based Machine Translation
The Distortion of Threshold Approval Matching
Maxmin Participatory Budgeting
A Goal-Directed Dialogue System for Assistance in Safety-Critical Application
Equality Reasoning in Clause Graphics
A Neural Model for Joint Event Detection and Summarization
Max-Sum with Quadtrees for Decentralized Coordination in Continuous Domains
Advantages of a Transformational Grammar for Question Answering
Tense, Aspect, and Cognitive Representation of Time
A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases
Parallelism in AI Programs
Noise-Tolerant Windowing
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Wien, Austria, July 23, 2022
ExpertDiff: Head-less Model Reprogramming with Diffusion Classifiers for Out-of-Distribution Generalization
On Biases in Estimating Multi-Valued Attributes
Constructive Preference Elicitation by Setwise Max-Margin Learning
Constraint Acquisition via Partial Queries
Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes
RCC8 Is Polynomial on Networks of Bounded Treewidth
Semi-Supervised Learning for Integration of Aerosol Predictions from Multiple Satellite Instruments
MultiQuant: Training Once for Multi-bit Quantization of Neural Networks
Generating Grounded Responses to Counter Misinformation via Learning Efficient Fine-Grained Critiques
Show and Tell More: Topic-Oriented Multi-Sentence Image Captioning
TELOS, A Language for Building Well-Structured AI Models
Parallelism in LISP
Simple Coalitional Games with Beliefs
Social Media-based User Embedding: A Literature Review
Choice Set Misspecification in Reward Inference
Semantic Paramodulation for Horn Sets
Explanation in Constraint Satisfaction: A Survey
A Logic Prover for Text Processing
Theory of Linear Equations Applied to Program Transformation
Modelling Experiments in Scientific Discovery
HIPP: Protecting Image Privacy via High-Quality Reversible Protected Version
TextGTL: Graph-based Transductive Learning for Semi-supervised Text Classification via Structure-Sensitive Interpolation
The Scaffolded Sound Beehive
Temporal Projection and Explanation
C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition Formation
A Digital Gaming Intervention Combing Multitasking and Alternating Attention for ADHD: A Preliminary Study
InteractionNN: A Neural Network for Learning Hidden Features in Sparse Prediction
Talking about Trust in Heterogeneous Multi-Agent Systems
Rule Induction for Concept Hierarchy Alignment
Modeling the Stock Relation with Graph Network for Overnight Stock Movement Prediction
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems
Computer Description of Textured Surfaces
Energy-efficient Amortized Inference with Cascaded Deep Classifiers
Explicitly Coordinated Policy Iteration
Event Prediction in Complex Social Graphs using One-Dimensional Convolutional Neural Network
A Study of Empirical Learning for an Involved Problem
Combining Statistics and Semantics for Word and Document Clustering
Simple Conditionals with Constrained Right Weakening
Learning to Classify Texts Using Positive and Unlabeled Data
What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules
Neuromorphic Sequential Arena: A Benchmark for Neuromorphic Temporal Processing
KCNN: Kernel-wise Quantization to Remarkably Decrease Multiplications in Convolutional Neural Network
A Generalized Framework for Detecting Anomalies in Real-Time Using Contextual Information
Motion and Structure from Optical Flow
Towards Alleviating Traffic Congestion: Optimal Route Planning for Massive-Scale Trips
Knowledge-based Residual Learning
Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Conditional and Sequential Approval Voting on Combinatorial Domains
Textual Membership Queries
Informed Expectations to Guide GDA Agents in Partially Observable Environments
Stacked Sequential Learning
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Speech-Forensics: Towards Comprehensive Synthetic Speech Dataset Establishment and Analysis
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
Machine learning for interactive systems and robots: a brief introduction
Elicitation for Preferences Single Peaked on Trees
Learning Meta Word Embeddings by Unsupervised Weighted Concatenation of Source Embeddings
Automatic Program Debugging
WiCo: Win-win Cooperation of Bottom-up and Top-down Referring Image Segmentation
Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving
Cross-Problem Learning for Solving Vehicle Routing Problems
Algorithmic Composition Using Narrative Structure and Tension
Bidding Marginal Utility in Simultaneous Auctions
Factored Planning
SyncAnimation: A Real-Time End-to-End Framework for Audio-Driven Human Pose and Talking Head Animation
Explain Your Clusters with Words. The Role of Metadata in Interactive Clustering
Anytime Capacity Expansion in Medical Residency Match by Monte Carlo Tree Search
More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling Incentives
A Representation for Complex Physical Domains
LivePoem: Improving the Learning Experience of Classical Chinese Poetry with AI-Generated Musical Storyboards
Application of Theorem Proving to Problem Solving
Human-AI Interaction Generation: A Connective Lens for Generative AI and Procedural Content Generation
Aligning with Heterogenous Preferences for Kidney Exchange
STG2Seq: Spatial-Temporal Graph to Sequence Model for Multi-step Passenger Demand Forecasting
D-SCRlPT: A Computational Theory of Descriptions
Teacher Assistant-Based Knowledge Distillation Extracting Multi-level Features on Single Channel Sleep EEG
The Complexity of Theory Revision
Enhancing Label Representations with Relational Inductive Bias Constraint for Fine-Grained Entity Typing
A Visual-Sensor Model for Mobile Robot Localisation
A Property Testing Framework for the Theoretical Expressivity of Graph Kernels
Integrating Demand Response and Renewable Energy In Wholesale Market
Complexity Results in Epistemic Planning
The Representation and Use of a Visual Lexicon for Automated Graphics Generation
A Reactive Strategy for High-Level Consistency During Search
Modeling Interactive Agents in ALIVE
Database Organization for Qualitative Analysis: The NUDIST System
Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process
Music-to-Dance Generation with Optimal Transport
Opinion Sentence Search Engine on Open-Domain Blog
Algorithms for the Nearest Assignment Problem
MOSER: Learning Sensory Policy for Task-specific Viewpoint via View-conditional World Model
KUNet: Imaging Knowledge-Inspired Single HDR Image Reconstruction
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes
Leveraging Peer-Informed Label Consistency for Robust Graph Neural Networks with Noisy Labels
Using Aspiration Windows for Minimax Algorithms
Arc Consistency during Search
BAYHENN: Combining Bayesian Deep Learning and Homomorphic Encryption for Secure DNN Inference
Cutset Bayesian Networks: A New Representation for Learning Rao-Blackwellised Graphical Models
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications
Knowledge Explication: Current Situation and Future Prospects
MapGo: Model-Assisted Policy Optimization for Goal-Oriented Tasks
Emergence of Social Norms in Generative Agent Societies: Principles and Architecture
Selected Knowledge Management Aspects in Modern Education
Learning Optimal Temperature Region for Solving Mixed Integer Functional DCOPs
Graph Prompts: Adapting Video Graph for Video Question Answering
Explaining Deep Neural Network Models with Adversarial Gradient Integration
BESA: BERT-based Simulated Annealing for Adversarial Text Attacks
Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus
Interactive Clustering of Text Collections According to a User-Specified Criterion
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs
Maximum Nash Welfare and Other Stories About EFX
PewLSTM: Periodic LSTM with Weather-Aware Gating Mechanism for Parking Behavior Prediction
ProMix: Combating Label Noise via Maximizing Clean Sample Utility
Planning with Primary Effects: Experiments and Analysis
Spike Count Maximization for Neuromorphic Vision Recognition
Influence Maximization in Human-Intervened Social Networks
Bayesian Dynamic Mode Decomposition
A Strategic Analysis of Prepayments in Financial Credit Networks
Using hybrid connectionist learning for speech/language analysis
Symbolic Execution in Algorithm Design
Jumper: Learning When to Make Classification Decision in Reading
Metamorphic Testing and Certified Mitigation of Fairness Violations in NLP Models
The Nonlinear Nature of Plans
Coalitional Voting Manipulation: A Game-Theoretic Perspective
Methods For Analyzing Three Dimensional Scenes
Exploiting Known Taxonomies in Learning Overlapping Concepts
Implicational Molecules: A Method for Extracting Meaning from Input Sentences
Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning
GeNAS: Neural Architecture Search with Better Generalization
TCIC: Theme Concepts Learning Cross Language and Vision for Image Captioning
Control Algorithm of the Walker Climbing Over Obstacles
On the Cost Complexity of Crowdsourcing
A Novel Approach for Extracting Well-Founded Ontology Views
Inductive Inference of Context-free Languages - Context-free Expression Method
Evaluating Classifiers by Means of Test Data with Noisy Labels
Qualitatively Faithful Quantitative Prediction
Learning Discrete Representations via Constrained Clustering for Effective and Efficient Dense Retrieval (Extended Abstract)
Towards Highly Realistic Artistic Style Transfer via Stable Diffusion with Step-aware and Layer-aware Prompt
Bring Metric Functions into Diffusion Models
Collaborative Plans for Group Activities
Guiding Supervised Learning by Bio-Ontologies in Medical Data Analysis
Generalization Error of Linear Neural Networks in an Empirical Bayes Approach
Attention-based Pyramid Dilated Lattice Network for Blind Image Denoising
Learning to Read Irregular Text with Attention Mechanisms
Surprisingly Popular Voting Recovers Rankings, Surprisingly!
A Digitalis Therapy Advisor with Explanations
Grounding of Human Environments and Activities for Autonomous Robots
MARCO: A Memory-Augmented Reinforcement Framework for Combinatorial Optimization
Cooking activities recognition in egocentric videos using hand shape feature with openpose
Incomplete Information and Deception in Multi-Agent Negotiation
Tournaments in Computational Social Choice: Recent Developments
Adversarial Training for Graph Convolutional Networks: Stability and Generalization Analysis
Computer Vision and Human Perception: An Essay on the Discovery of Constraints
K-margin-based Residual-Convolution-Recurrent Neural Network for Atrial Fibrillation Detection
CoFInAl: Enhancing Action Quality Assessment with Coarse-to-Fine Instruction Alignment
Convolutional-Match Networks for Question Answering
Automatic Programming of Machine Vision Systems
Bargaining for Revenue Shares on Tree Trading Networks
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs
Prompting to Distill: Boosting Data-Free Knowledge Distillation via Reinforced Prompt
The Right to Obscure: A Mechanism and Initial Evaluation
Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories
Dynamic Structure Learning through Graph Neural Network for Forecasting Soil Moisture in Precision Agriculture
Dynamic Rebalancing Dockless Bike-Sharing System based on Station Community Discovery
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces
Safe Multi-agent Learning via Trapping Regions
Aletheia: Detect, Discuss, and Stay Informed on Fake News
Efficient Multi-Agent Communication via Shapley Message Value
SACON: A Knowledge-Based Consultant for Structural Analysis
SDformer: Transformer with Spectral Filter and Dynamic Attention for Multivariate Time Series Long-term Forecasting
Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding
MASTER: across Multiple social networks, integrate Attribute and STructure Embedding for Reconciliation
Empathy and AI: Achieving Equitable Microtransit for Underserved Communities
Convergence Time Characteristics of an Associative Memory for Natural Language Processing
Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection
Metric Learning in Optimal Transport for Domain Adaptation
Scene-Adaptive Person Search via Bilateral Modulations
Lifelong Domain Word Embedding via Meta-Learning
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach
Using Linear Programming for Bayesian Exploration in Markov Decision Processes
Membership Constraints in Formal Concept Analysis
Transparency, Detection and Imitation in Strategic Classification
The Mathematical Morpho-Logical View on Reasoning about Space
On Semantics of TMS
COOL, a Context Outlooker, and Its Application to Question Answering and Other Natural Language Processing Tasks
Achieving Non-Discrimination in Prediction
Enhancing Cross-Modal Retrieval via Visual-Textual Prompt Hashing
Structure from Motion of Rigid and Jointed Objects
The Complexity of Learning Acyclic CP-Nets
Hindsight Value Function for Variance Reduction in Stochastic Dynamic Environment
Modeling Spatial Knowledge
FEAMOE: Fair, Explainable and Adaptive Mixture of Experts
A Personalized Affect Response Model for Online News Articles
Extracting Body Function from Clinical Text
Constraint Satisfaction as Global Optimization
A Qualitative Discretization for Two-Body Contacts
Integrating Activities with Neurofuzzy Distributed Systems
Strong Syntax Splitting for Iterated Belief Revision
Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents
ARMIN: Towards a More Efficient and Light-weight Recurrent Memory Network
Controllability of Control Argumentation Frameworks
From Feature to Paradigm: Deep Learning in Machine Translation (Extended Abstract)
VSGT: Variational Spatial and Gaussian Temporal Graph Models for EEG-based Emotion Recognition
How to Define Certain Answers
From Relations to Objects: A Translation Methodology for an Object-Oriented Front-End to RDBMSs
Self-supervised Weighted Information Bottleneck for Multi-view Clustering
MFTraj: Map-Free, Behavior-Driven Trajectory Prediction for Autonomous Driving
Using Plans in Chess
The Minimum Description Length Principle and Its Application to Online Learning of Handprinted Characters
Decomposing Minimal Models
One-Shot Affordance Detection
PanComplex: Leveraging Complex-Valued Neural Networks for Enhanced Pansharpening
Odyssey : Empowering Minecraft Agents with Open-World Skills
Tractable Set Constraints
Fair and Efficient Allocation of Indivisible Chores with Surplus
Epistemic Defenses against Scientific and Empirical Adversarial AI Attacks
Linear-Time Outlier Detection via Sensitivity
Automatic Knowledge Base Tuning
On the Discrimination and Consistency for Exemplar-Free Class Incremental Learning
Latent Distribution Preserving Deep Subspace Clustering
Thoughts About a Visually Guided Grasp Reflex
A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness
Overlapping Communities and Roles in Networks with Node Attributes: Probabilistic Graphical Modeling, Bayesian Formulation and Variational Inference (Extended Abstract)
ReLiNet: Stable and Explainable Multistep Prediction with Recurrent Linear Parameter Varying Networks
Argumentation Devices in Reasoning About Health
Noise-Resistant Label Reconstruction Feature Selection for Partial Multi-Label Learning
High-Impact Future Research Directions for Artificial Intelligence
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism
Multi-Hop Fact Checking of Political Claims
Grid Coding: A Preprocessing Technique for Robot and Machine Vision
Updating Probability Intervals with Uncertain Inputs
BeyondVision: An EMG-driven Micro Hand Gesture Recognition Based on Dynamic Segmentation
Search Progress and Potentially Expanded States in Greedy Best-First Search
Real-Time Pricing Optimization for Ride-Hailing Quality of Service
Extracting Visual Knowledge from the Web with Multimodal Learning
First-Choice Maximality Meets Ex-ante and Ex-post Fairness
MTGIB-UNet: A Multi-Task Graph Information Bottleneck and Uncertainty Weighted Network for ADMET Prediction
Fine-tuning Deep Neural Networks by Interactively Refining the 2D Latent Space of Ambiguous Images
Semi-Supervised Learning of Attribute-Value Pairs from Product Descriptions
Theoretical Insights into Fine-Tuning Attention Mechanism: Generalization and Optimization
Reinforcement Learning with Dynamic Boltzmann Softmax Updates
Adaptively Multi-Objective Adversarial Training for Dialogue Generation
Can We Verify Step by Step for Incorrect Answer Detection?
Induction of Syntactic Collocation Patterns from Generic Syntactic Relations
Not in My Backyard! Temporal Voting Over Public Chores
Markov Chain Analysis of Noise and Restart in Stochastic Local Search
Reconstructing Missing Variables for Multivariate Time Series Forecasting via Conditional Generative Flows
Towards Flexible Multi-Agent Decision-Making Under Time Pressure
The Generic Frame Protocol
Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-scale System
Verification of Knowledge-Based Programs over Description Logic Actions
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection
Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments
A Multi-Attribute Approach to Knowledge Representation for Loan Granting
TextMEF: Text-guided Prompt Learning for Multi-exposure Image Fusion
Two-Phase Hypergraph Based Reasoning with Dynamic Relations for Multi-Hop KBQA
The X-0-0 Heuristic in Game Tree Analysis
Proving Facts about "|"
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning
Contest Design with Uncertain Performance and Costly Participation
Multiple Kernel Clustering with Local Kernel Alignment Maximization
Alleviate Dataset Shift Problem in Fine-grained Entity Typing with Virtual Adversarial Training
Protein Quaternary Fold Recognition Using Conditional Graphical Models
The Promise and Perils of Myopia in Dynamic Pricing With Censored Information
Linear Temporal Logic Modulo Theories over Finite Traces
Using Neutral Examples for Learning Polarity
Trading off the Costs of Inference vs. Probing in Diagnosis
Argument-based Multi-Issue Negotiation
Connectionist, Statistical, and Symbolic Approaches to Learning for Natural Language Processing
Device Representation and Reasoning with Affective Relations
Lifted First-Order Probabilistic Inference
Target-Value Search Revisited
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach
PowerBEV: A Powerful Yet Lightweight Framework for Instance Prediction in Bird's-Eye View
IntensPure: Attack Intensity-aware Secondary Domain Adaptive Diffusion for Adversarial Purification
Decision Tree Grafting From the All Tests But One Partition
Depth Estimation Using Monocular and Stereo Cues
Crowdsourcing Backdoor Identification for Combinatorial Optimization
Trajectory Control of a Computer Arm
Learning Strategies by Reasoning about Rules
How To Use What You Know
Knowledge-based Knowledge Elicitation
Multi-Value-Functions: Efficient Automatic Action Hierarchies for Multiple Goal MDPs
Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams
Noise-Tolerant Conceptual Clustering
Diffusion Guided Propagation Augmentation for Popularity Prediction
Addressing Users' Privacy Concerns for Improving Personalization Quality: Towards an Integration of User Studies and Algorithm Evaluation
Supervised Matrix Factorization for Cross-Modality Hashing
Model-Based Three Dimensional Interpretations of Two Dimensional Images
An Exact Single-Agent Task Selection Algorithm for the Crowdsourced Logistics
AI-Assisted Human-Pet Artistic Musical Co-Creation for Wellness Therapy
Social Collaborative Filtering by Trust
Automated Deduction by Theory Resolution
Argumentation-Based Recommendations: Fantastic Explanations and How to Find Them
C3L: Content Correlated Vision-Language Instruction Tuning Data Generation via Contrastive Learning
An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse Events
Neuroplanners and Their Application to Eyes/Head/Neck Coordination
Achieving Outcome Fairness in Machine Learning Models for Social Decision Problems
SetKE: Knowledge Editing for Knowledge Elements Overlap
A Speech Understanding System With Learning Capability
Sub-Adjacent Transformer: Improving Time Series Anomaly Detection with Reconstruction Error from Sub-Adjacent Neighborhoods
A Distributed Approach for Inferring Production Systems
Tensor Network: from the Perspective of AI4Science and Science4AI
Zero-Shot Machine Unlearning with Proxy Adversarial Data Generation
Efficient DNN Neuron Pruning by Minimizing Layer-wise Nonlinear Reconstruction Error
A Semantic Framework for Neurosymbolic Computation (Abstract Reprint)