yusuke1997/dblp-id-title huggingface dataset:
Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem
On the Interval-Bound Problem for Weighted Timed Automata
On the Weisfeiler-Leman Dimension of Fractional Packing
On the Average Size of Glushkov's Automata
BFS-Based Symmetry Breaking Predicates for DFA Identification
A Hierarchical Classification of First-Order Recurrent Neural Networks
DFA with a Bounded Activity Level
Abelian Square-Free Partial Words
An Automata View to Goal-Directed Methods
Structure and Measure of a Decidable Class of Two-dimensional Codes
Pebble-Intervals Automata and FO 2 with Two Orders
Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
On Model Checking for Visibly Pushdown Automata
Tangles and Connectivity in Graphs
On Linear Logic Planning and Concurrency
A Fast Longest Common Subsequence Algorithm for Similar Strings
Slender Siromoney Matrix Languages
Hard Counting Problems for Partial Words
Automata over Infinite Sequences of Reals
Models for Quantitative Distributed Systems and Multi-Valued Logics
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape
Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words
An Error Correcting Parser for Context Free Grammars that Takes Less Than Cubic Time
Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Nash Equilibria in Concurrent Priced Games
Descriptional Complexity of Grammars Regulated by Context Conditions
Compressed Data Structures for Range Searching
How Many Holes Can an Unbordered Partial Word Contain?
Hankel Matrices for Weighted Visibly Pushdown Automata
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Compositional Bisimulation Minimization for Interval Markov Decision Processes
Single-Pass Testing Automata for LTL Model Checking
Fast and Cache-Oblivious Dynamic Programming with Local Dependencies
Discrete Linear Dynamical Systems
Decision Problems for Convex Languages
Rule Formats for Distributivity
Extremal Combinatorics of Reaction Systems
Approximated Determinisation of Weighted Tree Automata
Nondeterministic Instance Complexity and Proof Systems with Advice
Bounded Automata Groups are co-ET0L
Efficient Learning of Tier-Based Strictly k-Local Languages
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks
Reachability in Resource-Bounded Reaction Systems
N-Memory Automata over the Alphabet N
Short Witnesses and Accepting Lassos in omega -Automata
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions
Non-uniform Cellular Automata
Execution Information Rate for Some Classes of Automata
Learning by Erasing in Dynamic Epistemic Logic
Fine and Wilf's Periodicity Result on Partial Words and Consequences
Closure and Nonclosure Properties of the Compressible and Rankable Sets
Linear Context-Free Tree Languages and Inverse Homomorphisms
Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and Bordered Words
On a Family of Morphic Images of Arnoux-Rauzy Words
Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs
Expressiveness of Dynamic Networks of Timed Petri Nets
Feasible Automata for Two-Variable Logic with Successor on Data Words
Automatic Structures and Groups
SI! Automata Can Show PSPACE Results for Description Logics
Timed Comparisons of Semi-Markov Processes
Anti-pattern Matching Modulo
Approaching Arithmetic Theories with Finite-State Automata
On the Construction of a Family of Automata That Are Generically Non-minimal
Syntactic View of Sigma-Tau Generation of Permutations
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion
Windable Heads and Recognizing NL with Constant Randomness
Weak and Nested Class Memory Automata
Further Results on Insertion-Deletion Systems with One-Sided Contexts
Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited
Consensus String Problem for Multiple Regular Languages
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL _0
Satisfiability for MTL and TPTL over Non-monotonic Data Words
Descriptional Complexity of Unambiguous Nested Word Automata
On Bifix Systems and Generalizations
Classifying omega-regular partitions
A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems
The Buffered π-Calculus: A Model for Concurrent Languages
Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
On Extended Regular Expressions
On the Expressive Power of FO[ + ]
Rule-Based Unification in Combined Theories and the Finite Variant Property
New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality
Optimal Bounds for Computing \alpha α -gapped Repeats
Networks of Evolutionary Processors with Subregular Filters
Space Complexity of Reachability Testing in Labelled Graphs
Sublinear DTD Validity
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
Genetic Algorithm for Synchronization
Interval Logics and ωB-Regular Languages
Globally Deterministic CD-Systems of Stateless R(1)-Automata
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
Rewrite Closure and CF Hedge Automata
Transformations and Preservation of Self-assembly Dynamics through Homotheties
Parameterized Enumeration for Modification Problems
Square-Free Words over Partially Commutative Alphabets
Steganography Based on Pattern Languages
Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets
On the Regularity of Binoid Languages: A Comparative Approach
Verification of Succinct Hierarchical State Machines
Post Correspondence Problem with Partially Commutative Alphabets
Induced Subshifts and Cellular Automata
Reshaping the Context-Free Model: Linguistic and Algorithmic Aspects
Ostrowski Numeration and the Local Period of Sturmian Words
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
Building Bridges Between Sets of Partial Orders
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
Complexity of Guided Insertion-Deletion in RNA-Editing
Most General Property-Preserving Updates
Efficient Representation and Counting of Antipower Factors in Words
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata
Sorting and Element Distinctness on One-Way Turing Machines
Recognizing Shuffled Languages
Ordered Semiautomatic Rings with Applications to Geometry
Maximizing Entropy over Markov Processes
Synchronizing Automata and the Cerny Conjecture
Vector Addition System Reachability Problem: A Short Self-contained Proof
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems
Integrated Encryption in Dynamic Arithmetic Compression
Muller Message-Passing Automata and Logics
Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification
Geometrical Languages
Complexity in Convex Languages
On the Computational Power of Programs over BA 2 Monoid
Analysis of Communicating Automata
Computing Depths of Patterns
Using Duality in Circuit Complexity
On the Parameterized Complexity of Default Logic and Autoepistemic Logic
A Faster Grammar-Based Self-index
Recompression: Technique for Word Equations and Compressed Data
A Complexity Measure on Büchi Automata
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory
A Derivational Model of Discontinuous Parsing
Finding Shuffle Words That Represent Optimal Scheduling of Shared Memory Access
+\omega + ω -Picture Languages Recognizable by Büchi-Tiling Systems
Sliding Window Algorithms for Regular Languages
Defining Contexts in Context-Free Grammars
Coverability in Two Dimensions
Self-overlapping Occurrences and Knuth-Morris-Pratt Algorithm for Weighted Matching
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives
Parametric Metric Interval Temporal Logic
Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages
Bounded Delay and Concurrency for Earliest Query Answering
Input-Driven Queue Automata with Internal Transductions
On the Size Complexity of Deterministic Frequency Automata
Colored Nested Words
Reachability Analysis with State-Compatible Automata
Grammars Controlled by Special Petri Nets
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata
Canonical Multi-target Toffoli Circuits
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
Deciding Classes of Regular Languages: The Covering Approach
Computing by Observing Insertion
Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids
Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars
Asynchronous PC Systems of Pushdown Automata
The Shuffle Product: New Research Directions
On Del-Robust Primitive Partial Words with One Hole
Complexity of Regular Functions
Nondeterministic soliton automata with a single external vertex
Finite Orbits of Language Operations
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data
Improved Alignment Based Algorithm for Multilingual Text Compression
Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars
On Robot Games of Degree Two
Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars
SA-REPC - Sequence Alignment with Regular Expression Path Constraint
Shopping Trajectory Representation Learning with Pre-training for E-commerce Customer Understanding and Recommendation
Volatile correlation computation: a checkpoint view
Progressive Stacking for Scalable Graph Condensation
Knowledge Distillation with Perturbed Loss: From a Vanilla Teacher to a Proxy Teacher
A density-based clustering structure mining algorithm for data streams
The Application of AdaBoost for Distributed, Scalable and On-Line Learning
Lift-based search for significant dependencies in dense data sets
Characteristic relational patterns
Powerformer: A Section-adaptive Transformer for Power Flow Adjustment
Learning to Discover Various Simpson's Paradoxes
Improving Social Network Embedding via New Second-Order Continuous Graph Neural Networks
Understanding Team Collapse via Probabilistic Graphical Models
The International Workshop on Pretraining: Algorithms, Architectures, and Applications ([email protected] 2021)
DARING: Differentiable Causal Discovery with Residual Independence
Multi-source deep learning for information trustworthiness estimation
A streaming ensemble algorithm (SEA) for large-scale classification
Learning Tree Structure in Multi-Task Learning
Network Inference via the Time-Varying Graphical Lasso
Density estimation trees
Beyond Personalization: Social Content Recommendation for Creator Equality and Consumer Satisfaction
EMBERS at 4 years: Experiences operating an Open Source Indicators Forecasting System
One-shot Joint Extraction, Registration and Segmentation of Neuroimaging Data
A Survey on Small Language Models in the Era of Large Language Models: Architecture, Capabilities, and Trustworthiness
Exploring Heterogeneity and Uncertainty for Graph-based Cognitive Diagnosis Models in Intelligent Education
Transcribing Content from Structural Images with Spotlight Mechanism
VDS'21: Visualization in Data Science
Prices Do Matter: Modeling Price Competitiveness for Online Hotel Industry
Prediction of human emergency behavior and their mobility following large-scale disaster
Modeling relational events via latent classes
Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95), Montreal, Canada, August 20-21, 1995
Towards an Optimal Subspace for K-Means
Extreme Meta-Classification for Large-Scale Zero-Shot Retrieval
GPLAG: detection of software plagiarism by program dependence graph analysis
Multiwave COVID-19 Prediction from Social Awareness Using Web Search and Mobility Data
Determining content power users in a blog network
How to Compete Online for News Audience: Modeling Words that Attract Clicks
DILOF: Effective and Memory Efficient Local Outlier Detection in Data Streams
Noisy Interactive Graph Search
Identifying users profiles from mobile calls habits
Fragility Index: A New Approach for Binary Classification
User-centered design for KDD
How does the Memorization of Neural Networks Impact Adversarial Robust Models?
Influence Maximization with Fairness at Scale
Gradient boosted feature selection
Data mining in the chemical industry
Temporal Graph Learning for Financial World: Algorithms, Scalability, Explainability & Fairness
Precipitation Nowcasting with Satellite Imagery
Modeling relationships at multiple scales to improve accuracy of large recommender systems
To buy or not to buy: that is the question
Cost-Effective Training of Deep CNNs with Active Model Adaptation
Flexible and Robust Multi-Network Clustering
Computational phenotype prediction of ionizing-radiation-resistant bacteria with a multiple-instance learning model
Rapid detection of significant spatial clusters
Mining hidden community in heterogeneous social networks
Enabling fast prediction for ensemble models on data streams
JiuZhang 2.0: A Unified Chinese Pre-trained Language Model for Multi-task Mathematical Problem Solving
Online Purchase Prediction via Multi-Scale Modeling of Behavior Dynamics
A Deep Generative Approach to Search Extrapolation and Recommendation
A Sub-linear, Massive-scale Look-alike Audience Extension System A Massive-scale Look-alike Audience Extension
AttDMM: An Attentive Deep Markov Model for Risk Scoring in Intensive Care Units
Progressive Dependency Representation Learning for Stock Ranking in Uncertain Risk Contrasting
Causal Discovery on Non-Euclidean Data
Analysis of Web Search Engine Query Session and Clicked Documents
Deep Learning Architecture with Dynamically Programmed Layers for Brain Connectome Prediction
AdaProp: Learning Adaptive Propagation for Graph Neural Network based Knowledge Graph Reasoning
Learning Tree-based Deep Model for Recommender Systems
Visualized Classification of Multiple Sample Types
K-means clustering versus validation measures: a data distribution perspective
Design principles of massive, robust prediction systems
Spatio-Temporal Consistency Enhanced Differential Network for Interpretable Indoor Temperature Prediction
AutoKnow: Self-Driving Knowledge Collection for Products of Thousands of Types
LH-Mix: Local Hierarchy Correlation Guided Mixup over Hierarchical Prompt Tuning
Graph-based Representation Learning for Web-scale Recommender Systems
A simple methodology for soft cost-sensitive classification
Divergent Paths: Separating Homophilic and Heterophilic Learning for Enhanced Graph-level Representations
Succinct interval-splitting tree for scalable similarity search of compound-protein pairs with property constraints
Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010
Breaking the Bottleneck: User-Specific Optimization and Real-Time Inference Integration for Sequential Recommendation
Outlier detection by sampling with accuracy guarantees
Towards ML Engineering with TensorFlow Extended (TFX)
Collaborative Intelligence Orchestration: Inconsistency-Based Fusion of Semi-Supervised Learning and Active Learning
Deriving marketing intelligence from online discussion
DRL4Route: A Deep Reinforcement Learning Framework for Pick-up and Delivery Route Prediction
Graph Structure Learning for Robust Graph Neural Networks
Discovering Classification Knowledge in Databases Using Rough Sets
Robust Extreme Multi-label Learning
An Embarrassingly Simple Approach for Trojan Attack in Deep Neural Networks
Hierarchical Structure Sharing Empowers Multi-task Heterogeneous GNNs for Customer Expansion
A Survey on Trustworthy LLM Agents: Threats and Countermeasures
Weisfeiler-Lehman Neural Machine for Link Prediction
TrajRecovery: An Efficient Vehicle Trajectory Recovery Framework based on Urban-Scale Traffic Camera Records
Efficient single-source shortest path and distance queries on large graphs
Camouflaged fraud detection in domains with complex relationships
VisualTextRank: Unsupervised Graph-based Content Extraction for Automating Ad Text to Image Search
Hadoop: a view from the trenches
Quadratic optimization to identify highly heritable quantitative traits from complex phenotypic features
Wavelet synopsis for data streams: minimizing non-euclidean error
A Survey on Unifying Large Language Models and Knowledge Graphs for Biomedicine and Healthcare
Improving Robustness of Hyperbolic Neural Networks by Lipschitz Analysis
Simulated Infectious Diseases Datasets with Controlled Data Bias
Core decomposition of uncertain graphs
Multi-Armed Bandits and Reinforcement Learning: Advancing Decision Making in E-Commerce and Beyond
Forecasting Fine-Grained Air Quality Based on Big Data
How to Invest my Time: Lessons from Human-in-the-Loop Entity Extraction
Zips: mining compressing sequential patterns in streams
Ranking Universities Based on Career Outcomes of Graduates
Differential Association Rule Mining for the Study of Protein-Protein Interaction Networks
On social event organization
KDD 2025 - AI Reasoning Day
Dynamic Hawkes Processes for Discovering Time-evolving Communities' States behind Diffusion Processes
C-AOI: Contour-based Instance Segmentation for High-Quality Areas-of-Interest in Online Food Delivery Platform
RolX: structural role extraction & mining in large graphs
Learning multifractal structure in large networks
DHS: Adaptive Memory Layout Organization of Sketch Slots for Fast and Accurate Data Stream Processing
CompanyKG: A Large-Scale Heterogeneous Graph for Company Similarity Quantification
Ontology Enrichment for Effective Fine-grained Entity Typing
Discovering complex matchings across web query interfaces: a correlation mining approach
CurvaNet: Geometric Deep Learning based on Directional Curvature for 3D Shape Analysis
A unifying framework for detecting outliers and change points from non-stationary time series data
Online Additive Quantization
Robust Auto-Bidding Strategies for Online Advertising
Dense Subgraph Discovery: KDD 2015 tutorial
The topic-perspective model for social tagging systems
Experimental comparisons of online and batch versions of bagging and boosting
From labor to trader: opinion elicitation via online crowds as a market
Multimodal Conditional Retrieval with High Controllability
Neural Network Pruning for Invariance Learning
Session-Level Dynamic Ad Load Optimization using Offline Robust Reinforcement Learning
Multivariate Log-based Anomaly Detection for Distributed Database
Explicitly representing expected cost: an alternative to ROC representation
Organizational Chart Inference
Fast and Accurate Anomaly Detection in Dynamic Graphs with a Two-Pronged Approach
Discovering Reliable Approximate Functional Dependencies
Focused Context Balancing for Robust Offline Policy Evaluation
Predicting Socio-Economic Indicators using News Events
Multi-source learning with block-wise missing data for Alzheimer's disease prediction
Use of ranked cross document evidence trails for hypothesis generation
Harnessing Graphical Structure in Markov Chain Monte Carlo Learning
The scorecard solution to the author-paper identification challenge
Match: A Maximum-Likelihood Approach for Classification under Label Shift
Learning Behavior-oriented Knowledge Tracing
Multi-channel Integrated Recommendation with Exposure Constraints
Contagious Chain Risk Rating for Networked-guarantee Loans
Online active inference and learning
Interactive Generalized Additive Model and Its Applications in Electric Load Forecasting
Web Usage Analysis and User Profiling, International WEBKDD'99 Workshop, San Diego, California, USA, August 15, 1999, Revised Papers
A Data-Driven Approach for Multi-level Packing Problems in Manufacturing Industry
Raise to Speak: An Accurate, Low-power Detector for Activating Voice Assistants on Smartwatches
Versatile publishing for privacy preservation
Maximum entropy methods for biological sequence modeling
Data mining techniques to improve forecast accuracy in airline business
PGLBox: Multi-GPU Graph Learning Framework for Web-Scale Recommendation
Network Experimentation at Scale
Similarity of Attributes by External Probes
Evolutionary hierarchical dirichlet processes for multiple correlated time-varying corpora
Efficient data reduction with EASE
Improving Subgraph Matching by Combining Algorithms and Graph Neural Networks
LettinGo: Explore User Profile Generation for Recommendation System
Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Seattle, Washington, USA, August 22-25, 2004
MetaCost: A General Method for Making Classifiers Cost-Sensitive
A hit-miss model for duplicate detection in the WHO drug safety database
TaxoGen: Unsupervised Topic Taxonomy Construction by Adaptive Term Embedding and Clustering
Meta Self-training for Few-shot Neural Sequence Labeling
Mining intrusion detection alarms for actionable knowledge
2nd Workshop on Online and Adaptive Recommender Systems (OARS)
Multi-task Hierarchical Classification for Disk Failure Prediction in Online Service Systems
Dynamics of a Collaborative Rating System
When Sentiment Analysis Meets Social Network: A Holistic User Behavior Modeling in Opinionated Data
Hypergraph Motif Representation Learning
COTA: Improving the Speed and Accuracy of Customer Support through Ranking and Deep Networks
Probabilistic Metric Learning with Adaptive Margin for Top-K Recommendation
Statistical measure of quality in Wikipedia
Exploring venue-based city-to-city similarity measures
Two-Sided Fairness for Repeated Matchings in Two-Sided Markets: A Case Study of a Ride-Hailing Platform
A Fast Planner Detection Method in LiDAR Point Clouds Using GPU-based RANSAC
Hierarchical Training: Scaling Deep Recommendation Models on Large CPU Clusters
Computational Advertising at Scale
Anomaly Detection in Streams with Extreme Value Theory
Web information extraction using markov logic networks
Compression of weighted graphs
Knowledge discovery of semantic relationships between words using nonparametric bayesian graph model
Modeling direct and indirect influence across heterogeneous social networks
Scalable Machine Learning Approaches for Neighborhood Classification Using Very High Resolution Remote Sensing Imagery
Structured Doubly Stochastic Matrix for Graph Based Clustering: Structured Doubly Stochastic Matrix
FedCP: Separating Feature Information for Personalized Federated Learning via Conditional Policy
Towards Decision Support and Goal Achievement: Identifying Action-Outcome Relationships From Social Media
Scalable Area Difficulty Assessment with Knowledge-enhanced AI for Nationwide Logistics Systems
A new two-phase sampling based algorithm for discovering association rules
Spying Out Accurate User Preferences for Search Engine Adaptation
Scaling Choice Models of Relational Social Data
Risk Prediction on Electronic Health Records with Prior Medical Knowledge
User Profiling in Personalization Applications Through Rule Discovery and Validation
DTW-D: time series semi-supervised learning from a single example
CoRel: Seed-Guided Topical Taxonomy Construction by Concept Learning and Relation Transferring
Enhancing sentiment extraction from text by means of arguments
Enhancing E-commerce Spelling Correction with Fine-Tuned Transformer Models
Data Pricing - From Economics to Data Science
A Feature-Based Coalition Game Framework with Privileged Knowledge Transfer for User-tag Profile Modeling