yusuke1997/dblp-id-title huggingface dataset:
A Complete Axiomatization of Full Join Dependencies
A Mathematical Model for the Analysis of Contour-Line Data
Subcubic Equivalences Between Path, Matrix, and Triangle Problems
Restructuring of Arithmetic Expressions For Parallel Evaluation
Efficient Generation of Optimal Prefix Code: Equiprobable Words Using Unequal Cost Letters
Numerical Quadrature in Many Dimensions
Primality Testing Using Elliptic Curves
An Optimal Algorithm to Detect a Line Graph and Output Its Root Graph
Information Transfer in Distributed Computing with Applications to VLSI
Semantic Optimization of Conjunctive Queries
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
On the Coding of Jacobi's Method for Computing Eigenvalues and Eigenvectors of Real Symmetric Matrices
Iterative Refinement in Floating Point
The Undecidability of the Existence of Zeros of Real Elementary Functions
Numerical Construction of Taylor Series Approximations for a Set of Simultaneous First Order Differential Equations
New applications of failure functions
Retiring Presidential Address
Optimum Recurrence Formulas for a Fourth Order Parabolic Partial Differential Equation
Improved Trailing Digits Estimates Applied to Optimal Computer Arithmetic
A Theory of Using History for Equational Systems with Applications
P-uniform circuit complexity
Local Proofs Approaching the Witness Length
On the Execution of Parallel Programs on Multiprocessor Systems-A Queuing Theory Approach
Optimal Search on Some Game Trees
A lower bound on the average-case complexity of shellsort
Operations Useful for Similarity-Invariant Pattern Recognition
Alternating-time temporal logic
Equivalence and optimization of relational transactions
Digital Time-Domain Analysis of Systems with Widely Separated Poles
Regenerative Simulation of Response Times in Networks of Queues
On the Generation of Binary Trees
The Unsolvability of the Equivalence Problem for Lambda-Free Nondeterministic Generalized Machines
Sorting Cards with Respect to a Modulus
Stability of a Numerical Solution of Differential Equations - Part II
A System for Generating "Pronounceable" Names Using a Computer
Empirical hardness models: Methodology and a case study on combinatorial auctions
On Testing a Subroutine for the Numerical Integration of Ordinary Differential Equations
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length
Monte Carlo Summation and Integration Applied to Multiclass Queuing Networks
An Execution/Sleep Scheduling Policy for Serving an Additional Job in Priority Queueing Systems
Randomized algorithms for estimating the trace of an implicit symmetric positive semi-definite matrix
Stable Predictor-Corrector Methods for Ordinary Differential Equations
Trade-offs for fully dynamic transitive closure on DAGs: breaking through the O(n 2 barrier
Minimum-weight triangulation is NP-hard
A Mathematical Method for Analyzing the Growth of a Scientific Discipline
A Proof Procedure Using Connection Graphs
The nested chinese restaurant process and bayesian nonparametric inference of topic hierarchies
Evaluation of Integrals Involving Combinations of Bessel Functions and Circular Functions
Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses
Running a Computer Efficiently
On the Complexity of Hazard-free Circuits
On approximating the ideal random access machine by physical machines
A mechanical proof of the Church-Rosser theorem
On the Equivalence of Database Models
A linear time algorithm for residue computation and a fast algorithm for division with a sparse divisor
Bernoulli Factories and Black-box Reductions in Mechanism Design
Effective Automatic Indexing Using Term Addition and Deletion
On the Numerical Solution of Ordinary and Partial Differential Equations Using Integral Relations
Solving the Weighted Stable Set Problem in Claw-Free Graphs via Decomposition
Errata: "Record Allocation for Minimizing Expected Retrieval Costs on Drum-Like Storage Devices"
A Computational Study of the Effects of Problem Dimensions on Solution Times for Transportation Problems
Graph expansion and communication costs of fast matrix multiplication
A Sorting Algorithm for Polynomial Multiplication
Evaluation of Queries in Independent Database Schemes
Linear Multistep Methods for Volterra Integro-Differential Equations
Net and Prune: A Linear Time Algorithm for Euclidean Distance Problems
A Metalgorithm for Adaptive Quadrature
AND/OR Graph Heuristic Search Methods
A Machine-Independent Theory of the Complexity of Recursive Functions
On computer system challenges
Ordinal Hierarchies and Naming Complexity Classes
The complexity of acyclic conjunctive queries
On Finding the Maxima of a Set of Vectors
Optimal Algorithms for Parallel Givens Factorization on a Coarse-Grained PRAM
Queueing Analysis of the Scan Policy for Moving-Head Disks
Almost tight upper bounds for vertical decompositions in four dimensions
Single-value combinatorial auctions and algorithmic implementation in undominated strategies
New Formulas for Computing Incomplete Elliptic Integrals of the First and Second Kind
On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions
Algebraic Approach to Promise Constraint Satisfaction
A General Analysis of Variance Scheme Applicable to a Computer With a Very Large Memory
A Generalized Tree Circuit
Editorial: a bill of rights and responsibilities
A Modification of Filon's Method of Numerical Integration
Graph Algorithms for Functional Dependency Manipulation
An O(log n) expected rounds randomized byzantine generals protocol
Minimizing flow time nonclairvoyantly
Minimal Experiments for Input-Independent Machines
What next?: A dozen information-technology research goals
Stability Analysis of a New Algorithm Used for Integrating a System of Ordinary Differential Equations
Managing periodically updated data in relational databases: a stochastic modeling approach
Near-Optimal Regret Bounds for Thompson Sampling
Methods of Simulating a Differential Analyzer on a Digital Computer
A constructive proof of the general lovász local lemma
Nearly Optimal Solutions for the Chow Parameters Problem and Low-Weight Approximation of Halfspaces
Approximation algorithms for asymmetric TSP by decomposing directed regular multigraphs
Plausibility measures and default reasoning
XML data exchange: Consistency and query answering
Lattice Approximations to the Minima of Functions of Several Variables
A Shortest Path Algorithm for Edge-Sparse Graphs
The Choice of Origin and Scale for Graphs
Parallel algorithms for minimum cuts and maximum flows in planar networks
A Starting Method for the Three-Point Adams Predictor-Corrector Method
Linear-time computability of combinatorial problems on series-parallel graphs
Nested Stack Automata
A dichotomy theorem for constraint satisfaction problems on a 3-element set
The Placement of Computer Logic Modules
Quantifying inefficiency in cost-sharing mechanisms
The schematic protection model: its definition and analysis for acyclic attenuating schemes
The Number of Fanout-Free Functions with Various Gates
Near-linear Time Approximation Schemes for Clustering in Doubling Metrics
Inference with path resolution and semantic graphs
Soundness and Completeness of a Synthesis Algorithm Based on Example Computations
On Local Roundoff Errors in Floating-Point Arithmetic
Undirected Single-Source Shortest Paths with Positive Integer Weights in Linear Time
One Man's View of Computer Science
Iceberg Hashing: Optimizing Many Hash-Table Criteria at Once
Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems
Erratum: "A Method for Increasing the Efficiency of Monte Carlo Integration"
Optimization of Memory Hierarchies in Multiprogrammed Systems
A Simple Deterministic Distributed MST Algorithm with Near-Optimal Time and Message Complexities
Production and Stabilization of Real-Time Task Schedules
Completeness of Linear Refutation for Theories with Equality
On the Power of Bounded Concurrency I: Finite Automata
Communication is Bounded by Root of Rank
Deleting Repeated Goals in the Problem Reduction Format
A Unification Algorithm for Associative-Commutative Functions
An O(log(N)) Deterministic Packet-Routing Scheme
Predicting fill for sparse orthogonal factorization
Beyond Lamport's Happened-before : On Time Bounds and the Ordering of Events in Distributed Systems
Approximation algorithms for classification problems with pairwise relationships: metric labeling and Markov random fields
A Fast Direct Solution of Poisson's Equation Using Fourier Analysis
Robust Sharing of Secrets When the Dealer is Honest or Cheating
Applications of a logic of knowledge to motion planning under uncertainty
Information-Theoretic Limitations of Formal Systems
Information Searching with the 701 Calculator
An Analysis of Drum Storage Units
The generalized two-server problem
A Method for Obtaining Specific Values of Compiling-Parameter Functions
An O (log( n ) 4/3 ) space algorithm for ( s, t ) connectivity in undirected graphs
Erratum: Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases
Multiparty Asynchronous Session Types
A Simple Desk-Calculator Method for Checking Binary Results of Digital-Computer Arithmetic Operations
Computer Search for Numerical Instability
A Note on Enumerating Binary Trees
Local Feedback in Full-Text Retrieval Systems
Periodic Decomposition of Sequential Machines
Summation in Finite Terms
Thresholded Convolutions Operations
Twin-Width IV: Ordered Graphs and Matrices
Letter to the Editor: Internal Sorting and External Merging
Some Bounds on the Storage Requirements of Sequential Machines and Turing Machines
On Pre-Conditioning of Matrices
Sparser Johnson-Lindenstrauss Transforms
Necessary and Sufficient Conditions for Dynamic Programming of Combinatorial Type
Finding a maximum matching in a sparse random graph in O ( n ) expected time
Aggregation with an Error of O(epsilon 2 )
Periodification scheme: constructing sorting networks with constant period
An Iterative Procedure for the Calculation of the Eigenvalues and Eigenvectors of a Real Symmetric Matrix
A Description of a Cooperative Venture in the Production of an Automatic Coding System
An Approach to Multilevel Boolean Minimization
The Relative Neighborhood Graph, with an Application to Minimum Spanning Trees
Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras
On the Complexity of the Orbit Problem
On the Structure of Polynomial Time Reducibility
New lattice-based cryptographic constructions
Minimizing stall time in single and parallel disk systems
Design of Minimum-Cost Deadlock-Free Systems
Halting Stack Automata
A measure & conquer approach for the analysis of exact algorithms
Approximate Algorithms for the 0/1 Knapsack Problem
Analysis in the Computable Number Field
How asymmetry helps load balancing
Hidden word statistics
Almost-tight hardness of directed congestion minimization
On the Maximization of a Pseudo-Boolean Function
Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Axiomatization of Compact Initial Value Problems: Open Properties
Optimal Auctions through Deep Learning: Advances in Differentiable Economics
Some Combinatorial Game Problems Require Omega(n k ) Time
Short proofs are narrow - resolution made simple
Randomized Shellsort: A Simple Data-Oblivious Sorting Algorithm
Efficient Storage and Retrieval by Content and Address of Static Files
Embeddability in the 3-Sphere Is Decidable
Methods for Fitting Rational Approximations, Parts II and III
Asymmetric k -center is log * n -hard to approximate
Bernstein-Bézier Methods for the Computer-Aided Design of Free-Form Curves and Surfaces
An Algorithm to Design the Memory Configuration of a Computer Network
The Universal Electronic Digital Machine (URAL) for Engineering Research
A New Pseudo-Random Number Generator
Spacefilling curves and the planar travelling salesman problem
The String-to-String Correction Problem
Solving Boundary-Value Problems by Imbedding
Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem
Bounds on the Speedup and Efficiency of Partial Synchronization in Parallel Processing Systems
The Expressiveness of Simple and Second-Order Type Structures
Playing Mastermind With Many Colors
Computer Studies of Turing Machine Problems
Improving the Performance Guarantee for Approximate Graph Coloring
On the Optimum Checkpoint Interval
IP = PSPACE
Nonlinear Programming with the Aid of a Multiple-Gradient Summation Technique
Regularity and Related Problems for Deterministic Pushdown Automata
A Necessary and Sufficient Condition for Stability of Partial Difference Equation Problems
The Immortality Problem for Post Normal Systems
Digital Pattern Recognition by Moments
MERCURY: H system for the computer-aided distribution of technical reports
The Boundary Count of Digital Pictures
Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time
Generation of Spherical Bessel Functions in Digital Computers
Design of Sequential Machines from Their Regular Expressions
Optimal VLSI circuits for sorting
Subproblem finder and instance checker, two cooperating modules for theorem provers
A Fast Algorithm for the Two-Variable Integer Programming Problem
The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ 1
A Stable Implicit Finite Difference Approximation to a Fourth Order Parabolic Equation
Toward a Better Understanding of Randomized Greedy Matching
Optimal maintenance of a spanning tree
A Note on the Effect or the Central Processor Service Time Distribution on Processor Utilization in Multiprogrammed Computer Systems
Reliable Communication Over Unreliable Channels
Index Reduction for Differential-algebraic Equations with Mixed Matrices
The Synthesis of Algorithmic Systems
Game semantics for a polymorphic programming language
A Simplex Algorithm Whose Average Number of Steps Is Bounded between Two Quadratic Functions of the Smaller Dimension
Byzantine Agreement in Expected Polynomial Time
The Minimum Consistent DFA Problem Cannot be Approximated within any Polynomial
Tight Lower Bounds for Probabilistic Solitude Verification on Anonymous Rings
Full Abstraction for Probabilistic PCF
A Computer Program for a Solvable Case of the Decision Problem
Calculating joint queue-length distributions in product-form queuing networks
Numerical Computation of Sojourn-Time Distributions in Queuing Networks
Segmentation and the Design of Multiprogrammed Computer Systems
Optimal reconfiguration strategy for a degradable multimodule computing system
Dynamic Programming Treatment of the Travelling Salesman Problem
Conditional Expressions with Equality Tests
Aitken-Hermite Interpolation
An Algorithm for Convex Polytopes
On Communicating Finite-State Machines
On the Sojourn Time Distribution in a Finite Capacity Processor Shared Queue
On the Topological Properties of Quantized Spaces, I. The Notion of Dimension
General Problems of Formal Grammars
Theorem Proving via General Matings
Transcode, A System of Automatic Coding for FERUT
Decomposition of Magic Rewriting
A Combinatorial Problem Related to Interleaved Memory Systems
On the Periodic Representations and the Reducibility of Periodic Automata
Mixed Congruential Random Number Generators for Binary Machines
Generalized Single-Ended Counters
Floating-Point Arithmetics
Analysis of a Drum Input/Output Queue Under Scheduled Operation in a Paged Computer System
Syntax-Directed Transduction
Improving Christofides' Algorithm for the s-t Path TSP
Nonhomogeneous Place-dependent Markov Chains, Unsynchronised AIMD, and Optimisation
Automatic Subject Recognition in Scientific Papers: An Empirical Study
Homomorphism preservation theorems
Codes for the Classical Membrane Problem
Quantum lower bounds for the collision and the element distinctness problems
On the complexity of branching programs and decision trees for clique functions
Dynamic Programming as Graph Searching: An Algebraic Approach
Synchronizations and General Repetitive Machines, with Applications to Ultimate Definite Automata
Adaptive and Fair Transformation for Recoverable Mutual Exclusion
Generalized Tree Circuit - The Basic Building Block of an Extended Decomposition Theory
Optimal Load Balancing and Scheduling in a Distributed Computer System
The Runs Up-and-Down Performance of Tausworthe Pseudo-Random Number Generators
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
A Procedure for Nonlinear Least Squares Refinement in Adverse Practical Conditions
The measurement calculus
Las Vegas Algorithms for Linear and Integer Programming when the Dimension is Small
Hashing Schemes for Extendible Arrays
Record Allocation for Minimizing Expected Retrieval Costs on Drum-Like Storage Devices
Decidability of the purely existential fragment of the theory of term algebras
Security in Databases: A Combinatorial Study
Parallelize Single-Site Dynamics up to Dobrushin Criterion
Connectivity in Digital Pictures
Changing from Analog to Digital Programming by Digital Techniques
An Efficient Parallel Algorithm for the Solution of a Tridiagonal Linear System of Equations
Dynamic planar convex hull operations in near-logarithmaic amortized time
The Down-Hill Method of Solving f(z)=0
Mildly Short Vectors in Cyclotomic Ideal Lattices in Quantum Polynomial Time
New Constructive Aspects of the Lovász Local Lemma
Analysis of Internal Computer Sorting
The Frobenius and Factor Universality Problems of the Kleene Star of a Finite Set of Words
Account Identification for Automatic Data Processing
On the complexity of edge traversing
Nonpriority Multiprogramming Systems Under Heavy Demand Conditions--Customers' Viewpoint
Multitape AFA
A Fixpoint Semantics for Nondeterministic Data Flow
Improved Bounds on the Problem of Time-Space Trade-Off in the Pebble Game
Multimedia in Forensics, Security, and Intelligence
Enhancing QoE for Viewport-Adaptive 360-Degree Video Streaming: Perception Analysis and Implementation
Semantics in Web Engineering: Applying the Resource Description Framework
Robust Color Image Hashing With Nonnegative Matrix Factorization and Saliency Map for Copy Detection
Integrating Highlights for More Complete Sports Video Summarization
LFI-Augmenter: Intelligent Light Field Image Editing With Interleaved Spatial-Angular Convolution
Neighborhood Adaptive Loss Function for Deep Learning-Based Point Cloud Coding With Implicit and Explicit Quantization
SignTutor: An Interactive System for Sign Language Tutoring
Deep Blind Chest X-Ray Image Quality Assessment With Region-of-Interest-Guided Attention
Mobile Photo Recommendation and Logbook Generation Using Context-Tagged Images
Practical Multimedia Electronic Mail on X.400
Accelerating the Media Business with MPEG Extensible Middleware
Computing in Natural Environments
Health Media: From Multimedia Signals to Personal Health Insights
Adaptive Algorithms for Interactive Multimedia
Computer Vision and Art
New Standard Helps Multimedia Get Off the Ground
Toward a Digital Stage Architecture: A Long-Term Research Agenda in Digitally Enabled Theater
Multimedia and Spatial Information Systems
Digital Route Panoramas
Techniques for Content-Based Graph Authentication
Enabling Mobile Phones To Support Large-Scale Museum Guidance
I Want My IPTV
Machines Learning Culture
Embracing Multimodal Data in Multimedia Data Analysis
Opportunities for Visual Computing in Healthcare
Video Handling with Music and Speech Detection
The Variable Markov Oracle: Algorithms for Human Gesture Applications
Interactive TV Services on Mobile Devices
A Foundational Perspective for Visual Information Retrieval
Image-Relevant Entities Knowledge-Aware News Image Captioning
The Wireless World Web
The Revolution Will Be Mobilized
On the User-Centric Comparative Remote Evaluation of Interactive Video Search Systems
Database Vision and Image Retrieval
Scalable Neural Light Field With Layer Add-ons of Multilayer Perceptron
A Large Dataset With a New Framework for Abandoned Object Detection in Complex Scenarios
Guidelines for Hypermedia Usability Inspection
Editorial Special Issue
Prediction With Multicross Component for Future Video Coding
Guest Editors' Introduction: The Essence of Web Engineering-Managing the Diversity and Complexity of Web Application Development
Current Developments and Future Trends in Audio Authentication
A Flexible Video Streaming System for Urban Traffic Control
Video-Based Hypermedia for Education-on-Demand
Dancing with Digital Interface Complexity: A Story Approach
Making Sense of Multiple Technologies
Big Data and Image Search
Migrating from Mobile Telephony to Multipurpose Gadgets
MangaUB: A Manga Understanding Benchmark for Large Multimodal Models
The Effects of Ecological Auditory Feedback on Rhythmic Walking Interaction
ACM International Conference on Multimedia Retrieval (ICMR 2014)
A Survey of Multimedia and Web Development Techniques and Methodology Usage
MPEG-A: Multimedia Application Formats
Multimedia Data-Based Artificial Pancreas for Type 2 Diabetes
EIC's Message: Science, Myths, and Multimedia
Indexes Are "Out, " Models Are "In"
A Software-Based Solution for Distributing and Displaying 3D UHD Films
Anchor-Free Tracker Based on Space-Time Memory Network
Multimodal Person Recognition for Human-Vehicle Interaction
Explorations into Virtual Architecture: A HIT Lab Gallery
Immersive Environment: An Emerging Future of Telecommunications
Enhancing Video QoE Over High-Speed Train Using Segment-Based Prefetching and Caching
Social Compatibility
A Unique Watermark for Every Image
Rich Media, Poor Media
Et tu, déjà vu?
A Retrieval System of Medicine Molecules Based on Graph Similarity
On-Line Information Exchange Ready
Multiview Cross-Media Hashing with Semantic Consistency
Emotion-Aware Video QoE Assessment Via Transfer Learning
Semantic Place Prediction With User Attribute in Social Media
Anyone Up for Being a Techno de Medici?
Interactivity = Reflective Expressiveness
ZoneTag's Collaborative Tag Suggestions: What is This Person Doing in My Phone?
MIDI to SP-MIDI Transcoding Using Phrase Stealing
Online Video Recommendation through Tag-Cloud Aggregation
Characteristic Analysis of 2D Lag-Complex Logistic Map and Its Application in Image Encryption
Application Task Guides
Dynamic Video Transcoding in Mobile Environments
Toward Haptic Cinematography: Enhancing Movie Experiences with Camera-Based Haptic Effects
Reranking Methods for Visual Search
AI-Oriented Large-Scale Video Management for Smart City: Technologies, Standards, and Beyond
Speech-Aware Multimedia
Multimedia Takes on Societal Challenges
The Virus Encyclopedia: Reaching A New Level of Information Comfort
Data, Information, and Experience
JPEG XT: A New Family of JPEG Backward-Compatible Standards
A Closing Circle: Back to Authoring
MHEG-5 - Aims, Concepts, and Implementation Issues
Augmented Reality in Reality
Multimedia Hashing and Networking
Using MPEG-2 Video at the Getty Museum
Toward Content-Driven Intelligent Authoring of Mulsemedia Applications
A Middleware Architecture for Open and Interoperable GISs
Experiencing the Past through the Senses: An M-Learning Game at Archaeological Parks
An Architecture for Emotional Agents
The Coming Defenestration: Immersive Environments Without Windows
Computational Modeling of Affective Qualities of Abstract Paintings
Evaluating Object DBMSs for Multimedia
Multichannel Steganography in Digital Images for Multiple Receivers
Internet: A Life-Changing Experience
Multimedia Database Management - Requirements and Issues
Hand-Gesture Computing for the Hearing and Speech Impaired
3G Video Uploading Applications: Performance and Improvements
"Biped": A Dance with Virtual and Company Dancers, Part 1
The Intersection of Art and Technology
An Effective Approach for Nonrigid Structure From Motion With Complex Deformation
Pro-MA: Progressively Margin-Based Attribution in Pretrained Vision-Language Models
Media Reviews