yusuke1997/dblp-id-title huggingface dataset:
A Hierarchy Theorem for Pram-Based Complexity Classes
Frontmatter, Table of Contents, Preface, Conference Organization, External Reviewers
How Deterministic are Good-For-Games Automata?
Abstraction Concepts for Modeling Screen Oriented Dialogue Interfaces
Reductions to Graph Isomorphism
Conventional and Uniqueness Typing in Graph Rewrite Systems
Some Results on Average-Case Hardness Within the Polynomial Hierarchy
Detection of Unstable Predicates in Distributed Programs
On the Expressive Power of Rewriting
The Benes Network is q*(q-1)/2n-Almost q-set-wise Independent
On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two
Formal Verification of the Ricart-Agrawala Algorithm
From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple
Optimal Packed String Matching
Scheduling with Setup Costs and Monotone Penalties
Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives
Practical Formal Methods for Real World Cryptography (Invited Talk)
A Linear-Time Algorithm for Determining the Intersection Type of Two Star Polygons
Hardness Hypotheses, Derandomization, and Circuit Complexity
A Foundation for Hybrid Knowledge Bases
On the Welfare of Cardinal Voting Mechanisms
Quantum Circuit Verification - A Potential Roadmap (Invited Talk)
Explicit Muller Games are PTIME
Greed is Good for Deterministic Scale-Free Networks
Dimensions of Copeland-Erdös Sequences
The Directed Minimum-Degree Spanning Tree Problem
35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, Bangalore, India, December 16-18, 2015
Synthesizing Dominant Strategies for Liveness
Congestion Games with Multisets of Resources and Applications in Synthesis
Robust Decompositions of Polyhedra
Automated Synthesis: a Distributed Viewpoint
Solving Some Discrepancy Problems in NC
Infinite Probabilistic and Nonprobabilistic Testing
Usefulness of Angle-Sweep over Line-Sweep
A Framework for Consistency Algorithms
String Indexing for Top-k Close Consecutive Occurrences
Close Approximation of Minimum Rectangular Coverings
Monitoring of Real-Time Properties
Interval Selection in Data Streams: Weighted Intervals and the Insertion-Deletion Setting
Order Scheduling Models: Hardness and Algorithms
Path Balance Heuristic for Self-Adjusting Binary Search Trees
More on AC^0[oplus] and Variants of the Majority Function
Geometric Optimization and Polynomial Hierarchy
Algorithms for Convex Visibility Problems
The Limited Power of Powering: Polynomial Identity Testing and a Depth-four Lower Bound for the Permanent
An Automata-Theoretic Approach to Constraint LTL
Combinatorial Algorithms for General Linear Arrow-Debreu Markets
Distributed LTL Model Checking Based on Negative Cycle Detection
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings
The Complexity of Zero Knowledge
Sum of Products of Read-Once Formulas
The Semi-stochastic Ski-rental Problem
A Unified Method for Placing Problems in Polylogarithmic Depth
New Results on Cutting Plane Proofs for Horn Constraint Systems
A Decidable Fragment of Separation Logic
Time Optimal Self-Stabilizing Spanning Tree Algorithms
Time and Real-time in Programs
Partial correctness semantics for CP [ , | , &]
Heuristic Search Approach to Optimal Routing in a Distributed Architecture
The Parameterized Complexity of the Minimum Shared Edges Problem
Data Provenance: Some Basic Issues
On Obtaining Pseudorandomness from Error-Correcting Codes
Unboundedness Problems for Formal Languages (Invited Talk)
Order Structures and Generalisations of Szpilrajn's Theorem
Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk)
Recursive Mean-Value Calculus
Designing Secure Communication Protocols from Trust Specifications
1-Bounded TWA Cannot Be Determinized
Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling
A Complete Fragment of Higher-Order Duration µ-Calculus
Generic Oracles (Abstract)
Maximum Clique in Disk-Like Intersection Graphs
Proving Polynomials Positive
Approximation Algorithms for the Unsplittable Flow Problem on Paths and Trees
Optimal, Output-Sensitive Algorithms for Constructing Upper Envelope of Line Segments in Parallel
On extracting computations from propositional proofs (a survey)
The Agafonov and Schnorr-Stimm Theorems for Probabilistic Automata
Size Bounds on Low Depth Circuits for Promise Majority
On Logically Defined Recognizable Tree Languages
Improved Selection on Totally Monotone Arrays
Regular Sensing
Approximation Algorithms for 2-Stage Stochastic Optimization Problems
Non-Adaptive Data Structure Bounds for Dynamic Predecessor
Tense Logics for Local Reasoning in Distributed Systems
Verification of a Leader Election Algorithm in Timed Asynchronous Systems
Local Patterns
From Causal Consistency to Sequential Consistency in Shared Memory Systems
A Class of Termination Detection Algorithms For Distributed Computation
Finite-State Strategies in Regular Infinite Games
The Complexity of Finding S-Factors in Regular Graphs
Basis Reduction and Evidence for Transcendence of Certain Numbers
Program Development Using Lambda Abstraction
Submodule Construction as Equation Solving CCS
Functional Programming System Revisited
Simultaneously Fair Allocation of Indivisible Items Across Multiple Dimensions
Finite-Valued Weighted Automata
Randomized Time-Space Tradeoffs for Directed Graph Connectivity
Remarks on Graph Complexity
Induce-Statements and Induce-Expressions: Constructs for Inductive Programming
Algorithms in the Presence of Biased Inputs (Invited Talk)
Nearest Neighbors Search Using Point Location in Balls with Applications to Approximate Voronoi Decompositions
String Matching Under a General Matching Relation
On the Parameterized Complexity of Simultaneous Deletion Problems
Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk)
Recent Developments in Algorithms for the Maximum-Flow Problem (Abstract)
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus
A Meta-Language for Typed Object-Oriented Languages
Approximate Representation of Symmetric Submodular Functions via Hypergraph Cut Functions
Counting Euler Tours in Undirected Bounded Treewidth Graphs
Closures and Modules Within Linear Logic Concurrent Constraint Programming
Approximating Optimal Broadcast of Files in a Hose-Model Network
Using Nondeterminism to Design Deterministic Algorithms
Parameterized Regular Expressions and Their Languages
Sampling a Population with a Semi-Random Source
Via Assignment in Single Row Routing
Subtyping Constraints in Quasi-lattices
A Generic Algorithm for Transaction Processing During Network Partitioning
A Theory of Partitioned Global Address Spaces
Approximating the Number of Prime Factors Given an Oracle to Euler's Totient Function
Strong Normalization of Second Order Symmetric lambda-Calculus
A Quadratic Upper Bound on the Reset Thresholds of Synchronizing Automata Containing a Transitive Permutation Group
Linear-Time Algorithms for Two Subtree-Comparison Problems on Phylogenetic Trees with Different Species
A Calculus for Trust Management
Maximizing Phylogenetic Diversity Under Ecological Constraints: A Parameterized Complexity Study
On the Memory Consumption of Probabilistic Pushdown Automata
Beyond Message Sequence Graphs
Matrix Estimation, Latent Variable Model and Collaborative Filtering
On the Sensitivity Conjecture for Disjunctive Normal Forms
On the AC^0[oplus] Complexity of Andreev's Problem
Stability Notions for Hospital Residents with Sizes
Polar Codes: Reliable Communication with Complexity Polynomial in the Gap to Shannon Capacity (Invited Talk)
Motif Counting in Preferential Attachment Graphs
Superfiniteness of Query Answers in Deductive Databases: An Automata-Theoretic Approach
Largest Empty Rectangle among a Point Set
On the Complexity of Hilbert's 17th Problem
First-Order-CTL Model Checking
A Framework for the Specification of Reactive and Concurrent Systems in Z
Secure Refinements of Communication Channels
Playing Safe
Parameterized Streaming Algorithms for Min-Ones d-SAT
Reusing Batch Parsers as Incremental Parsers
Fair Matchings and Related Problems
Mechanizing Verification of Arithmetic Circuits: SRT Division
Robust Reoptimization of Steiner Trees
Circuit Complexity before the Dawn of the New Millennium
Query Evaluation with Null Values: How Complex is Completeness?
Martingales and Locality in Distributed Computing
Shortest-Path Motion
Distance-Preserving Approximations of Polygonal Paths
Approximation Algorithm for Maximum Independent Set in Planar Tiangle-Free Graphs
Well-Founded Ordered Search (Extended Abstract)
Complexity of Model Checking MDPs against LTL Specifications
Maximal Extensions os Simplification Orderings
Fast equivalence-checking for normed context-free processes
Algorithms for the Asymmetric Traveling Salesman Problem (Invited Paper)
Minimum Consistent Subset in Trees and Interval Graphs
Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Dynamic Maintenance of Shortest Path Trees in Simple Polygons
Average Analysis of Glushkov Automata under a BST-Like Model
Knowledgebases as Structured Theories
Lossy Kernels for Graph Contraction Problems
Compressed Dynamic Tries with Applications to LZ-Compression in Sublinear Time and Space
QSM: A General Purpose Shared-Memory Model for Parallel Computation
Polynomial Min/Max-weighted Reachability is in Unambiguous Log-space
Observation of Software for Distributed Systems with RCL
Stronger Tradeoffs for Orthogonal Range Querying in the Semigroup Model
Characterizing Demand Graphs for (Fixed-Parameter) Shallow-Light Steiner Network
A Top-Down Look at a Secure Message
On Bounded Truth-Table, Conjunctive, and Randomized Reductions to Sparse Sets
An Efficient Algorithm for Random Sampling without Replacement
An omega-Algebra for Real-Time Energy Problems
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Complexity of Fault Tolerant Query Complexity
Learning Languages from Positive Data and a Finite Number of Queries
Superpolynomial Circuits, Almost Sparse Oracles and the Exponential Hierarchy
Verifying Part of the ACCESS.bus Protocol Using PVS
Multi-stack Boundary Labeling Problems
Online and Offline Algorithms for Circuit Switch Scheduling
About models of security protocols
PosSLP and Sum of Squares
State Complexity of Population Protocols (Invited Talk)
Non-mitotic Sets
Correstness of Programs over Poor Signatures
Optimal Bounds for Transformations of omega-Automata
Univariate Ideal Membership Parameterized by Rank, Degree, and Number of Generators
Normal Sequences with Non-Maximal Automatic Complexity
Probabilistic Regular Expressions and MSO Logic on Finite Trees
Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk)
The Covering and Boundedness Problems for Branching Vector Addition Systems
Product Interval Automata: A Subclass of Timed Automata
Non-commutative Computation, Depth Reduction, and Skew Circuits (Extended Abstract)
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Hyderabad, India, December 15-17, 2012
Matching Upper and Lower Bounds for Simulation of Several Tapes on One Multidimensional Tape
Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings
Location of the Largest Empty Rectangle among Arbitrary Obstacles
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
Minimality Results for the Spatial Logics
Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings
Expressivity Properties of Boolean
Arithmetic Circuits and Polynomial Replacement Systems
Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered
Constraint LTL with Remote Access
An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification
Stochastic Müller Games are PSPACE-Complete
Actively Learning to Verify Safety for FIFO Automata
Modulo Counting on Words and Trees
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Unambiguous Catalytic Computation
Decidable Hierarchies of Starfree Languages
Computing With a Fixed Number of Pointers (Invited Talk)
Min-Cost Popular Matchings
Sharper Results on the Expressive Power of Generalized Quantifiers
Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra
Monotone Classes Beyond VNP
Editing to Eulerian Graphs
Allocation of Divisible Goods Under Lexicographic Preferences
Böhm Trees as Higher-Order Recursive Schemes
Deterministic Automata and Extensions of Weak MSO
Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures
Characterisations of Nowhere Dense Graphs (Invited Talk)
"Rent-or-Buy" Scheduling and Cost Coloring Problems
An Intelligent Forecasting Method for Cigarette Equipment Maintenance Based on Fuzzy Mathematics Improved Analytic Hierarchy Process
Research on Rough surface parameter inversion based on Bayesian method
Crowd Counting Using Scale Enhanced Network with Dual Attention Booster
A Semi-Parametric Method for Text-to-Image Synthesis from Prior Knowledge
An Improving List Scheduling Algorithm Based on Reinforcement Learning and Task Duplication
Research on Webpage Text Extraction Integrating Webpage Structure and Role
Remote Sensing Image Segmentation based on Generative Adversarial Network with Wasserstein divergence
A Resource-Friendly Random Number Generation Algorithm for IoT
Analysis of the European stock market's advance response time to COVID-19 based on Pearson correlation Coefficient
SCaTNet: A Novel Self-supervised Contrastive Framework with Spatial-Channel Attention and Temporal Transformer for Few-Shot Action Recognition
Economic dispatch of wind and solar energy storage industrial park considering demand-side response
Design of a continuous and stable feeding system for cut tobacco storage cabinet
A Military Named Entity Relation Extraction Approach Based on Deep Learning
Multi-subspace RBFNN driven by features correlation learning
A New Handwritten Essay Dataset for Automatic Essay Scoring with A New Benchmark
MDFF-Net: Multi-Attention Dual-Branch Feature Fusion Network for Polyp Segmentatio
Self-Consistent Semantic Feature Extraction of Image Object Based on Contrastive Learning
The Research on the Scenarios of Cloud Platform and Traditional Platform for Resource Delivery
CLGNet: A New Network for Human Pose Estimation using Commodity Millimeter Wave Radar
Summarization with Highway Condition Radom Pointer-Generator Network
Research and application of matching network
TDOA Parameter Estimation based on VMD-WTD in Satellite Interference Location
Siamese Multiplicative LSTM for Semantic Text Similarity
Learning Time Synchronization in Wearable Sensor Fusion for Human Activity Recognition
A Relative Position-based Bacterial Foraging Optimization for Numerical Optimization
Fault Diagnosis of Avionics System Based on Improved CNN and BiLSTM
Physical design of fusion based on generative adversarial networks
A CLAIM Approach to Understanding the PointNet
A unified framework for attribute extraction in electronic medical records
Simulation Analysis and Prediction Model of Aircraft Electrostatic Discharge Based on Machine Learning
Evolutionary NetArchitecture Search for Deep Neural Networks Pruning
Research and application of recommendation algorithm based on bidirectional attention model
Lightweight domain adaptation: A filtering pipeline to improve accuracy of an Automatic Speech Recognition (ASR) engine
Recognition of human activities based on decision optimization model
Python Source Code Vulnerability Detection Based on CodeBERT Language Model
A retina-inspired neural model for single image haze removal
Analysis of tissue specificity of alternative polyadenylation sites
Generating Basic Probability Assignment from the View of Distance Measures and Its Application in Evidential Decision Tree
Anomaly detection method combining sample subspace distribution and generative models
Weakly Supervised Anomaly Detection by Utilizing Incomplete Anomaly Information
Syntactic-Semantic Graph Fusion Generative Adversarial Network: SSGF-GAN
DTTrack: Target Tracking Algorithm Combining DaSiamRPN Tracker and Transformer Tracker
Tessellation-based Kernel Density Estimation
The multi-focus image fusion method based on CNN and SR
Knowledge-oriented Sentiment-level Embedding for Sentiment Classification
Neural Network Algorithm to Measure the Human Emotion
Target Detection Technology Based on Object Model Optimization Neural Network Learning
AutoAUG : Automatic Data Augmentation for Graph Neural Networks
Strengthening Emotion Recognition Algorithms: A Defense Mechanism against FGSM White-Box Attacks
A Multi-Angle Encoding Spiking Convolutional Neural Network for Remote Sensing Classification
Preprocessing Genuine and Fake Fingerprint Images and Recognition Based on Neural Network
Research the Method of Joint Segmentation and POS Tagging for Tibetan using BiGRU-CRF
Sentimental Analysis based on hybrid approach of Latent Dirichlet Allocation and Machine Learning for Large-Scale of Imbalanced Twitter Data
Enhancing NMF-Based Community Detection via A Higher-Order Proximity-Incorporated Graph Attention Autoencoder
Simulation and Analysis on the performance of Electric Explosive Device in electromagnetic environment of Naval Ships
Design of Soil Water-saving Irrigation Control System Based on Fuzzy Control
Syn-to-Real Alignment Network for Grasping Point Recognition in Robot-Assisted Undressing
High-Quality-High-Quantity Semantic Distillation for Incremental Object Detection
An intelligent user identification technology of power substitution potential based on data mining method
Extending the BDI Model with Q-learning in Uncertain Environment
7th International Conference on Algorithms, Computing and Artificial Intelligence, ACAI 2024, Guangzhou, China, December 20-22, 2024
A K-means Algorithm Based Platform for the Assistant Decision-Making of Power Grid Dispatching
Proceedings of the 5th International Conference on Algorithms, Computing and Artificial Intelligence, ACAI 2022, Sanya, China, December 23-25, 2022
Electromagnetic Pattern Cluster in Latent Space in Near Filed Scanning of a Device
ACAI 2021: 4th International Conference on Algorithms, Computing and Artificial Intelligence, Sanya, China, December 22 - 24, 2021
Context Event Features and Event Embedding Enhanced Event Detection
EAMS-YOLOv8: An Object Detection Algorithm for Drone Aerial Images
A Weight-Based Channel Pruning Algorithm for Depth-Wise Separable Convolution Unit
Design and Analysis of Universal Exponentially Weighted Moving Average Control Chart
Deep joint convolutional neural network with double-level attention mechanism for multi-sensor bearing performance degradation assessment
Optical Flow-Attention Fusion Model for Deepfake Detection
A Local-Mean Based Pseudo Nearest Neighbor Method
A transmission line fault identification method based on long short-term memory network and random matrix principle
IMC: Influence Maximization from Community View
Natural Language Semantic Representation Method Based on the Scene Framework
Quality-aware aggregated conformal prediction for silent speech recognition
An efficient statistical method for evaluating online teaching quality
Question answering system of discipline inspection laws and regulations based on knowledge graph
Brain Lacunae Segmentation from Fair Sequence Based On Fully Convolutional Neural Network
Research on Module-level Fault Diagnosis of Avionics System Based on Residual Convolutional Neural Network
Object detection of linear structures on Mars based on YOLO network
Dynamical Alignment and Estimation for Horizontal Attitude of UAV Based on Vision and IMU
Detection of Microcalcifications in Mammograms Based on Hyper Faster R-CNN
Movie Short-Text Reviews Sentiment Analysis Based on Multi-Feature Fusion
Visualization Research of WEB front-end development technology in Shandong Yellow River Union Cloud Exhibition Hall
Personalized Recommendation using Similarity Powered Pairwise Amplifier Network
Online Review System Using Relational Triple Extraction with Novel Data Augmentation Methods
An Overview of Optimized Inventory Management Models in Technology Companies: Historical Developments, Practical Applications, and AI-Driven Approaches
Improved Super-resolution Network based on SRCNN
Dense Points Aggregation for Efficient and Collaborative Earth-Imaging Task Planning
State of charge estimation for lithium battery based on Levenberg-marquardt back-propagation neural network with momentum term
DAS: Deep Autoencoder with Scoring Neural Network for Anomaly Detection
A Ranking of Software Reliability Evaluation Based on Intuitionistic Fuzzy Aggregation Technique
An Efficient Transformer-based Approach for Joint Nuclei Detection and Segmentation in Whole Slide Tissue Images
Bayesian Intention Inference Based on Human Visual Signal
Deep Learning on Superpoint Generation with Iterative Clustering Network
A Fast Optimization Algorithm Based on Multi-RBF For High-Dimensional and Computationally Expensive Problems
Lightweight Infrared Object Detection Network based on Improved SSD
Integration of Multidimensional Features for Infrared Image Enhancement
An anti-collision algorithm based on tag serial number extended grouping
BanglaEmbed: Efficient Sentence Embedding Models for a Low-Resource Language Using Cross-Lingual Distillation Techniques
A Hybrid Recommendation Method with Multilayer Perception Applied on Real World Data
Wavelet-Driven Multi-Model Ensemble: A Synthesis Box for Time Series Forecasting
Sentiment Analysis of Twitter Data based on Ordinal Classification
Survey of video object detection algorithms based on deep learning
Kalman Filter Tracking Algorithm Simulation Based on Angle Expansion
A Malicious Web Page Detection Model based on SVM Algorithm: Research on the Enhancement of SVM Efficiency by Multiple Machine Learning Algorithms
An improved multi-view graph clustering based on tissue-like P System
Entangled Representation Learning: A Bidirectional Encoder Decoder Model
Analysis and Prediction of Myanmar Prosodic Unit Boundary
Salient Object Detection with Detail-Preserving Pooling and Feature Channel Refinement
Multi-scale Generative Model for Image Completion
CLIP-ViT Detector: Side Adapter with Prompt for Vision Transformer Object Detection
Image Dehazing Using Conditional Patch Generative Adversarial Network
A deep learning based scene text detector combining two strategies
Auto-generating Textual Data Stories Using Data Science Pipelines
ILG: Inference model based on Line Graphs for document-level relation extraction
Bidirectional Boost: On Improving Tibetan-Chinese Neural Machine Translation With Back-Translation and Self-Learning
Customer Churn Combination Prediction Model Based on Convolutional Neural Network and Gradient Boosting Decision Tree
The Design and Development of Virtual Simulation Experiment for Online learning
Design and Research of Intelligent Robot 3D Recognition Processing System
Part-GCNet: Partitioning Graph Convolutional Network for Multi-Label Recognition
Retrieval Augmented via Execution Guidance in Open-domain Table QA
Cross-Subject Drowsiness Recognition Based on EEG Signals of Frontal Area
Few-Shot Legal Knowledge Question Answering System for COVID-19 Epidemic
Research on weighted and degree multi granularity intuitionistic fuzzy rough set model based on multiple parameters
Adversarial Training on Weights for Graph Neural Networks
A Multiple Granular Cascaded Model of Object Tracking Under Surveillance Videos
Wasserstein Topology Transfer for Joint Distilling Embeddings of Knowledge Graph Entities and Relations
Coordinating Multi-Agent Deep Reinforcement Learning in Wargame
Exploration of Network Optimization Strategies Based On the TSN Model
Research on the application of image processing in improving the reconnaissance efficiency of UAV
Prediction of Protein Subcellular Location Using the Information Entropy and the Auto Covariance Transformation