yusuke1997/dblp-id-title huggingface dataset:
Synchronization Schemes for Controlling VCR-Like User Interactions in Interactive Multimedia-on-Demand (MOD) Systems
An Optimising Compiler for a Modern Functional Language
Special Interest Messaging: A Comparison of IGM Approaches
Robust Data Compression: Variable Length Codes and Burst Errors
The Construction of Minimax Rational Approximations to Functions
Cooperative Information Sharing: Developing a Shared Object Service
Cryptanalysis of Reduced-Round SipHash
A Bayesian Game of Whitewashing in Reputation Systems
Some Properties of the Scatter Storage Technique with Linear Probing
Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion
A New Software Birthmark based on Weight Sequences of Dynamic Control Flow Graph for Plagiarism Detection
Book review: Dynamic programming
An Intelligent Air Monitoring System For Pollution Prediction: A Predictive Healthcare Perspective
Tracking Design Changes with Formal Machine - Checked Proof
A Network Display Program
A Structured Language for Translator Construction
Capsule Reviews
Note on Applications of Linearly Many Faults
Minimizing Data Transfers in Distributed Query Processing: A Comparative Study and Evaluation
Lexical Analysis and the Transportation of Programs
Parallel Generation of t -Ary Trees in A-order
Book Review: Numerical Methods and Computers, by Shan S. Kuo, 1965; 341 pages
Quasi-Equifrequent Group Generation an Evaluation
On the Use of GPU for Accelerating Communication-Aware Mapping Techniques
Implications of Electronics Technology Trends for Algorithm Design
A General Program for the Analysis of Surveys
Discussion Forum - the Systems Approach to Data Transmission
A Content-Boosted Collaborative Filtering Approach for Movie Recommendation Based on Local and Global Similarity and Missing Data Prediction
Multi-Threading and Suffix Grouping on Massive Multiple Pattern Matching Algorithm
A Framework for Building Dependable Systems
The Complexity of Strict Minimum Message Length Inference
Generalized Random Grid-Based Visual Secret Sharing for General Access Structures
The Representation of Symmetric Proximity Data: Dimensions and Classifications
A New Ensemble Approach for Congestive Heart Failure and Arrhythmia Classification Using Shifted One-Dimensional Local Binary Patterns with Long Short-Term Memory
Cache-Aware Real-Time Disk Scheduling
On the Security of a Pairing-Free Certificateless Signcryption Scheme
LR-tree: a Logarithmic Decomposable Spatial Index Method
Intrusion Detection Algorithm Based on Neighbor Information Against Sinkhole Attack in Wireless Sensor Networks
Book Review: Advanced Linear-Programming Computing Techniques, by William Orchard-Hays, 1968; 355 pages
On the General Construction of Tightly Secure Identity-Based Signature Schemes
Test Programs for HEC
A Bracketing Technique for Computing a Zero of a Function
Why Does Data Prefetching Not Work for Modern Workloads?
A Two-Stage Modelling Method for Compressing Binary Images by Arithmetic Coding
Notable Features of Orion
Robust Measures of Information
Variable Elimination for Disequations in Generalized Linear Constraint Systems
Efficient unlearning for data security in deep learning systems
An Efficient Structural Technique for Encoding 'Best-fit' Straight Lines
The Systems Approach to Data Transmission
The Relationship Between the g-Extra Connectivity and the g-Extra Diagnosability of Networks Under the MM* Model
On the Topological Properties of Grid-Based Interconnection Networks: Surface Area and Volume of Radial Spheres
On the Maximum Errors of Polynomial Approximations Defined by Interpolation and by Least Squares Criteria
Design of Distributed Data Base Systems
A Note on the Integration of Ordinary Differential Equations Using Chebyshev Series
Computer Performance Evaluation: Preface
Driving Route Recommendation With Profit Maximization in Ride Sharing
Program development with FACT
Pornographic video detection based on semantic and image enhancement
Decomposition Merging with Symmetric Exchanges
Assessing Data Retrieval Capabilities: A Case Study
Confluence: improving network monitoring accuracy on multi-pipeline data plane
Triangulation of Planar Regions with Applications
CLAM - Its Function, Structure and Implementation
Loopless Array Generation of Multiset Permutations
Consistency Auditing of Databases
Computer-aided typesetting with a CRT
Periodic Adaptive Branch Prediction and its Application in Superscalar Processing in Prolog
Computation of rotational levels
Hyper-Hamiltonian Laceability of Cartesian Products of Cycles and Paths
Hiding Information in Image Mosaics
Information Loss in Temporal Knowledge Representations
A Multidimension Taxonomy of Insider Threats in Cloud Computing
A UNIX-Based System for Software Configuration Management
A Re-Examination of Four Classificatory Fusion Strategies
Data Recording and Monitoring for Analysis of System Response Times
An algorithm for the integration of unequally spaced data
Shorter Linkable Ring Signature Based on Middle-Product Learning with Errors Problem
An Object-oriented Methodology for Embedded Real-time Systems
An efficient method for finding the minimum of a function of several variables without calculating derivatives
More on the Efficiency of Interval Routing
Structural Key Recovery of Simple Matrix Encryption Scheme Family
A 'Database' Subsystem for BCPL
Guaranteeing Unpredictability
Design Approaches: A Comparative Study of Information System Design and Architecutral Design
On the m-Way Graph Partitioning Problem
The Ontario school scheduling program
The First Year's Experience with a Large Computer in a Life Assurance Office
Password Management: Distribution, Review and Revocation
Robust Super-Peer-Based P2P File-Sharing Systems
FLDS: differentially private federated learning with double shufflers
Hierarchical Radiosity for Multiresolution Systems Based on Normal Tests
Multiple Histograms-Based Reversible Data Hiding Using Fast Performance Optimization and Adaptive Pixel Distribution
DPPACS: A Novel Data Partitioning and Placement Aware Computation Scheduling Scheme for Data-Intensive Cloud Applications
Hardware Oriented Algorithms for Rendering Order-Independent Transparency
Security Evaluation and Improvement of a White-Box SMS4 Implementation Based on Affine Equivalence Algorithm
B2B Services: Worksheet-Driven Development of Modeling Artifacts and Code
Handbook for Automatic Computation
OntCAAC: An Ontology-Based Approach to Context-Aware Access Control for Software Services
ABS12 ALGOL: An Extension to Algol 60 for Industrial Use
A Problem with Algebra Systems - Revisited
Unravelling the semantic mysteries of transformers layer by layer
Recursive digital filters with linear-phase characteristics
Tournament Coding of Integer Sequences
Data Compression Using Dynamic Markov Modelling
Leveraging Service Discovery in MANETs with Mobile Directories
Taylor Sun Flower Optimization-Based Compressive Sensing for Image Compression and Recovery
Testing Distributed Programs Containing Racing Messages
The 3-Extra Connectivity of the Data Center Network BCube
An Attention Enhanced Cross-Modal Image-Sound Mutual Generation Model for Birds
On the Heterogeneous Guard Locking Protocol
A Bird Flock Gravitational Search Algorithm Based on the Collective Response of Birds
A Computer Model for Instructional Purposes
Rendering Digital Type: A Historical and Economic View of Technology
About Retrieval Models and Logic
zk-DCIAExchange: SGX protected fair exchange with distributed zero knowledge proof for data confidentiality and authentication
jInfer : A Framework for XML Schema Inference
Testing from a Finite-State Machine: Extending Invertibility to Sequences
The Tattoo on a Micro-Computer
A Simple Model for the Performance Analysis of Disc Storage Fragmentation
A Set of Modules for the Solution of Integral Equations
Improvement of MADRL Equilibrium Based on Pareto Optimization
Side-Channel Attack Using Meet-in-the-Middle Technique
Security Management and Protection - A Personal Approach
Sentiment Classification of Tourist's Opinion on Tourist Places of Interest in South India using Tweet Reviews
Performance Evaluation of a Process Control System by Simulation Model
Safety, Dependability and Performance Analysis of Extended AADL Models
Procedure Calling and Structured Architecture
The Manchester University Atlas Operating System Part II: Users' Description
FastSpMM: An Efficient Library for Sparse Matrix Matrix Product on GPUs
Load Balancing Strategies for Time Warp on Multi-User Workstations
Multi-View Spatial-Temporal Graph Neural Network for Traffic Prediction
Superimpositions and Aspect-oriented Programming
Reduction and linearisation of quadratic constrained optimisation in linked systems
Describing open Distributed Systems: A Foundation
A generalized alternating direction method of Douglas-Rachford type for solving the biharmonic equation
Permutation Generation on Vector Processors
Formalizing Attack Trees To Support Economic Analysis
WGSN: WLAN-based GPRS Support Node with Push Mechanism
A Note on an Iterative Method for Root Extraction
Some comments on Character Recognition
Comparative Analysis of Overlap Community Detection Techniques on Social Media Platform
Time-Sharing on the National-Elliott 802
Design for a Transportable Job Organisation Language
Algebraic Identities for Program Calculation
Transaction Identifiers in Nested Transactions: Implementation Schemes and Performance
Multitarget Initiation, Tracking and Termination Using Bayesian Monte Carlo Methods
Generation of Permutation Sequences
Computing the n-Dimensional Delaunay Tesselation with Application to Voronoi Polytopes
Some Generalizations of a Simion-Schmidt Bijection
Special Issue on Software-Defined Wireless Networks
On the Use of Binary Strings to Represent Tree Structures
Comparison of Binary Procedures: A Set of Techniques for Evading Compiler Transformations
Full Tomographic Reconstruction of 2D Vector Fields using Discrete Integral Data
Reliability of Data Allocation on a Centralized Service Configuration with Distributed Servers
Efficient Linkable and/or Threshold Ring Signature Without Random Oracles
An Object-Oriented Data Model for Database Modelling, Implementation and Access
A Node-Link-Based P2P Cache Deployment Algorithm in ISP Networks
Concurrency in the Design of Data Processing Systems
Spatiotemporal Clustering and Analysis of Road Accident Hotspots by Exploiting GIS Technology and Kernel Density Estimation
Non-Determinism in Functional Languages
Current Strategies for Computer Auditing Within an Organisation
Current approaches to classification and clump-finding at the Cambridge Language Research Unit
A programming language for linear algebra
The Use of a Large Computer on a Bureau Basis
Forecasting Election Results
Reduction and Narrowing for Horn Clause Theories
Flush+Reload Attacks on SEED
Spatial Network RNN Queries in GIS
Fair Coexistence MAC Protocol for Contention-Based Heterogeneous Networks
A Decomposition Procedure for the Design of Normalised Relational Schemata
Watermarking Protocols: Problems, Challenges and a Possible Solution
Semantics and Probelms of Universal Quantification in SQL
MDER: Multi-Dimensional Event Recommendation in Social Media Context
Border Collie Cat Optimization for Intrusion Detection System in Healthcare IoT Network Using Deep Recurrent Neural Network
The Rudiments of Algorithm Refinement
Correlated round-off errors in digital integrating differential analyzers
Handling of Mutual Conflicts in Distributed Databases Using Timestamps
Some proposals for SNAP, a language with formal macro facilities
Security Overhead on a Service with Automatic Resource Management: A Performance Analysis
On the Instability of the Crank Nicholson Formula Under Derivative Boundary Conditions
An algorithm for the solution of certain tridiagonal systems of linear equations
Fault-Tolerance Techniques for SRAM-Based FPGAs
EMAS - The Edinburg Multi-Access System
Public Key Encryption with Delegated Equality Test in a Multi-User Setting
Note on an Alternate Method for the Computation of Rotational Energy Levels of Rigid Asymmetric Top Molecules
An Entity/Event Data Modelling Method
A View of Concurrent Process Synchronisation
Efficient Construction of Balanced Binary Trees
SPEKS: Secure Server-Designation Public Key Encryption with Keyword Search against Keyword Guessing Attacks
Tracey Ho and Desmond S. Lun: Network Coding: An Introduction. Cambridge University Press (2008). ISBN 9780521873109, 184 pp
A Programming Approach to Some Concepts and Results in the Theory of Computation
On the Completeness of a Test Suite Reduction Strategy
Offset attention with seed generation for point cloud completion
Synchronized Interactions in Spiked Neuronal Networks
No-wait resource allocation flowshop scheduling with learning effect under limited cost availability
Fuzzifying P Systems
Numerical Treatment of Biharmonic Boundary Value Problems with Re-Entrant Boundaries
Projection Methods for Solving Sparse Linear Systems
Efficient Homomorphic Integer Polynomial Evaluation Based on GSW FHE
Consistent Checkpointing for Transaction Systems
Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines
Model Checking Temporal Logics of Knowledge Via OBDDs
Book Review: God and Golem Inc, by Norbert Wiener, 1964; 95 pages
Theorem-Proving for Computers: Some Results on Resolution and Renaming
Model-Driven Simulation of Elastic OCCI Cloud Resources
Enhanced Interactive Performance of Zoom-In/Out Gestures Using Electrostatic Tactile Feedback on Touchscreens
Implicit System Specification and the Interface Equation
A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision
A New Approach for Network Vulnerability Analysis
Balancing Power And Performance In HPC Clouds
Edit Distance with Multiple Block Operations†
A Grading Procedure for PL/1 Student Exercises
Correction to: Hitting Times of Random Walks on Edge Corona Product Graphs
Parity Check Codes for Logic Processors
An Unobtrusive Approach to Emotion Detection in E-Learning Systems
Character Recognition Algorithm Based on Fusion Probability Model and Deep Learning
Evaluation of Economy in a Zero-sum Perfect Information Game
Black-Box Accountable Authority Identity-Based Revocation System
A Monte Carlo Simulation of a Production Planning Problem
Effective and Efficient Event Dissemination for RFID Applications
A director for Kriegspiel, a variant of chess
Privacy-Enhanced Federated Generative Adversarial Networks for Internet of Things
Sarcasm-GPT: advancing sarcasm detection with large language models
SkySlide : A Hybrid Method for Landslide Susceptibility Assessment based on Landslide-Occurring Data Only
Character Recognition by Digital Computer using a Special Flying-Spot Scanner
The Construction of Variable-Length Comma-Free Codes
The Evolution of Design in a series of Computers, LEO I-III
On the Worst-Possible Analysis of Weighted Comparison-Based Algorithms
The g-Good-Neighbor Conditional Diagnosability of Locally Exchanged Twisted Cubes
The Convergence of Fourier-Bessel Expansions
Discussion: Session 3: 18 April 1962 (Morning)
Dynamic Multi-level Auto-scaling Rules for Containerized Applications
An Extension of Block Design Methods and an Application in the Construction of Redundant Fault Reducing Circuits for Computers
On Ultrametric Algorithmic Information
Incremental Line Compaction
Some Consequences of Deferred Binding in COBOL
A Study of Processing Repetition
Cyber-Physical Systems for Optimal Energy Management Scheme of Autonomous Electric Vehicle
Jumping Pure Grammars
Efficient Micropayment of Cryptocurrency from Blockchains
A Fuzzy Based Energy-aware Clustering Architecture for Cooperative Communication in WSN
Least-Squares Structuring, Clustering and Data Processing Issues
Split Vertices in Vertex Colouring and Their Application in Developing a Solution to the Faculty Timetable Problem
An alternative method of solution of certain tri-diagonal systems of linear equations
Detecting Malicious Domain Names with Abnormal WHOIS Records Using Feature-Based Rules
Scoping is not Orthogonal to Completeness
Outlier Detection in Cross-Context Link Discovery for Creative Literature Mining
Maximum fault-free enforcement in Petri nets using supervisory control
Sclera Recognition Based on Efficient Sclera Segmentation and Significant Vessel Matching
Compressed Bit vectors Based on Variable-to-Fixed Encodings
Classification of a set of elements
Key-Evolving Hierarchical ID-Based Signcryption
Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction
Rejoinder Hedging Predictions in Machine Learning
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
Geotagging Twitter Messages in Crisis Management
Risk and the Small-Scale Cyber Security Decision Making Dialogue - a UK Case Study
Correct and Optimal Strategies in Game Playing Programs
An Analysis of Computational Resources of Event-Driven Streaming Data Flow for Internet of Things: A Case Study
A Constructive Geometry for Computer Graphics
Combining Tag Correlation and Interactive Behaviors for Community Discovery
Book Review: Computers in Humanistic Research. Edited by E. A. Bowles, 1967; 264 pages
Special Issue on Failed Approaches and Insightful Losses in Cryptology - Foreword
Representation of Web Data in A Web Warehouse
Model Interchange Format Specifications for Experiments, Output and Results
Encoder-Decoder Couplet Generation Model Based on 'Trapezoidal Context' Character Vector
Theoretical Estimation on the Success Rate of the Asymptotic Higher Order Optimal Distinguisher
A Quantitative Measure of Precision
A Computer Program for Generating Diagnostic Keys
A description and analysis of character maps
Authenticated Tree-Based R-LWE Group Key Exchange
Linear Programming Formulations for Computing Graph Layout Parameters
Advanced Security Technologies and Services for Future Computing Environments
A Graph-based Performance Analysis of the 802.11p MAC Protocol for Safety Communications in Highway Vehicular Ad Hoc Networks
Note on analytic angular integrations using series in Legendre polynomials
Measuring Students' Attitudes Towards Structured Walk-Throughs
An Application of Separable Programming
Watson-Crick Jumping Finite Automata: Combination, Comparison and Closure
The Numerical Solution of Implicit First Order Ordinary Differential Equations with Initial Conditions
Use of Mean Distance Between Overflow Records to Compute Average Search Lengths in Hash Files with Open Addressing
A New Energy-Aware Dynamic Task Set Partitioning Algorithm for Soft and Hard Embedded Real-Time Systems
Maintaining a Distributed Spanning Forest in Highly Dynamic Networks
The Ideal of Program Correctness: Third Computer Journal Lecture
The Generation of Cryptic Crossword Clues
Automated Hypertext Support for Software Maintenance
Corrigendum: Constructing Constrained-Version of Magic Squares Using Selection Hyper-heuristics
A Business Application of a Digital Computer
A Comparison of Password Techniques for Multilevel Authentication Mechanisms
How to Read, Make and Store Chess Moves
An Algorithm for Solving Non-Linear Equations Based on the Secant Method
The nature and structure of man-computer communication in team control systems
Summary of the Report: 'The Computer Board: Policies Past, Present and Future?'
Multimedia Information Systems - The Management and Semantic Retrieval of all Electronic Data Types
The JK method: a procedure for finding the eigenvectors and eigenvalues of a real symmetric matrix
Continual Leakage-Resilient Hedged Public-Key Encryption
Automatic construction of diagnostic tables
Color Patterns And Enhanced Texture Learning For Detecting Computer-Generated Images
The Semantics of New While Loop
Effective Pruning for the Discovery of Conditional Functional Dependencies
An Algorithm for Inverting Certain Translators of Context-Free Languages
A System for Stereo Viewing
A Stochastic Geometry Model for Cognitive Radio Networks
Capsule reviews
Parameter-free Community Detection through Distance Dynamic Synchronization
Cooperative Systems Design
The Comandos Toolset for Distributed Systems Management
A comparison of reserved graph grammar and edge-based graph grammar
Increasing Resiliency in Multi-phase Wireless Sensor Networks: Generationwise Key Predistribution Approach
Contemporary Access Structures under Mixed Workloads
Advanced Aspects of Asynchronous Logic Design
A Key-Policy Attribute-Based Proxy Re-Encryption Without Random Oracles
Automated Essay Scoring by Capturing Relative Writing Quality
Practical Attribute-based Signature: Traceability and Revocability
The Classification of FORTRAN Statements
A Practical Development Process for Parallel Large-Scale Applications and its Underlying Formal Framework
A Branch-and-Bound Algorithm for the Construction of Reversible Variable Length Codes
A Self-Stabilizing Distributed Algorithm for the Generalized Dominating Set Problem With Safe Convergence
A Note on the Estimation of the Optimum Successive Overrelaxation Parameter for Laplace's Equation
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System
A Semantic Approach to Enforce Correctness of Data Distribution Schemes
Fully Automatic Extraction of Salient Objects from Videos in Near Real Time
Increasing Computer System Productivity Software and Hardware Methods: A Comparative Study
CMT: An Efficient Algorithm for Scalable Packet Classification
Al Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems
Compositional Approach to Quantify the Vulnerability of Computer Systems
ImagIngDev: A New Approach for Developing Automatic Cross-Platform Mobile Applications Using Image Processing Techniques
A Formal Model of Ontology for Handling Fuzzy Membership and Typicality of Instances
Type Checking in Typeless Language
Leo II and the Model T Ford
New Obfuscation Scheme for Conjunctions
Energy efficient data transmission scheme integrating clustering and compressive sensing in wireless sensor networks
Leveraging Content and Connections for Scientific Article Recommendation in Social Computing Contexts
Data Processing in the Early Cosmic Ray Experiments in Sydney
Use of Digital Analogue Simulator (DAS)
The Design of a Capability-Based Distributed Operating System
LogicCrowd: Crowd-Powered Logic Programming Based Mobile Applications
Solution of sensing failure problem: an improved two-stage detector
Using a Distributed Approach to Retrieve and Integrate Information from Heterogeneous Distributed Databases
Energy-Aware Routing in Software-Defined Network using Compression
Development of Adaptive Time-Weighted Dynamic Time Warping for Time Series Vegetation Classification Using Satellite Images in Solapur District
GUI: A Geolocation Method for Unreachable IP
Computer calculations on the initiation of high-explosive detonation
Tuning Systems: From Composition to Performance (The Needham Lecture)
Mission-Critical Systems, Paradox of Hamming Code, Row Hammer Effect, 'Trojan Horse' of the Binary System and Numeral Systems with Irrational Bases
On the Representation of Program Structures by Decision Tables: A Critical Assessment
From Stars to Diamonds: Counting and Listing Almost Complete Subgraphs in Large Networks
Object Detection and Localization Using Sparse-FCM and Optimization-driven Deep Convolutional Neural Network
Merging by Decomposition Revisited
Spiral Storage: Efficient Dynamic Hashing with Constant Performance
Tesseral Quaternions for the Octtree
DCAF: Dynamic Cross-Chain Anchoring Framework using Smart Contracts
Ultrasound Image Despeckling and Enhancement using Modified Multiscale Anisotropic Diffusion Model in Non-Subsampled Shearlet Domain
COSMOS - Content Oriented Semantic Modelling Overlay Scheme
On the Usefulness of Fibonacci Compression Codes
On the Computation of Cyclic Redundancy Checks by Program
A Comparison of Random Binary Tree Generators
Information Retrieval and the Philosophy of Language
Development of Screen Management Subroutines Compatible with Microsoft FORTRAN Compiler
The Human Brain
Boundary Value Problems for Singular Ordinary Differential Equations. A Widely Applicable Method for Calculating Eigen-Values