yusuke1997/dblp-id-title huggingface dataset:
A Simplified And Fast Version Of The Huockel Operator For Finding Optimal Edges in Pictures
ST-USleepNet: A Spatial-Temporal Coupling Prominence Network for Multi-Channel Sleep Staging
Towards Real-Time DNN Inference on Mobile Platforms with Model Pruning and Compiler Optimization
An Evaluation of Criteria for Measuring the Quality of Clusters
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change
Fashion Style Generator
Automated Synthesis of Constrained Generators
Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning
Experienced Optimization with Reusable Directional Model for Hyper-Parameter Search
Video Object Segmentation in Panoptic Wild Scenes
Non-Binary Constraints and Optimal Dual-Graph Representations
Qualitative Mathematical Reasoning
Concept Learning by Structured Examples - An Algebraic Approach
Managing Domain Knowledge and Multiple Models with Boosting
Converging on Common Knowledge
Robust Embedding with Multi-Level Structures for Link Prediction
Intelligent Assistants for Knowledge and Information Resources Management
Collective Learning in Games through Social Networks
Declarative Mining of Business Processes via ASP
One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry
Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs
Domain Adaptation for Semantic Parsing
A Learning System for Selective Dissemination of Information
Improving Nash Social Welfare Approximations
Boundary-Guided Camouflaged Object Detection
Explainable Multi-Agent Reinforcement Learning for Temporal Queries
ImputeINR: Time Series Imputation via Implicit Neural Representations for Disease Diagnosis with Missing Data
BPNet: Bézier Primitive Segmentation on 3D Point Clouds
Deep learning architectures for vector representations of patients and exploring predictors of 30-day hospital readmissions in patients with multiple chronic conditions
Learning Intermediate Concepts in Constructing a Hierarchical Knowledge Base
Learn to Intervene: An Adaptive Learning Policy for Restless Bandits in Application to Preventive Healthcare
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling
Nuclei Segmentation via a Deep Panoptic Model with Semantic Feature Fusion
The Quest For "Always-On" Autonomous Mobile Robots
Constraint Deduction in an Interval-based Temporal Logic
Exploring Binary Classification Hidden within Partial Label Learning
High Level Memory Structures and Text Coherence in Translation
Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem
Towards a Computable Model of Meaning-Text Relations Within a Natural Sublanguage
Heterogeneous Network Representation Learning
Geometric Scene Parsing with Hierarchical LSTM
Pattern Field Classification with Style Normalized Transformation
Deep Semantic-Preserving and Ranking-Based Hashing for Image Retrieval
Towards Efficient Metaquerying
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems
Feature Selection for Multi-Label Learning
Sparse Word Embeddings Using ℓ 1 Regularized Online Learning
End-to-End Adversarial Memory Network for Cross-domain Sentiment Classification
Learning Assistance from an Adversarial Critic for Multi-Outputs Prediction
Multi-view Contrastive Learning Hypergraph Neural Network for Drug-Microbe-Disease Association Prediction
Combining Discrete and Continuous Process Models
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search
ABM: Attention before Manipulation
C3-STISR: Scene Text Image Super-resolution with Triple Clues
On Valued Negation Normal Form Formulas
EMOTE: An Explainable Architecture for Modelling the Other through Empathy
3D Surface Super-resolution from Enhanced 2D Normal Images: A Multimodal-driven Variational AutoEncoder Approach
Trusted Multi-view Learning with Label Noise
General Purpose MRF Learning with Neural Network Potentials
A Logical Approach to Reasoning by Analogy
The GRL System: Learning Board Game Rules with Piece-Move Interactions
Transient Narrative Networks and Information Landscapes for Enhancing Human Understanding
Ontologies and the Knowledge Acquisition Bottleneck
Method For The Best Solutions Search in Multiobjective Decision Problems
An Efficient Core-Guided Solver for Weighted Partial MaxSAT
Learning and Inference for Structured Prediction: A Unifying Perspective
NotaGen: Advancing Musicality in Symbolic Music Generation with Large Language Model Training Paradigms
Lifted Relational Kalman Filtering
Learning Finite Automata Using Local Distinguishing Experiments
Confidence-based Estimators for Predictive Performance in Model Monitoring (Abstract Reprint)
Abduction and Dynamic Preference in Plan-Based Dialogue Understanding
Algorithmic Bias in Autonomous Systems
Improved Neural Machine Translation with Source Syntax
DehazeGAN: When Image Dehazing Meets Differential Programming
Minimizing Adaptive Regret with One Gradient per Iteration
Probabilistic Sufficient Explanations
Bounded Epistemic Situation Calculus Theories
Analogy-Based Acquisition of Utterances Relating to Temporal Aspects
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
A computational model for corruption assessment
Model-Based Offline Planning with Trajectory Pruning
Prism Trees: A Hierarchical Representation for 3-D Objects
A-I-RAVEN and I-RAVEN-Mesh: Two New Benchmarks for Abstract Visual Reasoning
Using Large Language Models to Improve Query-based Constraint Acquisition
Sparse Reconstruction for Weakly Supervised Semantic Segmentation
Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract)
Complementary Learning for Overcoming Catastrophic Forgetting Using Experience Replay
Direction-aware Feature-level Frequency Decomposition for Single Image Deraining
Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees
Baby Tartanian8: Winning Agent from the 2016 Annual Computer Poker Competition
Learning Generalized Unsolvability Heuristics for Classical Planning
Geolocating Images with Crowdsourcing and Diagramming
EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection
Generalization Bounds for Regularized Pairwise Learning
Improving State Evaluation, Inference, and Search in Trick-Based Card Games
LINGOL-A Progress Report
Strong Inconsistency in Nonmonotonic Reasoning
The Representation of Concepts in OWL
DualSMC: Tunneling Differentiable Filtering and Planning under Continuous POMDPs
Monitoring Piecewise Continuous Behaviors by Refining Semi-Quantative Trackers
Proceedings of the 10th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022
Personalized Federated Learning With a Graph
Homing Using Combinations of Model Views
Understanding the Night-Sky? Developing AI-Enabled System for Exploring Night-Light Usage Patterns
Dynamic Anchor-based Ensemble Clustering via Hypergraph Reconstruction
Reasoning by Cases and the Formation of Conditional Programs
Computing Least Common Subsumers in ALEN
Neuronal Mechanisms Of Determination The Direction Upon The Sound Source
Generalized Mean Estimation in Monte-Carlo Tree Search
The Logic of Cognitive Action
Distribution of UCT and Its Ramifications
Manifold Alignment Based on Sparse Local Structures of More Corresponding Pairs
mdfa: Multi-Differential Fairness Auditor for Black Box Classifiers
Efficient Optimal Search under Expensive Edge Cost Computation
Probabilistic Inference Modulo Theories
Automated Generation of Graphic Sketches by Example
Suit the Node Pair to the Case: A Multi-Scale Node Pair Grouping Strategy for Graph-MLP Distillation
Joint Utterance: Intrasentential Speaker/Hearer Switch as an Emergent Phenomenon
Rational-Based Visual Planning Monitors
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds
Control-Based Clause Sharing in Parallel SAT Solving
Emotion Recognition from EEG Using All-Convolution Residual Neural Network
Using Large Language Models and Recruiter Expertise for Optimized Multilingual Job Offer - Applicant CV Matching
A Dual-Stage Attention-Based Recurrent Neural Network for Time Series Prediction
Character As Pixels: A Controllable Prompt Adversarial Attacking Framework for Black-Box Text Guided Image Generation Models
A Non-shared Binding Scheme for Parallel Prolog Implementation
Opportunistic Processing in Arguments
Towards an MDD-based Representation of Preferences
Single-Channel Signal Separation and Deconvolution with Generative Adversarial Networks
A Logical Formulation for Negotiation among Dishonest Agents
Sketch to Skip and Select: Communication Efficient Federated Learning Using Locality Sensitive Hashing
Learn to Reverse DNNs from AI Programs Automatically
On Multiagent Q-Learning in a Semi-Competitive Domain
Social Network Analysis using RLVECN: Representation Learning via Knowledge-Graph Embeddings and Convolutional Neural-Network
The Framework for a Model of Psychoanalytic Inference
Pairwise Liquid Democracy
Online Learning in Changing Environments
Adaptive Hypergraph Learning for Unsupervised Feature Selection
Improving the Effectiveness and Efficiency of Stochastic Neighbour Embedding with Isolation Kernel (Extended Abstract)
Divide and Conquer: Towards Faster Pseudo-Boolean Solving
Entity Synonym Discovery via Multipiece Bilateral Context Matching
Impression Monitoring in Evaluation-Oriented Dialog - The Role of the Listener's Assumed Expectations and Values in the Generation of Informative Statements
Beyond Homophily: Robust Graph Anomaly Detection via Neural Sparsification
SpectralGap: Graph-Level Out-of-Distribution Detection via Laplacian Eigenvalue Gaps
Truthfulness of a Proportional Sharing Mechanism in Resource Exchange
Polynomial Temporal Band Sequences for Analog Diagnosis
Inductive Link Prediction for Nodes Having Only Attribute Information
Enhancing Sequential Recommendation with Graph Contrastive Learning
A Common-Sense Theory of Time
Plansformer Tool: Demonstrating Generation of Symbolic Plans Using Transformers
OSIC: A New One-Stage Image Captioner Coined
Decoupled Imbalanced Label Distribution Learning
Anytime Heuristic for Weighted Matching Through Altruism-Inspired Behavior
Connectionist Temporal Modeling of Video and Language: a Joint Model for Translation and Sign Labeling
Considerate Equilibrium
Composition of ConGolog Programs
Proven Approximation Guarantees in Multi-Objective Optimization: SPEA2 Beats NSGA-II
Practical One-Shot Federated Learning for Cross-Silo Setting
Knowledge Structures and Language Boundaries
Tessellation-Filtering ReLU Neural Networks
Design Characteristics of a Machine Translation System
Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning
Optimizing a Video Preprocessor for OCR
Reschedule Diffusion-based Bokeh Rendering
Non-Cheating Teaching Revisited: A New Probabilistic Machine Teaching Model
Deeply-Supervised CNN Model for Action Recognition with Trainable Feature Aggregation
RegionMatch: Pixel-Region Collaboration for Semi-Supervised Semantic Segmentation in Remote Sensing Images
Harnessing Synthesized Abstraction Images to Improve Facial Attribute Recognition
Proofs and Certificates for Max-SAT (Extended Abstract)
Efficient Online Learning and Prediction of Users' Desktop Actions
Cutting the Software Building Efforts in Continuous Integration by Semi-Supervised Online AUC Optimization
Encoding Auxiliary Information to Restore Compressed Point Cloud Geometry
Towards Automatic Dominance Breaking for Constraint Optimization Problems
Distance Metric Facilitated Transportation between Heterogeneous Domains
Schelling Games with Continuous Types
Ontology Approximation in Horn Description Logics
Platform for Knowledge Society and Innovation Ecosystems
Inferring Time-delayed Causal Relations in POMDPs from the Principle of Independence of Cause and Mechanism
Multi-label Feature Selection via Global Relevance and Redundancy Optimization
Frequency-Based Coverage Statistics Mining for Data Integration
Multiple Approaches to Multiple Agent Problem Solving
A General Updating Rule for Discrete Hopfield-Type Neural Network with Delay
On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF
Interruptible Algorithms for Multi-Problem Solving
A causal perspective on AI deception in games
The Design Of A System For Designing Knowledge Representation Systems
Network Creation with Homophilic Agents
Temporal Defeasible Argumentation in Multi-Agent Planning
Matching and Grokking: Approaches to Personalized Crowdsourcing
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies
SMARTformer: Semi-Autoregressive Transformer with Efficient Integrated Window Attention for Long Time Series Forecasting
Hierarchical Bayesian Clustering for Automatic Text Classification
Selectively Generalizing Plans for Problem-Solving
The 2 PAK Language: Goals And Descriptions
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
A Symbolic Approach to Explaining Bayesian Network Classifiers
Group Fairness in Set Packing Problems
From Decimation to Local Search and Back: A New Approach to MaxSAT
Self Monitoring, Goal Driven Autonomy Agents
Estimating the Probability of Meeting a Deadline in Hierarchical Plans
Knowledge Guided Learning of Structural Descriptions
Efficient Algorithms for Electing Successive Committees
Independence-aware Advantage Estimation
WIP: From Multimedia to Intellimedia
End-to-End Constrained Optimization Learning: A Survey
Brain Research and Arbitrary Multiscale Quantum Uncertainty
Reject Before You Run: Small Assessors Anticipate Big Language Models
A Unified Framework for Reputation Estimation in Online Rating Systems
On a Competitive Secretary Problem with Deferred Selections
Overprvning Large Decision Trees
A Prior-information-guided Residual Diffusion Model for Multi-modal PET Synthesis from MRI
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages
Learning Continuous Graph Structure with Bilevel Programming for Graph Neural Networks
Label distribution learning with label-specific features
Capturing the Long-Distance Dependency in the Control Flow Graph via Structural-Guided Attention for Bug Localization
R³Net: Recurrent Residual Refinement Network for Saliency Detection
Topological Planning with Post-unique and Unary Actions
A Note on Deduction Rules with Negative Premises
Low Resolution Information Also Matters: Learning Multi-Resolution Representations for Person Re-Identification
Automatic Program Synthesis in Second-Order Logic
Multi-view Clustering via Multi-granularity Ensemble
Generating Facts From Opinions with Information Source Models
Modality-aware Style Adaptation for RGB-Infrared Person Re-Identification
A Distributed Architecture for Symbolic Data Fusion
Planning Using a Temporal World Model
RetCL: A Selection-based Approach for Retrosynthesis via Contrastive Learning
Saliency Guided End-to-End Learning for Weakly Supervised Object Detection
Results on Translating Defaults to Circumscription
Bio-inspired Dynamic and Decentralized Online Learning in Uninformed Heterogeneous Multi-Agent Environments
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs
Combining Learning Constraints and Numerical Regression
Large Hinge Width on Sparse Random Hypergraphs
A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims
MetaJND: A Meta-Learning Approach for Just Noticeable Difference Estimation
Modelling the Social Environment: Towards Socially Adaptive Electronic Partners
ReACTR: Realtime Algorithm Configuration through Tournament Rankings
Strategy Learning for Autonomous Agents in Smart Grid Markets
Towards a Bipartisan Understanding of Peace and Vicarious Interactions
Ethical Decision Making under the Weak Completion Semantics
Object Allocation via Swaps along a Social Network
Model Metric Co-Learning for Time Series Classification
Computing Pareto Optimal Committees
An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go
Improving the Generalization Performance of Multi-class SVM via Angular Regularization
Shallow Semantics for Coreference Resolution
Towards Robust Trajectory Representations: Isolating Environmental Confounders with Causal Learning
Interpretability and Fairness in Machine Learning: A Formal Methods Approach
Reasoning about Continuous Uncertainty in the Situation Calculus
Twitter-Based User Modeling for News Recommendations
UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I
Optimal Pricing for the Competitive and Evolutionary Cloud Market
Cold-Start Recommendations for Audio News Stories Using Matrix Factorization
Natural Language Dialogue about Moving Objects in an Automatically Analyzed Traffic Scene
Perception of Non-Rigid Motion: Inference of Shape, Material and Force
Multi-Agent Visualization for Explaining Federated Learning
Predicting the Size of Depth-First Branch and Bound Search Trees
PAC Greedy Maximization with Efficient Bounds on Information Gain for Sensor Selection
Knowledge Sources In Vision
AlphaGAT: A Two-Stage Learning Approach for Adaptive Portfolio Selection
Interactive Information Extraction by Semantic Information Graph
An Iterative Approach to Synthesize Data Transformation Programs
Knowledge Compilation for Model Counting: Affine Decision Trees
A Bayesian Approach to Imitation in Reinforcement Learning
Group LASSO with Asymmetric Structure Estimation for Multi-Task Learning
Online Selection of Diverse Committees
A Comprehension Model for Human Dialogue
Learning Real Facial Concepts for Independent Deepfake Detection
Human-AI Collaboration with Bandit Feedback
Formalizing and Verifying Natural Language System Requirements using Petri Nets and Context based Reasoning
Probabilistic Mobile Manipulation in Dynamic Environments, with Application to Opening Doors
On Causal Identification under Markov Equivalence
Parametric Local Multimodal Hashing for Cross-View Similarity Search
Graphical Debugging with the Transparent PROLOG Machine (TPM)
Balanced Clustering: A Uniform Model and Fast Algorithm
DeepStory: Video Story QA by Deep Embedded Memory Networks
NeSyA: Neurosymbolic Automata
Heavy-ball Algorithms Always Escape Saddle Points
Raising the Standards of AI Products
A Multi-Agent Environment for Department of Defense Distribution
Gaussian Process Models of Spatial Aggregation Algorithms
An Automatic Position Recognition Technique for LSI Assembly
Super-Resolution and Inpainting with Degraded and Upgraded Generative Adversarial Networks
Bayesian Chain Classifiers for Multidimensional Classification
Trust Decision-Making in Multi-Agent Systems
A Decision-Theoretic Model of Assistance
Good Advisor for Source Localization: Using Large Language Model to Guide the Source Inference Process
Evaluating Importance: A Step Towards Text Summarization
Long-term Monitoring of Bird Flocks in the Wild
Stable and Envy-free Partitions in Hedonic Games
Positive Subsumption in Fuzzy EL with General t-Norms
A Savage-style Utility Theory for Belief Functions
A Survey of Data-Efficient Graph Learning
Misleading Opinions Provided by Advisors: Dishonesty or Subjectivity
Active Learning from Relative Queries
Multi-robot Task Allocation in the Environment with Functional Tasks
PoRank: A Practical Framework for Learning to Rank Policies
Simulation Of Functions Of Composer and Musicologist On Electronic Computer
Agent-based Modeling Meets the Capability Approach for Human Development: Simulating Homelessness Policy-making
Rational Architecture = Architecture from a Recommender Perspective
Improved Deep Embedded Clustering with Local Structure Preservation
Nominals for Everyone
Learning Geographical Hierarchy Features for Social Image Location Prediction
Incomplete Label Distribution Learning
Compiling Knowledge into Decomposable Negation Normal Form
Text-Enhanced Representation Learning for Knowledge Graph
Definability of Horn Revision from Horn Contraction
Pattern Recognition by Quasi-Linguistic Translation Into Artificial Noise-Resistant Language
An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON
Data Complexity of Reasoning in Very Expressive Description Logics
Fast Solving Maximum Weight Clique Problem in Massive Graphs
Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks
Truth Maintenance Systems for Problem Solving
Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context
Model Rake: A Defense Against Stealing Attacks in Split Learning
To Promote Full Cooperation in Social Dilemmas, Agents Need to Unlearn Loyalty
Non-translational Alignment for Multi-relational Networks
Faster Guarantees of Evolutionary Algorithms for Maximization of Monotone Submodular Functions
Learning Gaussian Mixture Representations for Tensor Time Series Forecasting
System Assistance in Structured Domain Model Development
Federated Domain Generalization with Decision Insight Matrix
LORD: LISP-Oriented Resolver And Data Base
Accounting for Confirmation Bias in Crowdsourced Label Aggregation
Hierarchical Graph Structure Learning for Multi-View 3D Model Retrieval
Boundary And Object Detection In Real World Images
Dynamical System-Based Motion Planning for Multi-Arm Systems: Reaching for Moving Objects
Log-Linear Description Logics
Riemannian Stochastic Recursive Momentum Method for non-Convex Optimization
Smarter Response with Proactive Suggestion: A New Generative Neural Conversation Paradigm
Screening, Rectifying, and Re-Screening: A Unified Framework for Tuning Vision-Language Models with Noisy Labels
Saliency Transfer: An Example-Based Method for Salient Object Detection
Improving LaCAM for Scalable Eventually Optimal Multi-Agent Pathfinding
Discovering Chronicles with Numerical Time Constraints from Alarm Logs for Monitoring Dynamic Systems
Variable and Value Ordering for MPE Search
HOUDINI: Escaping from Moderately Constrained Saddles
Minimax-Regret Querying on Side Effects for Safe Optimality in Factored Markov Decision Processes
Systems AI: A Declarative Learning Based Programming Perspective
Cooperation and Fairness in Systems of Indirect Reciprocity
Budgeted Sequence Submodular Maximization
Learning Optimal Decision Trees using Constraint Programming (Extended Abstract)
Object Recognition Using Three-Dimensional Information
Recursive Decomposition for Nonconvex Optimization - IJCAI-15 Distinguished Paper
Narrative Objects
Semi-Clairvoyant Scheduling of Speculative Decoding Requests to Minimize LLM Inference Latency
Curriculum Learning in Reinforcement Learning
Challenges in Web Search Engines
Dual-Perspective United Transformer for Object Segmentation in Optical Remote Sensing Images
Reasoning with Uncertainty for Expert Systems
Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract)
Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads
Expanding Connected Components from Alternative Terminals: Global Optimization for Freshwater Fishes Under the UN's 30x30 Conservation Goal
Inferring Image Templates from Classification Decisions
DDDM: A Brain-Inspired Framework for Robust Classification
In Search of Tractability for Partial Satisfaction Planning
Reference Frames for Animate Vision
Learning Discriminative Recommendation Systems with Side Information
Defining and Modeling Context in a Multi-Agent Systems Architecture for Decision-Making
Persistent Homology: An Introduction and a New Text Representation for Natural Language Processing
The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action
Measuring and Recommending Time-Sensitive Routes from Location-based Data
Transfer Learning versus Multiagent Learning regarding Distributed Decision-Making in Highway Traffic
Ordinal Maximin Guarantees for Group Fair Division