yusuke1997/dblp-id-title huggingface dataset:
VCC-INFUSE: Towards Accurate and Efficient Selection of Unlabeled Examples in Semi-supervised Learning
Adaptive Collaborative Similarity Learning for Unsupervised Multi-view Feature Selection
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers
Depth-Relative Self Attention for Monocular Depth Estimation
Simultaneous Clustering and Ranking from Pairwise Comparisons
Distance Metric Learning under Covariate Shift
Position Debiasing Fine-Tuning for Causal Perception in Long-Term Dialogue
Spatial-Temporal-Decoupled Masked Pre-training for Spatiotemporal Forecasting
The Architecture of the FAIM-1 Symbolic Multiprocessing System
Decision Trees for Computer Go Features
Winner Determination and Strategic Control in Conditional Approval Voting
Socially Embedded Learning of the Office-Conversant Mobil Robot Jijo-2
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
A Non-monotonic Logic for Specifying and Querying Preferences
SDMCH: Supervised Discrete Manifold-Embedded Cross-Modal Hashing
Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects
Beyond Accuracy: Behavioral Testing of NLP Models with Checklist (Extended Abstract)
Learning to Act for Perceiving in Partially Unknown Environments
Can Early Stage Vision Detect Topology
Minimizing Time-to-Rank: A Learning and Recommendation Approach
AI Planning Versus Manufacturing-Operation Planning: A Case Study
Recursive Plans for Information Gathering
Rethinking Loss Design for Large-scale 3D Shape Retrieval
Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application
How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of Polymorphic Properties
Visual Planning: A Practical Approach to Automated Presentation Design
Optimal Soft Arc Consistency
Knowledge Consolidation based Class Incremental Online Learning with Limited Data
AsymDPOP: Complete Inference for Asymmetric Distributed Constraint Optimization Problems
MEnet: A Metric Expression Network for Salient Object Segmentation
Some Practicable Filtering Techniques for the Constraint Satisfaction Problem
Towards the Terminator Economy: Assessing Job Exposure to AI Through LLMs
CFNN: Correlation Filter Neural Network for Visual Object Tracking
BitcoinHeist: Topological Data Analysis for Ransomware Prediction on the Bitcoin Blockchain
Clarinet: A One-step Approach Towards Budget-friendly Unsupervised Domain Adaptation
A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming
Language Processing Via Canonical Verbs and Semantic Models
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
Enhancing Counterfactual Estimation: A Focus on Temporal Treatments
Adversarial Spectral Kernel Matching for Unsupervised Time Series Domain Adaptation
Imperio: Language-Guided Backdoor Attacks for Arbitrary Model Control
Finite Groundings for ASP with Functions: A Journey through Consistency
SEBF: A Single-Chain based Extension Model of Blockchain for Fintech
Projection Free Rank-Drop Steps
Intellect Modeling Kit
Joint Feature Selection and Subspace Learning
Hardware-friendly Deep Learning by Network Quantization and Binarization
Template3D-AD: Point Cloud Template Matching Method Based on Center Points for 3D Anomaly Detection
Curriculum Abductive Learning for Mitigating Reasoning Shortcuts
When reflective feedback triggers goal revision: a computational model for literary creativity
Assumption-Based Planning with Sensing via Contingent Planning
Combining Induction Axioms by Machine
HCRide: Harmonizing Passenger Fairness and Driver Preference for Human-Centered Ride-Hailing
Correlation Complexity of Classical Planning Domains
Multimodal Transformer Networks for Pedestrian Trajectory Prediction
Experimental Design under the Bradley-Terry Model
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology
Randomized Social Choice Functions under Metric Preferences
Unbiased Gradient Boosting Decision Tree with Unbiased Feature Importance
Exploiting Non-Interactive Exercises in Cognitive Diagnosis
How Experience of the Body Shapes Language about Space
Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox
Extending Answer Set Programming using Generalized Possibilistic Logic
A Little Subsidy Ensures MMS Allocation for Three Agents
A Natural Programming Calculus
Story Generation After TALE-SPIN
Learning Higher-Order Logic Programs From Failures
MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis
Reasoning over Hybrid Chain for Table-and-Text Open Domain Question Answering
Modeling Agents through Bounded Rationality Theories
Two Results on Default Logic
Rapid Retrieval Algorithms for Case-Based Reasoning
The Proportional Veto Principle for Approval Ballots
Region-Aware Metric Learning for Open World Semantic Segmentation via Meta-Channel Aggregation
An Experience on Reputation Models Interoperability Based on a Functional Ontology
Ex contradictione nihil sequitur
A Parsing Method for Identifying Words in Mandarin Chinese Sentences
Learning for Deep Language Understanding
DDPA-3DVG: Vision-Language Dual-Decoupling and Progressive Alignment for 3D Visual Grounding
A Survey on Extractive Knowledge Graph Summarization: Applications, Approaches, Evaluation, and Future Directions
On the Estimation of Treatment Effect with Text Covariates
Efficient Vote Elicitation under Candidate Uncertainty
An Interactive Multi-Task Learning Framework for Next POI Recommendation with Uncertain Check-ins
Belief Update without Compactness in Non-finitary Languages
Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model
Relational Rippling: A General Approach
Voting by Axioms (Extended Abstract)
Feature Selection via Joint Embedding Learning and Sparse Regression
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
The Focussed D* Algorithm for Real-Time Replanning
Two Forms of Responsibility in Strategic Games
Utterance Analysis of Discussions Structure and Discourse Quality: A Case of Removed Soils in Fukushima Prefecture, Japan
Human-Like Agents for Repeated Negotiation
Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based Phenotyping
Logical Inference as Cost Minimization in Vector Spaces
Bag-of-foods: analysis of personal foodlogging data
Learning K-way D-dimensional Discrete Embedding for Hierarchical Data Visualization and Retrieval
Deep Preference Neural Network for Move Prediction in Board Games
Interpretable Drug Target Prediction Using Deep Neural Representation
pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization
Computing Stable Models for Nonmonotonic Existential Rules
Federated Meta-Learning for Fraudulent Credit Card Detection
Graph Embedding with Constraints
Learning from Complementary Labels via Partial-Output Consistency Regularization
Leveraging Data About Users in General in the Learning of Individual User Models
Projection, Interaction and Fusion: A Progressive Difference Fusion Network for Salient Object Detection
SceneDiff: Generative Scene-Level Image Retrieval with Text and Sketch Using Diffusion Models
Wave-driven Graph Neural Networks with Energy Dynamics for Over-smoothing Mitigation
Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances
Device-Cloud Collaborative Correction for On-Device Recommendation
Multi-Hierarchical Fine-Grained Feature Mapping Driven by Feature Contributions for Molecular Odor Prediction
Orion: Online Backdoor Sample Detection via Evolution Deviance
Non-Objection Inference for Inconsistency-Tolerant Query Answering
The Open Vault Challenge - Learning How to Build Calibration-Free Interactive Systems by Cracking the Code of a Vault
Interpretation as Exception Minimization
Ontology Reasoning in the SHOQ(D) Description Logic
Property Driven Data Bases
Gaussian Embedding of Linked Documents from a Pretrained Semantic Space
Misclassification-driven Fingerprinting for DNNs Using Frequency-aware GANs
On the Mechanization of Abductive Logic
Dialogue Disentanglement in Software Engineering: How Far are We?
Using learned extraction patterns for text classification
HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
A New Method for Solving Constraint Satisfaction Problems
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
MAT-Net: Medial Axis Transform Network for 3D Object Recognition
MIKROKOSMS and Robots
Coordinated Morphological and Syntactic Analysis of Japanese Language
Fixing Knockout Tournaments With Seeds
Collaborative Evolution for User Profiling in Recommender Systems
A Relaxed Symmetric Non-negative Matrix Factorization Approach for Community Discovery (Extended Abstract)
Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data
Learn and Sample Together: Collaborative Generation for Graphic Design Layout
On the Splitting Property for Epistemic Logic Programs (Extended Abstract)
Concurrence of Word Concepts in Cooking Recipe Search
Online Learning of Action Models for PDDL Planning
ReTrASE: Integrating Paradigms for Approximate Probabilistic Planning
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity
Error-Silenced Quantization: Bridging Robustness and Compactness
Improving Stylized Neural Machine Translation with Iterative Dual Knowledge Transfer
Aggregation of Continuous Preferences in One Dimension
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft
Synthesizing Samples for Zero-shot Learning
Automatic Concept Formation in Pure Mathematics
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation
An Expert System for Indications and Warning Analysis
Hashing over Predicted Future Frames for Informed Exploration of Deep Reinforcement Learning
Machine-Learning-Based Circuit Synthesis
Enhancing Case Adaptation with Introspective Reasoning and Web Mining
Attention Based Document-level Relation Extraction with None Class Ranking Loss
Set and Rebase: Determining the Semantic Graph Connectivity for Unsupervised Cross-Modal Hashing
Explaining and Justifying Expert Consulting Programs
Tractable Temporal Reasoning
Towards Long-delayed Sparsity: Learning a Better Transformer through Reward Redistribution
Shhh! The Logic of Clandestine Operations
Conceptual Analysis of Noun Groups in English
The Successful Ingredients of Policy Gradient Algorithms
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005
Annealed Importance Sampling for Structure Learning in Bayesian Networks
Plausible Reasoning Based on Qualitative Entity Embeddings
Autonomously Reusing Knowledge in Multiagent Reinforcement Learning
Shape from Texture: An Aggregation Transform that Maps a Class of Textures into Surface Orientation
IBAL: A Probabilistic Rational Programming Language
Pushing Forward Marginal MAP with Best-First Search
Synthesis Of LISP Functions From Examples
Revisiting Numerical Pattern Mining with Formal Concept Analysis
Dialog-driven Adaptation of Explanations of Proofs
A Survey on Low-Resource Neural Machine Translation
A revision learner to acquire verb selection rules from human-made rules and examples
Towards Counterfactual Fairness-aware Domain Generalization in Changing Environments
Grammatical Inference on the Basis of Linear Environments of Symbol Strings
Differentially Private Matrix Factorization
Where Elegance Meets Precision: Towards a Compact, Automatic, and Flexible Framework for Multi-modality Image Fusion and Applications
Ontology Population using Corpus Statistics
Structure-Aware Residual Pyramid Network for Monocular Depth Estimation
Sequential Decision Making for Improving Efficiency in Urban Environments
Pattern-Based Music Generation with Wasserstein Autoencoders and PRC Descriptions
Generating Multiple Diverse Responses with Multi-Mapping and Posterior Mapping Selection
HireVAE: An Online and Adaptive Factor Model Based on Hierarchical and Regime-Switch VAE
Computing Infinite Plans for LTL Goals Using a Classical Planner
Neural Network Based Photometric Strereo Using Illumination Planning
Distributing Knowledge into Simple Bases
SEMv3: A Fast and Robust Approach to Table Separation Line Detection
Scalable Speed-ups for the SMS-EMOA from a Simple Aging Strategy
A Polarimetric Approach to Shape Understanding of Glossy Objects
Short and Sparse Text Topic Modeling via Self-Aggregation
Further Connections Between Contract-Scheduling and Ray-Searching Problems
40 Years of Research in Possibilistic Logic - a Survey
Equivariant Graph Neural Network for Crystalline Materials (Invited Paper)
Automatic Decision of Piano Fingering Based on a Hidden Markov Models
SEP: A General Lossless Compression Framework with Semantics Enhancement and Multi-Stream Pipelines
Are Watermarks Bugs for Deepfake Detectors? Rethinking Proactive Forensics
Comparing Options with Argument Schemes Powered by Cancellation
Predicting Carpark Availability in Singapore with Cross-Domain Data: A New Dataset and A Data-Driven Approach
EF1 and EFX Orientations
Computing Datalog Rewritings Beyond Horn Ontologies
Containment of Regular Path Queries under Description Logic Constraints
Hustling in Repeated Zero-Sum Games with Imperfect Execution
What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems
An Exact Inference Scheme for MinSAT
Sifting Common Information from Many Variables
Differentially Private Iterative Gradient Hard Thresholding for Sparse Learning
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief
Learning Sequential Correlation for User Generated Textual Content Popularity Prediction
ICGNet: Integration Context-based Reverse-Contour Guidance Network for Polyp Segmentation
Knowledge-Based Identification of Artery Branches in Cine-Angiograms
Communication-efficient and Scalable Decentralized Federated Edge Learning
Incomplete Multi-Modal Visual Data Grouping
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract)
The DNA Word Design Problem: A New Constraint Model and New Results
Semantic Networks and the Generation of Context
Clustered-patch Element Connection for Few-shot Learning
Equilibrium Characterization for Data Acquisition Games
Forecasting Patient Outcomes in Kidney Exchange
Safety Constrained Multi-Agent Reinforcement Learning for Active Voltage Control
Dichotomous Image Segmentation with Frequency Priors
Learning Visual Words for Weakly-Supervised Semantic Segmentation
On Heuristic Reasoning, Reactivity, and Search
Computational Aspects of Analyzing Social Network Dynamics
A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch
Self-adaptive Re-weighted Adversarial Domain Adaptation
Model Minimization, Regression, and Propositional STRIPS Planning
A Theoretical Evaluation of Selected Backtracking Algorithms
Qualitative Reasoning in Electronic Fault Diagnosis
Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge
Who Says What to Whom: A Survey of Multi-Party Conversations
LTL f and LDL f Synthesis under Partial Observability
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability
Extending a geo-catalogue with matching capabilities
A New Method to Index and Query Sets
Argumentation for Interactive Causal Discovery
Causal interaction: from a high-level representation to an operational event-based representation
Human-Centred Multimodal Deep Learning Models for Chest X-Ray Diagnosis
Question-Answering System of Charles University
JUMP: a Jointly Predictor for User Click and Dwell Time
Intensional and Extensional Views in DL-Lite Ontologies
Using Formal Concept Analysis to Explain Black Box Deep Learning Classification Models
Realistic Cell Type Annotation and Discovery for Single-cell RNA-seq Data
I2CNet: An Intra- and Inter-Class Context Information Fusion Network for Blastocyst Segmentation
Enhancing Table Recognition with Vision LLMs: A Benchmark and Neighbor-Guided Toolchain Reasoner
Thompson Sampling on Symmetric Alpha-Stable Bandits
Modular Community Detection in Networks
Video Frame Interpolation Based on Deformable Kernel Region
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
Dynamic Early Stopping for Naive Bayes
Mixed-Variable Bayesian Optimization
A Formal Investigation of Mapping Language for Terminological Knowledge
Cancellation in a Parallel Semantic Network
Narrative Prose Generation
Temporal Query Answering in the Description Logic EL
The Relevance of Irrelevance
Towards a Model of Grounded Concept Formation
Attribution of Knowledge to Artificial Agents and their Principals
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, USA, August 20-23, 1973
Explicit vs Implicit Profiling - A Case-Study in Electronic Programme Guides
Optimization Learning: Perspective, Method, and Applications
Data Overview by Means of Delta-Classes of Equivalence. The Case of the Titanic Dataset
Emotion Recognition Using Multi-core Tensor Learning and Multimodal Physiological Signal
Deep Unified Cross-Modality Hashing by Pairwise Data Alignment
Multi-scale Spatial Representation Learning via Recursive Hermite Polynomial Networks
Sequential Genetic Search for Ensemble Feature Selection
Incorporating User Behaviors in New Word Detection
A Distributed Control System for the CMU Rover
Difference Unification
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
A Parallel Searching Scheme for Multiprocessor Systems and Its Application to Combinatorial Problems
Backtracking in MLISP2: an efficient backtracking method for LISP
Learning Decision Rules from Data Streams
A Successful Strategy for Multichannel Iterated Prisoner's Dilemma
Exploring Learngene via Stage-wise Weight Sharing for Initializing Variable-sized Models
A Neural Architecture for Reasoning, Decision-making, and Episiodic Memory: Taking a Cue from the Brain (Abstract of Invited Talk)
Planning via Petri Net Unfolding
MMT: Multi-way Multi-modal Transformer for Multimodal Learning
Automated Strategy Invention for Confluence of Term Rewrite Systems
Spatial-Temporal Sequential Hypergraph Network for Crime Prediction with Dynamic Multiplex Relation Learning
Dealing with Generic Contrariness in Structured Argumentation
A Multi-Agent Learning Approach to Online Distributed Resource Allocation
Improving Customer Satisfaction in Bike Sharing Systems through Dynamic Repositioning
Situation Testing-Based Discrimination Discovery: A Causal Inference Approach
PyXAI: An XAI Library for Tree-Based Models
The Complexity of Envy-Free Graph Cutting
Resource-Bounded Crowd-Sourcing of Commonsense Knowledge
Deep Active Learning with Adaptive Acquisition
Playing Atari with Six Neurons (Extended Abstract)
Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract)
Protecting Elections by Recounting Ballots
Fast Cross-Validation
Bayesian Joint Inversions for the Exploration of Earth Resources
Fast Vehicle Identification in Surveillance via Ranked Semantic Sampling Based Embedding
Multiple Policy Value Monte Carlo Tree Search
An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions
A Branch-and-Price Algorithm for Scheduling Observations on a Telescope
Using Information Content to Evaluate Semantic Similarity in a Taxonomy
Nonmanipulable Selections from a Tournament
Adversarial Propensity Weighting for Debiasing in Collaborative Filtering
Randomized Adversarial Imitation Learning for Autonomous Driving
Where to Mask: Structure-Guided Masking for Graph Masked Autoencoders
Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
Linear Trading Position with Sparse Spectrum
The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering
An Inference Net Compiler for the PROSPECTOR Rule-Based Consultation System
Detection of Elliptic and Linear Edges by Searching Two Parameter Spaces
SLViT: Scale-Wise Language-Guided Vision Transformer for Referring Image Segmentation
DoubleLex Revisited and Beyond
Preference-Adaptive Meta-Learning for Cold-Start Recommendation
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning
Deeply-learned Hybrid Representations for Facial Age Estimation
Lifted Planning: Recent Advances in Planning Using First-Order Representations
Combination and Propagation of Uncertainty with Belief Functions - A Reexamination
Plausibility Measures: A General Approach For Representing Uncertainty
Fuzzy Sets, Fuzzy Clustering and Fuzzy Rules in AI
Local Learning Regularized Nonnegative Matrix Factorization
Inferring Motion of Cylindrical Object From Shape Information
Finding Robust Solutions to Stable Marriage
Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism
Verifying Fault-Tolerance in Probabilistic Swarm Systems
Online Sampling and Decision Making with Low Entropy
MultiMirror: Neural Cross-lingual Word Alignment for Multilingual Word Sense Disambiguation
Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCA
What Game Are We Playing? End-to-end Learning in Normal and Extensive Form Games
Interaction Considerations in Learning from Humans
A Deep Generative Model for Code Switched Text
Discriminative and Correlative Partial Multi-Label Learning
FedSpeech: Federated Text-to-Speech with Continual Learning
G3PT: Unleash the Power of Autoregressive Modeling in 3D Generation via Cross-Scale Querying Transformer
People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters
Active Visual Exploration Based on Attention-Map Entropy
Legal Judgment Prediction via Multi-Perspective Bi-Feedback Network
Streaming Multi-Context Systems
IterMeme: Expert-Guided Multimodal LLM for Interactive Meme Creation with Layout-Aware Generation
Less Learn Shortcut: Analyzing and Mitigating Learning of Spurious Feature-Label Correlation
Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems
Choosing between heuristics and strategies: an enhanced model for decision-making
Learning by Discovering Macros in Puzzle Solving
Adaptive Group Sparse Multi-task Learning via Trace Lasso
Dimensionally Guided Synthesis of Mathematical Word Problems
Permanents, Transport Polytopes and Positive Definite Kernels on Histograms
Workshop on Discovering Meaning On the Go in Large Heterogeneous Data 2011 (LHD-11), Barcelona, Spain, July 16, 2011
Measuring Two-People Communication from Omnidirectional Video
Some Preliminary Results on Analogies Between Sentences Using Contextual and Non-Contextual Embeddings
Exploring the Role of Node Diversity in Directed Graph Representation Learning
Light Agents Searching for Hot Information
Propagation Redundancy for Permutation Channels
StackFLOW: Monocular Human-Object Reconstruction by Stacked Normalizing Flow with Offset
Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries
Local-Effect Games
Modeling Topical Relevance for Multi-Turn Dialogue Generation
Framework for Pareto-Optimal Multimodal Clustering
Generation of Descriptions for Line Drawings
Measuring and Mitigating Homelessness Bias: Leveraging AI for Social Impact
Automated Theory Formation in Mathematics
Squeezing Context into Patches: Towards Memory-Efficient Ultra-High Resolution Semantic Segmentation
Mass Assignment Fundamentals for Computing with Words
The Use Of Informal Calculus in Problems Of Artificial Intellect