yusuke1997/dblp-id-title huggingface dataset:
On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
IIAS: An Intelligent Insurance Assessment System through Online Real-time Conversation Analysis
Random Feature Mapping with Signed Circulant Matrix Projection
Non-Lambertian Multispectral Photometric Stereo via Spectral Reflectance Decomposition
Exploring the Context of Locations for Personalized Location Recommendations
Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions
One-Shot Texture Retrieval with Global Context Metric
Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces
Homeomorphic-Invariance of EM: Non-Asymptotic Convergence in KL Divergence for Exponential Families via Mirror Descent (Extended Abstract)
Automatically Paraphrasing via Sentence Reconstruction and Round-trip Translation
History-based Interpretation of Finite Element Simulations of Seismic Wave Fields
Accelerated Local Anomaly Detection via Resolving Attributed Networks
Vote and Aggregation in Combinatorial Domains with Structured Preferences
A Decentralised Approach to Intersection Traffic Management
Primal Grammars Driven Automated Induction
Graph-Based Factorization of Classical Planning Problems
Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction
Hype-HAN: Hyperbolic Hierarchical Attention Network for Semantic Embedding
Interactive Transfer of Expertise: Acquisition of New Inference Rules
A Model of Distributed Query Computation in Client-Server Scenarios on the Semantic Web
Backbones in Optimization and Approximation
Speech Understanding and AI/AI and Speech Understanding
PerfSeer: An Efficient and Accurate Deep Learning Models Performance Predictor
SSR-Net: A Compact Soft Stagewise Regression Network for Age Estimation
A Practical Semi-Parametric Contextual Bandit
Algorithmic Social Intervention
TimeML-Compliant Text Analysis for Temporal Reasoning
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures
Semantic Structure-based Unsupervised Deep Hashing
Structural Analysis of Complex Aerial Photographs
Self-Supervised Adversarial Distribution Regularization for Medication Recommendation
Building Affordance Relations for Robotic Agents - A Review
Automatic Synthesis of Numerical Computer Programs
Second Order Measures for Uncertainty Processing
Logic-Based Inductive Synthesis of Efficient Programs
Maximization of the Average Quality of Anytime Contract Algorithms over a Time Interval
Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information
Diffuse&Refine: Intrinsic Knowledge Generation and Aggregation for Incremental Object Detection
The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract)
A Decomposition Approach for Urban Anomaly Detection Across Spatiotemporal Data
Interest Prediction on Multinomial, Time-Evolving Social Graph
A Knowledge Framework for Natural Language Analysis
Using Categorical Clustering in Schema Discovery
Streaming Multi-agent Pathfinding
Compilation and Fast Model Counting beyond CNF
Cyclic Scheduling
A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data
Learning Implied Global Constraints
DUQ: Dual Uncertainty Quantification for Text-Video Retrieval
Why You Should Charge Your Friends for Borrowing Your Stuff
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine
Ensemble Techniques for Lazy Classication Based on Pattern Structures
Identification Constraints and Functional Dependencies in Description Logics
Continuous Correlated Beta Processes
Variational Graph Embedding and Clustering with Laplacian Eigenmaps
Gossip-Based Aggregation of Trust in Decentralized Reputation Systems
Empirical Bayesian Approaches for Robust Constraint-based Causal Discovery under Insufficient Data
Dynamically Weighted Hidden Markov Model for Spam Deobfuscation
Towards Applicable Reinforcement Learning: Improving the Generalization and Sample Efficiency with Policy Ensemble
Common-Sense Knowledge of Space: Learning from Experience
Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency Information
NeuroSymbolic LLM for Mathematical Reasoning and Software Engineering
GEM: Generating Engaging Multimodal Content
Learning to Follow Navigational Route Instructions
3D Action Recognition Using Multi-Temporal Depth Motion Maps and Fisher Vector
Multi-Cause Effect Estimation with Disentangled Confounder Representation
An Intelligent System for Taxi Service Monitoring, Analytics and Visualization
Cross-modal Generation and Alignment via Attribute-guided Prompt for Unsupervised Text-based Person Retrieval
A Heuristic Programming Study of Theory Formation in Science
Interdependent multi-issue negotiation for energy exchange in remote communities
EchoGPT: An Interactive Cardiac Function Assessment Model for Echocardiogram Videos
Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments
Graph Mining Meets Crowdsourcing: Extracting Experts for Answer Aggregation
Japanese Language Semantic Analyzer Based on an Extended Case Frame Model
A Convergent Reinforcement Learning Algorithm in the Continuous Case Based on a Finite Difference Method
Microblog Sentiment Classification via Recurrent Random Walk Network Learning
Heuristics for Hard ASP Programs
Best-First Heuristic Search for Multi-Core Machines
Meta-Interpretation of Recursive List-Processing Programs
Bridging Local and Global Knowledge via Transformer in Board Games
Image-Enhanced Hybrid Encoding with Reinforced Contrastive Learning for Spatial Domain Identification in Spatial Transcriptomics
Towards a Computational Model of Melody Identification in Polyphonic Music
Fifth Generation Computer Crime Law
Why Robots Will Have Emotions
Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views
Completely Heterogeneous Transfer Learning with Attention - What And What Not To Transfer
Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract)
Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems
Real-Time Natural Scene Analysis for a Blind Prosthesis
Guidance Graph Optimization for Lifelong Multi-Agent Path Finding
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Cross-modal Representation Learning and Relation Reasoning for Bidirectional Adaptive Manipulation
On the Study of Curriculum Learning for Inferring Dispatching Policies on the Job Shop Scheduling
On the Foundations of Expected Expected Utility
On Qualitative Route Descriptions: Representation and Computational Complexity
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone
On Building an Interpretable Topic Modeling Approach for the Urdu Language
Characteristic Examples: High-Robustness, Low-Transferability Fingerprinting of Neural Networks
Automated Planning for Generating and Simulating Traffic Signal Strategies
Conditional Denoising Meets Polynomial Modeling: A Flexible Decoupled Framework for Time Series Forecasting
Learning Within an Instance for Designing High-Revenue Combinatorial Auctions
3DViewGraph: Learning Global Features for 3D Shapes from A Graph of Unordered Views with Attention
A Variable Supply Model for Distributing Deductions
A Resolution Method for Temporal Logic
On the Semantics of Supernormal Defaults
Deep Neural Networks for High Dimension, Low Sample Size Data
Contract Scheduling with Distributional and Multiple Advice
Some Thoughts about Representing Knowledge in Instructional Systems
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces
Model-Based Reinforcement Learning for Infinite-Horizon Discounted Constrained Markov Decision Processes
Unleashing the Power of Multi-Agent Voting Teams
A Simple Model for Handwriting
Conflict-Alleviated Gradient Descent for Adaptive Object Detection
Sequence Prediction Exploiting Similary Information
Privacy-Preserving Monitoring System with Ultra Low-Resolution Infrared Sensor
Approximation-Guided Evolutionary Multi-Objective Optimization
Deep Drone Acrobatics (Extended Abstract)
Relation-Augmented Dueling Bayesian Optimization via Preference Propagation
Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form
Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity: Extended abstract
Learning Conceptual Space Representations of Interrelated Concepts
Curriculum Graph Machine Learning: A Survey
First-Order Disjunctive Logic Programming vs Normal Logic Programming
Initial Models and Serialisability in Abstract Dialectical Frameworks
Model Compilation for Real-Time Planning and Diagnosis with Feedback
Generative Warfare Nets: Ensemble via Adversaries and Collaborators
Automatic Detection Of Rib Contours in Chest Radiographs
Inference of Human-derived Specifications of Object Placement via Demonstration
State-Based Recurrent SPMNs for Decision-Theoretic Planning under Partial Observability
Genetic State-Space Search for Constrained Optimization Problems
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
From Data to Knowledge Engineering for Cybersecurity
Efficient Purely Convolutional Text Encoding
Rights, Duties and Commitments between Agents
Learning against opponents with bounded memory
Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods
Synthesizing Plant Controllers Using Real-time Goals
Variational Offline Multi-agent Skill Discovery
Incremental and Decremental Optimal Margin Distribution Learning
Data-driven Onboard Scheduling for an Autonomous Observation Satellite
Extracting Temporal Patterns from Interval-Based Sequences
Multi-graph Fusion for Functional Neuroimaging Biomarker Detection
BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract)
Mobile Query Recommendation via Tensor Function Learning
The Implications of Paraconsistency
Predictive Coding: Towards a Future of Deep Learning beyond Backpropagation?
Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques
Viral Marketing and Convergence Properties in Generalised Voter Model
Local and Global: Temporal Question Answering via Information Fusion
Learning from Natural Instructions
Common-Individual Semantic Fusion for Multi-View Multi-Label Learning
Wavelet Multi-scale Region-Enhanced Network for Medical Image Segmentation
WenyanGPT: A Large Language Model for Classical Chinese Tasks
Relating the TMS to Autoepistemic Logic
Verification Vision for Programmable Assembly
Variable Resolution Particle Filter
Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract)
Modifying MCTS for Human-Like General Video Game Playing
Dynamic Belief for Decentralized Multi-Agent Cooperative Learning
The Influence Of Nonuniformity in The Models Of Automate Collective Behaviour
On the Representation and Embedding of Knowledge Bases beyond Binary Relations
Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging
Performance Comparison of Models for Multiple Rule Firing
A Proof-Theoretical View of Collective Rationality
Revealing the Excitation Causality between Climate and Political Violence via a Neural Forward-Intensity Poisson Process
Empirical Prediction Algorithm
Scientific Opinion Summarization: Paper Meta-review Generation Dataset, Methods, and Evaluation
Mapping Repair in Ontology-based Data Access Evolving Systems
StackDRL: Stacked Deep Reinforcement Learning for Fine-grained Visual Categorization
CGS: Coupled Growth and Survival Model with Cohort Fairness
A Theoretical Framework for Consistency Techniques in Logic Programming
What Is Best for Students, Numerical Scores or Letter Grades?
Combining Rules and Ontologies via Parametrized Logic Programs
Social Abstract Argumentation
A Theory of Mass Assignments for Artificial Intelligence
PEARL - A Package for Efficient Access to Representations in LISP
Discovering Inconsistency through Examination Dialogues
Improvement of Rejection for AI Safety through Loss-Based Monitoring
FBRL: A Function and Behavior Representation Language
Tractable Massively Multi-Agent Pathfinding with Solution Quality and Completeness Guarantees
Some Properties of Batch Value of Information in the Selection Problem (Extended Abstract)
CLISP - Conversational LISP
The ELINT Application on Poligon: The Architecture and Performance of a Concurrent Blackboard System
Solving the Multiagent Selection and Scheduling Problem
Inside-Outside Probability Computation for Belief Propagation
Some Perspectives on Similarity Learning for Case-Based Reasoning and Analogical Transfer
Constituent Grammatical Evolution
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools
On the Consistency of AUC Pairwise Optimization
Physics-Guided Human Motion Capture with Pose Probability Modeling
Combining Existential Rules and Description Logics
Better Generalization with Forecasts
TDIS : an Algebraic Formalization
A Constraint Satisfaction Approach to Parametric Differential Equations
Contextual Covariance Matrix Adaptation Evolutionary Strategies
Distilling Governing Laws and Source Input for Dynamical Systems from Videos
The Many Benefits of Annotator Rationales for Relevance Judgments
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments
Diffusion and Auction on Graphs
Bridging Cross-Tasks Gap for Cognitive Assessment via Fine-Grained Domain Adaptation
A Report on FOLIO: An Expert Assistant for Portfolio Managers
Interactive Scheduling of Appliance Usage in the Home
Machine Learning in Ecosystem Informatics and Sustainability
Automatic Construction and Refinement of a Class Hierarchy over Semi-Structured Data
KDExplainer: A Task-oriented Attention Model for Explaining Knowledge Distillation
Learning Paraphrase Identification with Structural Alignment
Learning Neural Vocoder from Range-Null Space Decomposition
Integrating Syntactic and Semantic Analysis into the Open Information Extraction Paradigm
Abstract Rule Learning for Paraphrase Generation
Manipulating Descriptions of Programs for Database Access
Evaluations of Hash Distributed A* in Optimal Sequence Alignment
Reasoning under inconsistency: the forgotten connective
Seeing the Unseen: Composing Outliers for Compositional Zero-Shot Learning
Resolution Plans in Theorem Proving
Incorporating Unlikely Negative Cues for Distinctive Image Captioning
Attribute Dissection of Urban Road Scenes for Efficient Dataset Integration
Automatic Dominance Breaking for a Class of Constraint Optimization Problems
A Probabilistic Lexical Approach to Textual Entailment
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity
Motion-Aware Heatmap Regression for Human Pose Estimation in Videos
Heuristic Search for Homology Localization Problem and Its Application in Cardiac Trabeculae Reconstruction
The Effect of Rule Use on the Utility of Explanation-Based Learning
Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation
Using Walk-SAT and Rel-Sat for Cryptographic Key Search
Practical 3D Tracking Using Low-Cost Cameras
Admissible Hypotheses and Enhanced Learning
Investigating Lexical and Semantic Cognition by Using Neural Network to Encode and Decode Brain Imaging
How Hard Is It to Control Sequential Elections via the Agenda?
Query-Based Entailment and Inseparability for ALC Ontologies
Learning Nash Equilibria in Zero-Sum Stochastic Games via Entropy-Regularized Policy Approximation
PeSANet: Physics-encoded Spectral Attention Network for Simulating PDE-Governed Complex Systems
How Hard Is It for a Party to Nominate an Election Winner?
Graphical Cake Cutting via Maximin Share
Coping With Uncertainty in Map Learning
Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization
Automated Negotiation with Gaussian Process-based Utility Models
FairReFuse: Referee-Guided Fusion for Multi-Modal Causal Fairness in Depression Detection
Intelligent Assistant for Elderly
Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems
Meta Reinforcement Learning with Task Embedding and Shared Policy
Learning Reliable Policies in the Bandit Setting with Application to Adaptive Clinical Trials
Deep Hierarchical Communication Graph in Multi-Agent Reinforcement Learning
Symmetries and Lazy Clause Generation
Steady-State Strategy Synthesis for Swarms of Autonomous Agents
Responsibility and Blame: A Structural-Model Approach
Physics-Informed Trajectory Prediction for Autonomous Driving under Missing Observation
Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments
SepALM: Audio Language Models Are Error Correctors for Robust Speech Separation
Impact of Detour-Aware Policies on Maximizing Profit in Ridesharing
Stochastic Coherence Over Attention Trajectory For Continuous Learning In Video Streams
Learning Constraint Networks over Unknown Constraint Languages
Graph Quality Judgement: A Large Margin Expedition
Text Style Transfer via Learning Style Instance Supported Latent Space
Locality-Constrained Concept Factorization
Bandit Online Learning on Graphs via Adaptive Optimization
User-Centered Programming by Demonstration: Stylistic Elements of Behavior
Learning 3D Photography Videos via Self-supervised Diffusion on Single Images
Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots
On Independence and SCC-Recursiveness in Assumption-Based Argumentation
DenseKoopman: A Plug-and-Play Framework for Dense Pedestrian Trajectory Prediction
On Structural Properties to Improve FMEA-Based Abductive Diagnosis
Action Recognition with Joints-Pooled 3D Deep Convolutional Descriptors
Average-case Analysis of the Assignment Problem with Independent Preferences
Explaining the Behaviour of Hybrid Systems with PDDL+ Planning
Learning Descriptive Visual Representation by Semantic Regularized Matrix Factorization
Contextual Outlier Interpretation
A Span-based Joint Model for Opinion Target Extraction and Target Sentiment Classification
A Glimpse of Truth Maintenance
Revisiting Wedge Sampling for Budgeted Maximum Inner Product Search (Extended Abstract)
Some Properties of Small Networks of Randomly Connected Artificial Neurons
Learning to Write Stylized Chinese Characters by Reading a Handful of Examples
Multi-version Tensor Completion for Time-delayed Spatio-temporal Data
Towards Robust Scene Text Image Super-resolution via Explicit Location Enhancement
Emergence of Norms through Social Learning
Think Twice Before Adaptation: Improving Adaptability of DeepFake Detection via Online Test-Time Adaptation
High-dimensional Similarity Learning via Dual-sparse Random Projection
Balance and Filtering in Structured Satisfiable Problems
A Greedy Approach to Establish Singleton Arc Consistency
Social Spammer Detection in Microblogging
In Defense of Hyper-Logicist AI
Formulae for the solution of an analogical equation between Booleans using the Sheffer stroke (NAND) or the Pierce arrow (NOR)
Obstacle Tower: A Generalization Challenge in Vision, Control, and Planning
Enhanced Sentiment Classification of Telugu Text using ML Techniques
A Symbolic Closed-Form Solution to Sequential Market Making with Inventory
Machine Learning for Integer Programming
The Core of Approval-Based Committee Elections with Few Seats
Multinomial Logit Bandit with Linear Utility Functions
Naive Mechanics Comprehension and Invention in EDISON
Why Rumors Spread Fast in Social Networks, and How to Stop It
Model Stealing Defense against Exploiting Information Leak through the Interpretation of Deep Neural Nets
Training and Tracking in Robotics
Compressive Document Summarization via Sparse Optimization
A Parser for a Speech Understanding System
Position-aware Joint Entity and Relation Extraction with Attention Mechanism
Adaptive Goal Recognition
Mitigating the Effect of Out-of-Vocabulary Entity Pairs in Matrix Factorization for KB Inference
Batch-Switching Policy Iteration
A Quantitative Analysis Platform for PD-L1 Immunohistochemistry based on Point-level Supervision Model
Real-Time Detection of Task Switches of Desktop Users
Iterative Geometry-Aware Cross Guidance Network for Stereo Image Inpainting
Unsupervised Learning based Jump-Diffusion Process for Object Tracking in Video Surveillance
Opportunistic Memory
Forecasting and Assessing the Impact of Artificial Intelligence on Society
On the Equivalence between Canonical Correlation Analysis and Orthonormalized Partial Least Squares
NSF-MAP: Neurosymbolic Multimodal Fusion for Robust and Interpretable Anomaly Prediction in Assembly Pipelines
Egalitarian Committee Scoring Rules
Non-decreasing Quantile Function Network with Efficient Exploration for Distributional Reinforcement Learning
AKBR: Learning Adaptive Kernel-based Representations for Graph Classification
Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery
A Model for Accountable Ordinal Sorting
Upgrading Search Applications in the Era of LLMs: A Demonstration with Practical Lessons
Iterated Limiting Recursion and the Program Minimization Problem
Affinity Learning for Mixed Data Clustering
Multimodal Linear Discriminant Analysis via Structural Sparsity
Deep Sparse Coding based Recursive Disaggregation Model for Water Conservation
Information-Lookahead Planning for AUV Mapping
On Neuro-Symbolic Challenges in Directional Relation Prediction
Online Fair Division: Analysing a Food Bank Problem
Gradient Perturbation is Underrated for Differentially Private Convex Optimization
Feature Selection via Scaling Factor Integrated Multi-Class Support Vector Machines
Optimal Route Search with the Coverage of Users' Preferences
Answering Mixed Type Questions about Daily Living Episodes
ARLIF: A Flexible and Efficient Recurrent Neuronal Model for Sequential Tasks
Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems
Stochastic Multiresolution Persistent Homology Kernel
Characterization of the Expressivity of Existential Rule Queries
Syntactic Characterizations of Belief Change Operators
Graph and Autoencoder Based Feature Extraction for Zero-shot Learning
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
Blind Search for Atari-Like Online Planning Revisited
Integrating Gricean and Attentional Constraints
A Competitive Strategy for Function Approximation in Q-Learning
Convexified Graph Neural Networks for Distributed Control in Robotic Swarms
Recent Work with the AL System
VERY Large Knowledge Bases - Architecture vs Engineering
Improving Resource Allocation Strategy against Human Adversaries in Security Games
Robust Heterophilic Graph Learning against Label Noise for Anomaly Detection
Minimizing Writes in Parallel External Memory Search
A Joint Model of Intent Determination and Slot Filling for Spoken Language Understanding
IPGPT: Solving Integer Programming Problems with Sequence to Contrastive Multi-Label Learning
Ubiquitous Self-Organizing Maps
Entangled Kernels
Deep Latent Low-Rank Fusion Network for Progressive Subspace Discovery
The Completeness of a Natural System for Reasoning with Time Intervals
Discrete-Time Temporal Reasoning with Horn DLRs
Learning Multi-Objective Rewards and User Utility Function in Contextual Bandits for Personalized Ranking
On the Complexity of Compact Coalitional Games
Towards A Dual Process Approach to Computational Explanationon in Human-Robot Socia Interaction
Reconciling Rewards with Predictive State Representations
Evaluating Sports Analytics Models: Challenges, Approaches, and Lessons Learned