yusuke1997/dblp-id-title huggingface dataset:
Proxy-based Regional Registration for Integrated Mobility and Service Management in Mobile IP Systems
The BLEND System: Programme for the Study of Some 'Electronic Journals'
Evaluation of a Java Ahead-of-Time Compiler for Embedded Systems
Finding a Majority When Sorting is Not Available
Modelling and Predictive Analytics of COVID-19 Transmission Using Gustafson-Kessel Fuzzy Clustering Approach
The Implementation of Abstract Objects in a Capability Based Addressing Architecture
In Place Differential File Compression
Anti-Occlusion Target Tracking Based on Joint Confidence
An Authentication Method Based on the Turtle Shell Algorithm for Privacy-Preserving Data Mining
A Query Processing Algorithm for Distributed Relational Database Systems
Robust Data Compression: Consistency Checking in the Synchronization of Variable Length Codes
Two Enhancements to a Flexible Pricing Control System for Allocating Computer Resources
Optimal Symmetric Ratcheting for Secure Communication
A Hybrid Computer Performance Modelling System
Labeling Dot-Cartesian and Dot-Lexicographic Product Graphs with a Condition at Distance Two
Quality of Interaction for Sensor Network Energy-Efficient Management
Trace Abstraction Refinement for Solving Horn Clauses
A Dynamic File Organization Model
The Conversion of Decision Tables to Sequential Testing Procedures
Events in Time and Space
Large-Scale Emulation Network Topology Partition Based on Community Detection With the Weight of Vertex Similarity
Finite State Models in the Study of Comma-Free Codes
A Fast Iterative Algorithm for Generating Set Partitions
A Data Transmission Survey
Providing an Approach for Early Prediction of Fall in Human Activities Based on Wearable Sensor Data and the Use of Deep Learning Algorithms
A Computer Aid for the Analysis of Complex Systems
A General Condition of Structural Distinguisher
A Literature Review of Research in Bug Resolution: Tasks, Challenges and Future Directions
Asset-Task Assignment Algorithms in the Presence of Execution Uncertainty
Numerical Inversion of Laplace Transforms: An Efficient Improvement to Dubner and Abate's Method
Exploring Causal Relationships with Streaming Features
A Note on Numerical Procedures for Approximation by Spline Functions
Approximations in Fourier Transforms
Implementing Neural Network Models on Parallel Computers
A Data Structure and Algorithm for a Self-Augmenting Heuristic Program
New Division Property Propagation Table: Applications to Block Ciphers with Large S-boxes
Hierarchical Hypernet for Pipelining
Chebyshev Solution of Differential, Integral and Integro-Differential Equations
The X-1 Computer
The design of multiple-access computer systems
Cache-Sensitive Memory Layout for Dynamic Binary Trees
An Analysis of Paging and Program Behaviour
Finger Surfaces Recognition Using Rank Level Fusion
Controllability Problems in MSC-Based Testing
A Style for Writing the Syntactic Portions of Complete Definitions of Programming Languages
Data directed control and operating systems
Midsummer International Conferences
Numerical smoothing and filtering in N dimensions
The Collective Index: A Technique for Efficient Processing of Progressive Queries
The 2-Extra Connectivity and 2-Extra Diagnosability of Bubble-Sort Star Graph Networks
A Controlled Random Search Procedure for Global Optimisation
The Use of Pegasus Autocode in Some Experimental Business Applications of Computers
An Approach to Executive System Maintenance in Disk-Based Systems
The Design of the MAX Macroprocessor
Circular Pattern Discovery
On Handelman's Representation of Network Utility Maximization
Direct Coding of English Language Names
The Retrieval Effects of Query Expansion on a Feedback Document Retrieval System
Analysis of Replicated Data with Repair Dependency
Speeding Up Inference for Probabilistic Logic Programs
On the Solution of Parabolic Partial Differential Equations in Chebyshev Series
Refinements of Miller's Algorithm over Weierstrass Curves Revisited
On Improving Performance and Energy Efficiency for Register-File Connected Clustered VLIW Architectures for Embedded System Usage
A Bandwidth-Based Power-Aware Routing Protocol with Low Route Discovery Overhead in Mobile Ad hoc Networks
Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL
A Computer Built with Relays and a Mechanical Memory, and ALGOL
An Approach to Systems Design
PDetect: A Clustering Approach for Detecting Plagiarism in Source Code Datasets
Multi-Objective Optimization Techniques for Task Scheduling Problem in Distributed Systems
A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL
Finding and Updating Depth-First Spanning Trees of Acyclic Digraphs in Parallel
On the Power of SPARQL in Expressing Navigational Queries
Laser Beam Welded Aluminum-Titanium Dissimilar Sheet Metals: Neural Network Based Strength and Hardness Prediction Model
A Quasi-Intrinsic Scheme for Passing a Smooth Curve Through a Discrete Set of Points
Paraphrase Identification by Using Clause-Based Similarity Features and Machine Translation Metrics
A Bidirectional Route Repair Method for Wireless Mobile Ad Hoc Networks
Optimization Problems: Solution by an Analogue Computer
Underwater Wireless Sensor Network-Based Delaunay Triangulation (UWSN-DT) Algorithm for Sonar Map Fusion
Decentralized Coordination in RoboCup Rescue
An Approach to the Detection of Semantic Errors
An Algorithm for the Real Time Analysis of Digitised Images
The Functional Partitioning of Memory - its Application to Interactive Computing
A Note on Dynamic Data Storage in FORTRAN IV
Information Compression by Factorising Common Strings
CAP Theorem: Revision of Its Related Consistency Models
Effects of Touch Force Profiles and Waveforms of Electrostatic Tactile Feedback on Touchscreen Pan Operation
Note on Ordering of Grammar Rules in Syntax-Analyzers
The Use of Cubic Splines in the Solution of Certain Fourth Order Boundary Value Problems
A Synthetic Benchmark
A DDoS attack detection method combining federated learning and hybrid deep learning in software-defined networking
Approach to Detecting Type-Flaw Attacks Based on Extended Strand Spaces
Virtual Infrastructure Orchestration For Cloud Service Deployment
Conceptual Design of a Hardwired Main Storage Management Unit
Proposal for an Interface System Between the Business and Data Processing Systems
Convergence Properties of Gaussian Quadrature Formulae
Stack Cache Memory for Block-Structured Programs
Book Review: Approximation of Functions, edited by H. Garabedian, 1965; 215 pages
Density-Based Dynamically Self-Parameterized Clustering for Material Inspection
The Design of Mobile Concurrent Multipath Transfer in Multihomed Wireless Mobile Networks
Perfect Hashing Schemes for Mining Association Rules
A Survey of Exploratory Software Development
eCK-Secure Authenticated Key Exchange against Auxiliary Input Leakage
The Organization of a University Computer Centre
A Novel Approach for Determining Meal Plan for Gestational Diabetes Mellitus Using Artificial Intelligence
Monitoring Database System Performance
A Theorem on Rank One Modifications to a Matrix and Its Inverse
Review: Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce
Replacement Selection in 3-Level Memories
Inferno: A Cautious Approach To Uncertain Inference
Optimal dynamic use of memory for PL/1 object programs in a real memory environment
Single Machine CON/SLK Due Date Assignment Scheduling with Controllable Processing Time and Job-dependent Learning Effects
The Optimum Arrangement of Towers in an Electric Power Transmission Line
A. Reorganization Model Based on the Database Entropy Concept
Drawing Opaque Solids Using an Incremental Plotter
A New Method of Constrained Optimization and a Comparison With Other Methods
Evaluation of Systems Goals in Determining a Design Strategy for a Computer Based Information System
An Iterative Method for Quadratures
A Flexible Object Invocation Language based on Object- Oriented Language Definition
Quantifier Elimination in p-adic Fields
A Design for an Efficient NOR-Gate only, Binary-Ripple Adder with Carry-Completion-Detection Logic
A New Method for Identifying Influential Spreaders in Complex Networks
Three Kinds of Probabilistic Induction: Universal Distributions and Convergence Theorems
The Reliability of k -Ary n -Cube Based on Component Connectivity
Energy Efficient Content Distribution
Study on Data Transfer in Meteorological Forecast of Small and Medium-Sized Cities and Its Application in Zhaoqing City
Comparing Conceptual Models and Data Flow Diagrams
Contrasting Subgroup Discovery
An Algorithm for Evaluation of Remote Terms in A Linear Recurrence Sequence
Parallelism in Simple Algebra Systems
Low Level Architecture Features for Supporting Process Communication
Probabilistic Approaches to Estimating the Quality of Information in Military Sensor Networks
Performance Analysis of the Generalised Disc Modulo Allocation method for Multiple Key Hashing Files on Multi-Disc Systems
Resource Determination and Allocation in Sensor Networks: A Hybrid Approach
A Knowledge-Engineering Approach to Instructional Design
Honorary Editor - The Computer Journal
A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
Semantic-Based Hybrid Query Reformulation for Biomedical Information Retrieval
Validating Microcode Algebraically
An Algorithm for Polynomial Operations
An Improvement of Resource Allocation for Migration Process in Cloud Environment
A Scheduling-Based Medium Access Control Protocol for Supporting Multi-class Services in Wireless Networks
An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous Robots On Grids
A Compile-Time Scheduling Heuristic for Multiprocessor Architectures
The evaluation of the coefficients in the Chebyshev expansion
Ant Cat Swarm Optimization-Enabled Deep Recurrent Neural Network for Big Data Classification Based on Map Reduce Framework
O.C.R. - benefits and pitfalls
Abstract Data Types, Subtypes and Data Independence
Optimal Clustering of Relations to Improve Sorting and Partitioning for Joins
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs
DCOBE: Distributed Composite Object-Based Environment
Distributed Partial Simulation for Graph Pattern Matching
SODA - A Dual Activity Operating System
Recent Developments in Context-Based Predictive Techniques for Lossless Image Compression
Quasi Random Deployment and Localization in Layered Framework for the Internet of Things
Simulation of Full-scale Multi-stage Batchwise Chemical Plant
An Efficient Computational Geometry Method for Detecting Dotted Lines in Noisy Images
A dynamic programming process
The Halting Problem Does Not Matter
CMSR - A Personnel Information System
An Abstract Semantically Rich Compiler Collocative and Interpretative Model for OpenMP Programs
Optimization-Based Support Vector Neural network for Speaker Recognition
A Language for Algorithms
The Experience of Applying a Commercial Computer in a British Organization
Character Quality and Scanner Organization
Optimal Algorithms for Node-to-Node Fault Tolerant Routing in Hypercubes
Identifying Influential Nodes in Complex Networks Based on Neighborhood Entropy Centrality
Threshold-Based Admission Control Policies for Multimedia Servers
Worst-Case Analysis of Heapsort, Exactly
Efficient Realizability Checking by Modularization of LTL Specifications
Super-Resolution: A Short Review, A New Method Based on Hidden Markov Modeling of HR Image and Future Challenges
Behavioural Categoricity of Abstract Data Type Specifications
Mum Effect as an Offshore Outsourcing Risk: A Study of Differences in Perceptions
Distributed or Centralised Data Base
An Evolutionary Approach to the Concept of Randomness
Compiler Compiler Facilities in Atlas Autocode
The Correspondence Analysis Platform for Uncovering Deep Structure in Data and Information
File compression using variable length encodings
Book Review: Computer and Information Sciences, by J. T. Tou and R. H. Wilcox, 1965; 544 pages
Complexity Approximation Principle
Impact Set: Computing Influence Using Query Logs
Hierarchically Structured Production Rules
Coordinate Grammars and Parsers
The Cognitive Packet Network: A Survey
New Benchmarks for Large-Scale Networks with Given Maximum Degree and Diameter
Adaptive Person Re-identification Based on Visible Salient Body Parts in Large Camera Network
Small-World Topology Can Significantly Improve the Performance of Noisy Consensus in a Complex Network
An Improved Unsegmented Phonocardiogram Classification Using Nonlinear Time Scattering Features
Searching the Informative Subgraph Based on the PeakGraph Model
SLINK: An Optimally Efficient Algorithm for the Single-Link Cluster Method
A Jumping Gene Algorithm for Multiobjective Resource Management in Wideband CDMA Systems
A Color Invariant for Line Stripe-Based Range Scanners
A simple list-processing interpreter
The Evaluation of Eigenvalues and Eigenvectors of Real Symmetric Matrices by Simultaneous Iteration
Reverse Protocol Verification: Concept, Algorithm and Application
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
Convergence and stability of discretization methods for functional equations
Performance Evaluation of a Distributed Algorithm for an Inverse Heat Conduction Problem
Bounding the Depth of Search Trees
Compact Anonymous Hierarchical Identity-Based Encryption with Constant Size Private Keys
Efficient Group ID-Based Encryption With Equality Test Against Insider Attack
The Computing Speed of a New Machine
Another Round of FORTRAN
The evaluation of multidimensional integrals
Social Media Analysis of Customer Emotions in Pizza Industry
Average-Case Performance Analysis Of Online Non-Clairvoyant Scheduling Of Parallel Tasks With Precedence Constraints
Fault tolerance of hierarchical cubic networks based on cluster fault pattern
Turing Memorial Lecture Facing Up to Faults
The Theory and Practice of Constructing an Optimal Polyphase Sort
Program Analysis Probably Counts
Generalizing the DS-Methods for Testing Non-Deterministic FSMs
The Synthesis of Logical Nets Consisting of NOR Units
QUICKSHUNT - A Distributive Sorting Algorithm
A Postfix Notation for Logic Circuits
On the Static Evaluation of Distributed Systems Performance
A Clothoid Curve-Based Intersection Collision Warning Scheme in Internet of Vehicles
Corrigendum to: Multi-Swarm Cuckoo Search Algorithm with Q- Learning Model
The Impact of Computers on Documentation
Initial users' reactions: what do they really want?
Policy-Based Editing-Enabled Signatures: Authenticating Fine-Grained and Restricted Data Modification
Distributed Algorithms for Finding Central Paths in Tree Networks
A Program to Calculate the GAMM Measure
Satisfiability-Based Privacy-Aware Cloud Computing
The Introduction and Establishment of a System of Computer Production Control in a Light Engineering Factory
New Models of Computation
The Analysis of an Inproved Symmetric Binary B-Tree Algorithm
Deep Neural Network for Disease Detection in Rice Plant Using the Texture and Deep Features
Simulation of 2-D Metal Cutting by Means of a Distributed Algorithm
On the Security of the Stream Ciphers RCR-64 and RCR-32
Improved Numerical Methods for Volterra Integral Equations of the First Kind
CDNM: Clustering-Based Data Normalization Method For Automated Vulnerability Detection
Non-Backtracking Centrality Based Random Walk on Networks
Special Issue Editorial: Computing Curricula
Interactive Digital Simulation on a Small Computer
The Solution of Polynomial Equations in Interval Arithmetic
Increasing the Efficiency of Existing Sorting Algorithms by Using Randomized Wrappers
Tactics And Techniques Classification In Cyber Threat Intelligence
Transductive Gaussian Processes with Applications to Object Pose Estimation
The FORTRAN system for Orion
Generation of Permutation Sequences: Part 2
Reversible Circuit Synthesis Method Using Sub-graphs of Shared Functional Decision Diagrams
Probabilistic Visual Cryptography Schemes
A Multivariate Blind Ring Signature Scheme
Precedence Constrained Scheduling: A Case in P
An Axiomatic Specification of Euclidean Analysis
A New Technique in Automatic Character Recognition
Australian Recommendations on Computer Software Protection
Minimising the NAND-NOR-XOR Network of Modulo 2 Sum of Boolean Products
Hybrid Multi-Channel EEG Filtering Method for Ocular and Muscular Artifact Removal Based on the 3D Spline Interpolation Technique
Reliability and Performance of Mirrored Disk Organizations
Interference-Aware Dynamic Algorithms for Energy-Efficient Topology Control in Wireless Ad Hoc and Sensor Networks
Software Testing Automation of VR-Based Systems With Haptic Interfaces
GRAN: a SDN intrusion detection model based on graph attention network and residual learning
Closure Properties of Certain Classes of Languages Under Generalized Morphic Replication
Large Universe CCA2 CP-ABE With Equality and Validity Test in the Standard Model
Fault Coverage-Driven Incremental Test Generation
Bidirectional Huffman Coding
Design and Implementation of the DLNA Family Intercom System for Smart Homes
A General Control Language : Language Structure and Translation
Performance Evaluation of Opportunistic Resource-Sharing Scheme Using Socially Oriented Outsourcing in Wireless Devices
An Efficient Hash-Based Algorithm for Sequence Data Searching
Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations
Quality Assured Model-Driven Requirements Engineering and Software Development
AKTiveSA: A Technical Demonstrator System For Enhanced Situation Awareness
On Various Algorithms for Estimating the Chromatic Number of a Graph
An FP-Based Design Methodology for Problem-Oriented Architectures
Hashing Functions
The Synthesis of Music and Speech
Erratum: Computing and Computation
A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form and Minimization
Web Page Filtering and Re-Authoring for Mobile Users
Spatial Computers for Emergency Support
A Study on Impact of Context on Metaphor Detection
Writing Simulations in CSL
Automatic Coding for Business Applications
Stateful Public-Key Encryption Schemes Forward-Secure Against State Exposure
TPRT: a trajectory publishing scheme for the Internet of Vehicles based on radix tree
A Definite and Unfoldable, Partially Deterministic Language
CPM Network Analysis with a Storage Tube Terminal
Performance of Work-Optimal PRAM Simulation Algorithms on Coated Meshes
A secure authenticated group key agreement protocol for resource-limited mobile devices
An Off-line Electronic Cash Scheme Based on Proxy Blind Signature
Link Prediction Based On Local Structure And Node Information Along Local Paths
Science, Mathematics, Computer Science, Software Engineering
The Use of Rational Functions in the Iterative Solution of Equations on a Digital Computer
Multi-Band Contourlet Transform For Adaptive Remote Sensing Image Denoising
Book Review: On Retrieval System Theory, by B. C. Vickery, 1965; 191 pages
Reliable broadcasting-based content acquisition for named data MANETs
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models
An Algorithm to Generate Random Large Combinational Circuits
PBFL: Communication-Efficient Federated Learning via Parameter Predicting
Join Dependencies in Relational Databases and the Geometry of Spatial Grids
Smart Multimedia Compressor - Intelligent Algorithms for Text and Image Compression
An Improved Genetic-XGBoost Classifier for Customer Consumption Behavior Prediction
Lost In Translation: Exposing Hidden Compiler Optimization Opportunities
Vessel re-identification by a hierarchical perceptual aggregation network with inclination-aware attention
A Prototype Crossword Compiler
Analysis of Machine Learning and Deep Learning Frameworks for Opinion Mining on Drug Reviews
Component Fault Diagnosis and Fault Tolerance of Alternating Group Graphs
Book Review: Computers in Biomedical Research, Vol. 1, edited by Ralph W. Stacy and Bruce Waxman, 1965; 545 pages
Linearly Homomorphic Signatures from Lattices
On the KDM-CCA Security from Partial Trapdoor One-Way Family in the Random Oracle Model
A Dynamic Component and Aspect-Oriented Platform
New Results on Intersection Query Problems
Slotted-FIFO Communcation for Asynchronous Distributed Systems
Note on the Selective Summation of Fourier Series
Optimal Text Document Clustering Enabled by Weighed Similarity Oriented Jaya With Grey Wolf Optimization Algorithm
Joint Optimization of Spectrum Sensing and Transmit Power in Energy Harvesting Cognitive Radio Sensor Networks
Type Checking in Polymorphic Languages
RE-UML: A Component-Based System Requirements Analysis Language
Book Review: Computer Evaluation of Mathematical Functionns, by C. T. Fike, 1968; 227 pages
Clustering-based compression for raster time series
Jari Nurmi: Processor Design - System-on-Chip Computing for ASICs and FPGAs. Springer (2007) ISBN 978-1-4020-5529-4
A Lower Bound for Dilation of an Embedding
Composite B-tree: an Access Aid for Query Processing and Integrity Enforcement
Retained Objects and Operating System Interfaces
MuST-GAN MFAS: Multi-semantic spoof tracer GAN with transformer layers for multi-modal face anti-spoofing
Logic Programming for Software Verification and Testing
An Internal Hybrid Sort Algorithm Revisited
Shortest-Path Reconstruction Algorithms
A Multiple QoS Metrics-Aware Virtual Network Embedding Algorithm
Minimum Diameter of Diregular Digraphs of Degree 2
A Simulation Experiment Using Two Languages
Aspect-Based Sentiment Analysis Using Interaction Matrix And Global Attention Neural Network
From Copper to Glass: the Right Idea, Decisions and Investments at the Right Time
Evolutionary Algorithms For k-Anonymity In Social Networks Based On Clustering Approach
Improving LAMMPS performance for molecular dynamic simulation on large-scale HPC systems
Approximate Estimation of Transaction Response Time
A Non-Recursive Technique for Recreating a Digraph from its K-Formula Representation
Free Store Distribution under Random Fit Allocation: Part 3
A New Symbolic Integration System in Reduce
On Languages, Models and Programming Styles
On the Best Linear Chebyshev Approximation
Towards a Formal Foundation for DeMarco Data Flow Diagrams
Overlay Clusters for C Programs
On Implementing Semaphores with Sets
Accessing Textual Documents Using Compressed Indexes of Arrays of Small Bloom Filters
Prospects for Bandit Solutions in Sensor Management
Book Review: Computer Augmentation of Human Resourcing, edited by Margo A. Sass and William D. Wilkinson, 1965; 235 pages
Feedback Techniques for Intra-Media Continuity and Inter-Media Synchronization in Distributed Multimedia Systems
A Transformation For Optimizing String-Matching Algorithms For Long Patterns
A Fast Radix Sort
A Simplex Method for Function Minimization
Research on Algorithms to Capture Drivers' Write Operations
Privacy on the Line: The Politics of Wiretapping and Encryption, Updated and Expanded Edition
Precise Point Set Registration Based on Feature Fusion
Compression and Explanation Using Hierarchical Grammars
Estimating Magnetic Disc Seeks
The Main Features of Atlas Autocode
Process Control Systems
Improved Collision Detection Of MD5 Using Sufficient Condition Combination
A Review of Road Traffic Simulation Method Using a General Purpose Digital Computer
An Examination of Requirements Specification Languages
Zero-Knowledge-Private Counting of Group Triangles in Social Networks
Automating the Librarian: Belief Revision as a Base for System Action and Communication with the User
An Efficient Distributed Algorithm to Identify and Traceback DDoS Traffic
Book Review: An Introduction to Cybernetics, by W. Ross Ashby, 1964; 295 pages
Finding Response Times in a Real-Time System
On the Convergence of Exchange Algorithms for Calculating Minimax Approximations
A Survey of Open Data Platforms in Six UK Smart City Initiatives
The Use of Chebyshev Series for the Evaluation of Oscillatory Integrals
Clenshaw's Method for Evaluating Certain Finite Series
Some aspects of recording Graduated National Insurance contributions
Average Distance in Interconnection Networks via Reduction Theorems for Vertex-Weighted Graphs
Evaluation of Compiler Diagnostics