yusuke1997/dblp-id-title huggingface dataset:
An Analysis of Magic Sets and Related Optimization Strategies for Logic Queries
Editorial: JACM at the start of a new decade
Lattice Functions, Pair Algebras, and Finite-State Machines
Lower Bounds and Reductions Between Grammar Problems
Faster Modular Composition
Chow Parameters in Threshold Logic
A Generalization of Ogden's Lemma
Matrix sparsification and nested dissection over arbitrary fields
On Solving Fredholm Integral Equations of the First Kind
Efficient tests for top-down termination of logical rules
Structure and Transition-Preserving Functions of Finite Automata
The complexity of online memory checking
Optimal Emulations by Butterfly-Like Networks
Monte Carlo Solutions of Boundary Value Problems Involving the Difference Analogue of 6 2 u6x 2 +6 2 u6y 2 +Ky6u6 y=0
Feature Word Construction for Use with Pattern Recognition Algorithms: An Experimental Study
The Complexity of Near-Optimal Graph Coloring
Finite State Verifiers I: The Power of Interaction
Numerical Solution of the Neumann and Mixed Boundary Value Problems by Boundary Contraction
Efficient Noise-Tolerant Learning from Statistical Queries
The Generation of Minimal Trees with a Steiner Topology
Sorting on a Parallel Pointer Machine with Applications to Set Expression Evaluation
Automating program analysis
Two New Classes of Algorithms for Finding the Eigenvalues and Eigenvectors of Real Symmetric Matrices
Locking Primitives in a Database System
Approximating shortest paths on a convex polytope in three dimensions
The Association Factor in Information Retrieval
Invited articles section foreword
Planar Graph Decomposition and All Pairs Shortest Paths
A Simpler and Faster Strongly Polynomial Algorithm for Generalized Flow Maximization
Multifunctional Circuits in Functional Canonical Form
Algorithmic Applications of Baur-Strassen's Theorem: Shortest Cycles, Diameter, and Matchings
A neuroidal architecture for cognitive computation
Relations Among Complexity Measures
A Theorem for the Stability of General Predictor-Corrector Methods for the Solution of Systems of Differential Equations
Numerical Experiments in Conformal Mapping by the Method of Orthonormal Polynomials
Kinodynamic Motion Planning
Iterative Procedures for Nonlinear Integral Equations
Detection of Generative Ambiguities in Context-Free Mechanical Languages
Computer Programming for Young Students
Accumulation of Round-Off Error in Fast Fourier Transforms
Parameterized Inapproximability Hypothesis under ETH
Operations Research Applied to Document Indexing and Retrieval Decisions
On the Reduction of Number Range in the Use of the Graeffe Process
A Syntactic Theory of Message Passing
Information Retrieval Based upon Latent Class Analysis
A Method for Increasing the Efficiency of Monte Carlo Integration
On the Efficiency of Algorithms
The complexity of the counting constraint satisfaction problem
Some Comments from a Numerical Analyst
Convergence and Complexity of Newton Iteration for Operator Equations
Calculation of Generalized Hypergeometric Series
Experiments With a Multipurpose, Theorem-Proving Heuristic Program
A Note on Numerical Solution of Certain Linear Boundary Value Problems
Asymptotic expansions of the sojourn time distribution functions of jobs in closed, product-form queuing networks
On the Solution of Poisson's Difference Equation
How to Assign Votes in a Distributed System
A Method of Solving Boundary Value Problems of Mathematical Physics on Punch Card Machines
Random Sets in Subrecursive Hierarchies
The Elusive Atomic Register
A Variant to Turing's Theory of Computing Machines
Forcing and Calculi for Hybrid Logics
Three open problems in AI
Corrections to Bierstone's Algorithm for Generating Cliques
Linear and Context-Free Graph Grammars
Associative table lookup processing for multioperand residue arithmetic
On the Efficiency of Pairing Heaps and Related Data Structures
Sliver exudation
An Algorithm for Modular Partitioning
Some Results on Tape-Bounded Turing Machines
Two Algorithms for Determining Volumes of Convex Polyhedra
Scale-sensitive dimensions, uniform convergence, and learnability
Some Matching Problems for Bipartite Graphs
Reasoning About Recursively Defined Data Structures
Computing on an anonymous ring
String Matching in Real Time
Mesh refinement via bidirected flows: modeling, complexity, and computational results
Parametricity and Local Variables
On the Equivalence of an Egd to a Set of Fd's
Approximating Edit Distance Within Constant Factor in Truly Sub-quadratic Time
Counting Networks
Some challenges and grand challenges for computational intelligence
Path Calculus in Program Verification
A State Variable Assignment Method for Asynchronous Sequential Switching Circuits
A Stochastic Approximation Method for Optimization Problems
Maintained Activity in Neural Nets
Counting is easy
Efficiency of a Procedure for Near-Minimax Approximation
Constructing Deterministic Finite-State Automata in Recurrent Neural Networks
Optimal Euclidean Spanners: Really Short, Thin, and Lanky
A Theorem on Boolean Matrices
The dichotomy of probabilistic inference for unions of conjunctive queries
Deciding First-Order Properties of Nowhere Dense Graphs
ORDVAC Solutions of the Dirichlet Problem
The omega-Sequence Problem for DOL Systems Is Decidable
On the Hardness of Approximating Minimization Problems
Word Problems Solvable in Logspace
An Almost-Linear Algorithm for Two-Processor Scheduling
The Synthesis of Recursive Digital Filters
Bernoulli's Method with Implicit Shifting
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
The Power of Shunning: Efficient Asynchronous Byzantine Agreement Revisited
An Improved Bound for Weak Epsilon-nets in the Plane
An Optimizing Program for the IBM 650
Polylogarithmic concurrent data structures from monotone circuits
The Characteristic Value-Vector Problem
The complexity of searching a graph
Learning Read-Once Formulas with Queries
Bisimulation Can't be Traced
Design of Numerical Filters with Applications to Missile Data Processing
The Relationship between Greedy Parsing and Symbolwise Text Compression
A Note on the Midpoint Method of Integration
Computer Evaluation of Indexing and Text Processing
Polynomial-time algorithm for the orbit problem
Rates of Convergence in Numerical Solution of the Diffusion Equation
Approaching 3/2 for the s - t -path TSP
The verifying compiler: A grand challenge for computing research
The Share 709 System: Input-Output Translation
A Subroutine for Computations with Rational Numbers
A Generalized Multi-Entrance Time-Sharing Priority Queue
Query Complexity of Approximate Nash Equilibria
Automatic Theorem Proving With Renamable and Semantic Resolution
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Introduction to JACM invited article
On the Average Number of Maxima in a Set of Vectors and Applications
Containment and equivalence for a fragment of XPath
Errata: "Analysis of Several Task-Scheduling Algorithms for a Model of Multiprogramming Computer Systems"
On the Recognition of Primes by Automata
Properties of Conflict-Free and Persistent Petri Nets
An Analysis of Some Relationships Between Post and Boolean Algebras
From sylvester-gallai configurations to rank bounds: Improved blackbox identity test for depth-3 circuits
Bounds for the String Editing Problem
Some Contributions to the Metatheory of the Situation Calculus
Monte Carlo Computations in Normal Correlation Problems
Numerical Inversion of Laplace Transforms Using Laguerre Functions
The fault span of crash failures
Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes
A Transformed implicit Runge-Kutta Method
A Characterization of Product-Form Queuing Networks
Fibonacci heaps and their uses in improved network optimization algorithms
Fast Approximation Algorithms for the Knapsack and Sum of Subset Problems
Distributed (Δ +1)-Coloring in Sublogarithmic Rounds
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
Tight Bounds for Asynchronous Renaming
Efficient Exercising of Switching Elements in Combinatorial Nets
A Method for Constructing Circuit Codes
On Preemptive Scheduling of Unrelated Parallel Processors by Linear Programming
Optimizing two-phase, level-clocked circuitry
Efficient dispersal of information for security, load balancing, and fault tolerance
Techniques for Enumerating Veblen-Wedderburn Systems
Expressiveness of structured document query languages based on attribute grammars
Optimum combinations of sorting and merging
Faster High-accuracy Log-concave Sampling via Algorithmic Warm Starts
Pliability and Approximating Max-CSPs
Learning to reason
Almost Optimal Exact Distance Oracles for Planar Graphs
Categorizing Automata by W-Machine Programs
Bibliography on Numerical Analysis
On the generating sequences of regular languages on k symbols
Computing Bounds on Steady State Availability of Repairable Computer Systems
Optimal Asynchronous Newton Method for the Solution of Nonlinear Equations
S-Semigroups of Automata
Time-Space Trade-offs for Some Algebraic Problems
How bad is selfish routing?
A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance Matrices
Grammar Schemata
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
The Space Complexity of Long-Lived and One-Shot Timestamp Implementations
The 4/3 Additive Spanner Exponent Is Tight
A New Method for the Payment of Bills and the Transfer of Credit
SNOBOL, A String Manipulation Language
An Algorithm for the Design of Simple Precedence Grammars
The Intractability of Bounded Protocols for On-Line Sequence Transmission over Non-FIFO Channels
Error Probability in Decision Functions for Character Recognition
PL360, a Programming Language for the 360 Computers
Decision Quality As a Function of Search Depth on Game Trees
A common schema for dynamic programming and branch and bound algorithms
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution
Assignment Commands with Array References
Learning without Concentration
The maintenance of common data in a distributed system
On the Time Required to Perform Multiplication
Corrigendum: "Control System Model for Critically Timed Success"
Automatic Document Classification Part II. Additional Experiments
Is Automatic Classification a Reasonable Application of Statistical Analysis of Text?
A Machine-Oriented Logic Based on the Resolution Principle
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
Anonymous Shared Memory
A modal analysis of staged computation
Waiting Time Distributions for Processor-Sharing Systems
How to Sign Given Any Trapdoor Permutation
Even Simple Programs Are Hard To Analyze
Message Route Control in a Large Teletype Network
Identity-based Encryption from the Diffie-Hellman Assumption
Complexity Analysis of Generalized and Fractional Hypertree Decompositions
An automata-theoretic approach to branching-time model checking
Addressless Units for Carrying Out Loop-Free Computations
A Theory of Computer Instructions
Convexity algorithms in parallel coordinates
Properties of functional-dependency families
Simulating Synchronized Clocks and Common Knowledge in Distributed Systems
Fast Decision Procedures Based on Congruence Closure
Distributed Exact Shortest Paths in Sublinear Time
Random Walks on Weighted Graphs and Applications to On-line Algorithms
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
Digital Computers for Real-Time Simulation
RECAL - a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks
Finite monoids and the fine structure of NC 1
On the Problem of Recognizing Zero
Robustly Learning General Mixtures of Gaussians
On the Use of Transcendentals for Program Testing
Derivation of Logic Programs
Document Spanners: A Formal Approach to Information Extraction
On the Computation of Exponential and Hyperbolic Functions Using Continued Fractions
Analysis of Two Time-Sharing Queueing Models
Logical Organization of the PACT I Compiler
Experiments in Chess
Picture Segmentation by a Tree Traversal Algorithm
Generalized Pair Algebra With Applications to Automata Theory
Split-ordered lists: Lock-free extensible hash tables
Nonclairvoyant scheduling to minimize the total flow time on single and parallel machines
Examination of Multiple Roots and Root Clusters of a Polynomial Using the Bernoulli Procedure
The time complexity of maximum matching by simulated annealing
Translating Default Logic into Standard Autoepistemic Logic
A Modification of Nordsieck's Method Using an "Off-Step" Point
Dissolution: Making Paths Vanish
Some Methods for Simplifying Switching Circuits Using "Don't Care" Conditions
Derivation of a Path-Connectivity Matrix for Tagged Flowcharts
JACM 1986-1990
A Note on Yen's Algorithm for Finding the Length of All Shortest Paths in N-Node Nonnegative-Distance Networks
Optimal Time Minimal Space Selection Algorithms
On Memory Requirements for Context-Free Language Recognition
Structuring of Parallel Algorithms
Defining Fairness in Reactive and Concurrent Systems
Effects of Constrained Information on Player Decisions in Experimental Business Simulation: Some Empirical Evidence
Termination, Deadlock, and Divergence
Interpolation Theorems for Resolution in Lower Predicate Calculus
Syntactic Characterization of Tree Database Schemas
Characterizations of Reducible Flow Graphs
A Linear Time Planarity Algorithm for 2-Complexes
An Algorithmic Semantics for ALGOL 60 Identifier Denotation
On the Complete Covering Problem for LR(k)Grammars
Reducibility Among Floating-Point Graphs
On the Descriptive Complexity of Temporal Constraint Satisfaction Problems
A Global Bisection Algorithm for Computing the Zeros of Polynomials in the Complex Plane
Analysis of Uniform Hashing
Online Tracking of Mobile Users
Service in a Loop System
An Analysis of the Longest Match and the Greedy Heuristics in Text Encoding
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels
The Cost Distribution of Clustering in Random Probing
Reasoning about Systems with Many Processes
How Fair is Fair Queuing?
The Linear Complexity of Computation
A Study of Schedules as Models of Synchronous Parallel Computation
The periodic balanced sorting network
Local Reasoning for Global Invariants, Part I: Region Logic
Number Base Conversion in a Significant Digit Arithmetic
Algorithms for the Longest Common Subsequence Problem
Hard examples for resolution
Stable Sorting in Asymptotically Optimal Time and Extra Space
The independence of miss ratio on page size
Multivariable Curve Interpolation
A combinatorial strongly polynomial algorithm for minimizing submodular functions
Locally testable codes and PCPs of almost-linear length
Existential second-order logic over graphs: Charting the tractability frontier
Theorem Proving with Lemmas
The Bottleneck Traveling Salesman Problem: Algorithms and Probabilistic Analysis
Convergence Problems in Maehly's Second Method
Time-work tradeoffs for parallel algorithms
Complexity Classes Defined by Counting Quantifiers
Randomized Parallel Algorithms for Backtrack Search and Branch-and-Bound Computation
The Complexity of Solving Polynomial Equations by Quadrature
A model of multimedia information retrieval
Deciding Context Unification
On a Statistical Model of Strand and Westwater for the Numerical Solution of a Fredholm Integral Equation of the First Kind
The expressibility of languages and relations by word equations
Tight bounds on cache use for stencil operations on rectangular grids
A Computer Program for the Nonnumerical Testing and Reduction of Sets of Algebraic Partial Differential Equations
A Cycle Generation Algorithm for Finite Undirected Linear Graphs
Analysis of Several Task-Scheduling Algorithms for a Model of Multiprogramming Computer Systems
A Remark on Acceptable Sets of Numbers
A Survey of Methods of Computing Minimax and Near-Minimax Polynomial Approximations for Functions of a Single Independent Variable
On the Length of Programs for Computing Finite Binary Sequences: statistical considerations
Random Walks That Find Perfect Objects and the Lovász Local Lemma
Proposed Methods for the Analog Solution of Fredholm's Integral Equation
Space-time tradeoffs for approximate nearest neighbor searching
On Least Squares Solutions of Linear Equations
Discrete Analogs for Continuous Filters
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
Parallel Bayesian Search with No Coordination
A Generalization of Shift-Register Sequence Generators
A Decision Procedure for Computations of Finite Automata
On the Correctness of Orphan Management Algorithms
A Procedure for Detecting Intersections of Three-Dimensional Objects
Algorithms for Resolving Conflicts in Dynamic Storage Allocation
Interval arithmetic: From principles to implementation
An Efficient Algorithm for Finding an Irredundant Set Cover
The Complexity of Problems on Probabilistic Nondeterministic, and Alternating Decision Trees
Kernel-based Methods for Bandit Convex Optimization
On the Numerical Solution of a Quasi-Linear Elliptic Equation
The complexity of homomorphism and constraint satisfaction problems seen from the other side
Recent Studies in Automatic Text Analysis and Document Retrieval
On the closest string and substring problems
2-Server PIR with Subpolynomial Communication
Some Mathematical Considerations of Time-Sharing Scheduling Algorithms
On Exponential Digital Filters
Performance Analysis of Cache Memories
The Application of Sequential Estimation to Computer Simulation and Monte Carlo Procedures
The Freezing Threshold for k -Colourings of a Random Graph
Extractors and pseudorandom generators
A linear time algorithm for optimal routing around a rectangle
Management Techniques for Real Time Computer Programming
Uniform Sampling Through the Lovász Local Lemma
Some Thoughts on Scientific Information Dissemination
Shortest Paths in the Plane with Polygonal Obstacles
Minimum Covers in Relational Database Model
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
Internal Sorting by Radix Plus Sifting
AYDAR, Special Purpose Analog Machine for Raw Data Reduction
Multiple Reduction of Variable Dependency of Sequential Machines
Simplification of a Class of Boolean Functions
Semantic Clustering of Index Terms
Learning Boolean Formulas
A Cyclic-Queue Model of System Overhead in Multiprogrammed Computer Systems
The Semantics of Predicate Logic as a Programming Language
On Nonconvex Optimization for Machine Learning: Gradients, Stochasticity, and Saddle Points
Analysis and Design of Fanout-Free Networks of Positive Symmetric Gates
On the Computability of Conditional Probability
Some New Results in Pseudo-Random Number Generation
Optimal Rate Code Constructions for Computationally Simple Channels
Problems and projections in CS for the next 49 year
Properties of Linear Machines
Queuing Network Models with State-Dependent Routing
An Algorithm for Minimax Polynomial Curve-Fitting of Discrete Data
Simulating (log c n)-Wise Independence in NC
Algebras Having Linear Multiplicative Complexities
On Stable Parallel Linear System Solvers
Horn clauses and database dependencies
A Note on Some Mathematical Models of Time-Sharing Systems
Maximizing Functions of Rotations - Experiments Concerning Speed of Diagonalization of Symmetric Matrices Using Jacobi's Method
On Sequences of Pseudo-Random Numbers of Maximal Length
A Theory of Communicating Sequential Processes
A Level Algorithm for Preemptive Scheduling
Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability
Linear Algorithms for Isomorphism of Maximal Outerplanar Graphs
A Note on Fuzzy Deduction
Continuous Skeletons from Digitized Images
The Representation of Multistage Interconnection Networks in Queuing Models of Parallel Systems
Semantics of the Domain of Flow Diagrams
Killing a Vortex
Space-Efficient Frameworks for Top- k String Retrieval
Approximation of Solutions of Mixed Boundary Value Problems for Poisson's Equation by Finite Differences
On the Parameterized Complexity of Approximating Dominating Set
Probabilistic parsing strategies
A Computational Approach to Grammatical Coding of English Words
Two-round Multiparty Secure Computation from Minimal Assumptions
Parametric Combinatorial Computing and a Problem of Program Module Distribution
Logics with aggregate operators
Scheduling Parallel Computations
Infinite-duration Bidding Games
Dynamic Fault-Tolerant Clock Synchronization
Equality and Domain Closure in First-Order Databases
Limits on the ability of quantum states to convey classical messages
Sample Compression Schemes for VC Classes
Two Programming Techniques for One-Plus-One Address Computers
Modular Stratification and Magic Sets for Datalog Programs with Negation
Complexity of Synthesizing Inductive Assertions
Optimal Batched Searching of Tree Structured Files in Multiprocessor Computer Systems
Can A Priori Probabilities Help in Character Recognition?
Addressing for Random-Access Storage with Multiple Bucket Capacities
A Computing Procedure for Quantification Theory
Concurrent threads and optimal parallel minimum spanning trees algorithm
A Formal Deductive Problem-Solving System
Dependent rounding and its applications to approximation algorithms
Efficient Exercising of Switching Elements in Nets of Identical Gates
From Algol to polymorphic linear lambda-calculus
Why haven't more quantum algorithms been found?
A nonlinear lower bound for random-access machines under logarithmic cost
Relativizing complexity classes with sparse oracles
The Generation of Optimal Code for Stack Machines
Designing Computer Circuits with a Computer
On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems
XML with incomplete information
Computer Approaches to the Representations of Lie Algebras
A Technique for the Numerical Solution of Certain Integral Equations of the First Kind
Fully Online Matching
Infinitesimal perturbation analysis for general discrete event systems
A Queueing Theory Study of Round-Robin Scheduling of Time-Shared Computer Systems
On the "Best" and "Least Qth" Approximation of an Overdetermined System of Linear Equations
Proof Verification and the Hardness of Approximation Problems
Generalized Best-First Search Strategies and the Optimality of A*
Primality and identity testing via Chinese remaindering
Schema mapping discovery from data instances
A Note on Linear Extrapolation of Multivariable Functions by the Monte Carlo Method
Three-Dimensional VLSI: A Case Study
Query evaluation via tree-decompositions
Finding Circular Attributes in Attribute Grammars
On Computer Transcription of Manual Morse
First Price Auction is 1-1/ e 2 Efficient
Maintaining state constraints in relational databases: a proof theoretic basis
Beyond proof-of-compliance: security analysis in trust management
When are elections with few candidates hard to manipulate?
An analytic approach to the height of binary search trees II
Response Time Distribution in a Tandem Pair of Queues with Batch Processing
An Algorithm for the Determination of the Polynomial of Best Minimax Approximation to a Function Defined on a Finite Point Set
Acyclic fork-join queuing networks
Permuting streaming data using RAMs
Institutions: Abstract Model Theory for Specification and Programming
Random Trees and the Analysis of Branch and Bound Procedures
The Power of Pluralism for Automatic Program Synthesis
The Weighted Region Problem: Finding Shortest Paths Through a Weighted Planar Subdivision
External hashing with limited internal storage
Two-query PCP with subconstant error
Many Hard Examples for Resolution
Corrigendum: "Computational Complexity and the Existence of Complexity Gaps"
Querying Graphs with Data
A Combinatorial Problem Which Is Complete in Polynomial Space
Fast, Algebraic Multivariate Multipoint Evaluation in Small Characteristic and Applications
Remarks On "Tshebysheff Approximations for Power Series"
Precision Weighting - An Effective Automatic Indexing Method
A counter-example for "A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars"
Fact Retrieval and Deductive Question-Answering Information Retrieval Systems