yusuke1997/dblp-id-title huggingface dataset:
Multispectral Palm Print and Palm Vein Acquisition Platform and Recognition Method Based on Convolutional Neural Network
Twitter Analysis for Intelligent Transportation
Surface Fitting By Triangulation
The Place of Character Recognition, Data Transmission and Document Handling in A.D.P. Systems
Skarbek's Algorithm for t -Ary Trees
Sequential Dynamic Classification Using Latent Variable Models
The Conditional Diagnosability with g-Good-Neighbor of Exchanged Hypercubes
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications
Kron's Method of Tearing on a Transputer Array
Modeling and Evaluation of a Metadata-Based Adaptive P2P Video-Streaming System
An Iterative Solution for the 4-Peg Towers of Hanoi
Integration Routines for Systems with Discontinuities
Data Manipulation Language Requirements for Database Management Systems
An Iterative Algorithm for the Reve's Puzzle (Short Note)
Index Database Machine
Churn Prediction System for Telecom using Filter-Wrapper and Ensemble Classification
A Hybrid BERT-CNN Approach for Depression Detection on Social Media Using Multimodal Data
A Multi-Objective Randomly Updated Beetle Swarm and Multi-Verse Optimization for Brain Tumor Segmentation and Classification
A System for Multi-Passenger Urban Ridesharing Recommendations with Ordered Multiple Stops
Programming with Grammars: An Exercise in Methodology-Directed Language Design
COPS: A Constraint Programming Approach to Resource-Limited Project Scheduling
Performance Evaluation of FPGA-Based LSTM Neural Networks for Pulse Signal Detection on Real-Time Radar Warning Receivers
Using Control Dependencies for Space-Aware Bytecode Verification
Counter-clustering for Training Pattern Selection
Enhanced Address Resolution in a Multi-LAN Ethernet Communications System
The Generation of Pseudo-Random Numbers on Electronic Digital Computers
A New Method To Find All The High-Probability Word-Oriented Truncated Differentials: Application To <tt>Midori</tt>, <tt>SKINNY</tt> And <tt>CRAFT</tt>
Problems of the Introduction of Large Scale Data Processing into the Royal Army Pay Corps
Rokach Lior and Maimon Oded: Data Mining with Decision Trees: Theory and Applications World Scientific (2008) ISBN-13 978-981-277-171-1
A study of the solution of an initial-value problem with a hybrid computer
A Multi-agent System for Modelling Preference-Based Complex Influence Diffusion in Social Networks
Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation
L ( p , q )-Labeling and Integer Flow on Planar Graphs
An Investigation of Single-Machine Due-Window Assignment with Time-Dependent Processing Times and a Controllable Rate-Modifying Activity
Polygon Join Dependencies, Closed Co-Relationship Chains and the Connection Trap in Relational Databases
Social-Aware Spatial Top-k and Skyline Queries
Editorial: Survey and Experimental Analysis of Event Detection Techniques for Twitter
Query Operators for Transactional Data: Detecting Similar and Periodic Transactions
Temporal Functional Dependencies and Temporal Nodes Bayesian Networks
Stochastic Gradient Descent-Whale Optimization Algorithm-Based Deep Convolutional Neural Network To Crowd Emotion Understanding
Some Properties of Ternary Trees
Neural Memories and Oscillatory Operation
Engineering Policy-Based Ubiquitous Systems
Improved Key Recovery Attacks on Simplified Version of K2 Stream Cipher
Towards the Optimal Secondary Index Organisation and Secondary Index Selection
Query-Driven Frequent Co-Occurring Term Computation over Relational Data Using MapReduce
The Economics of Dumping from Electronic Computers
The Wide Diameters of Regular Hyper-Stars and Folded Hyper-Stars
Time-Aware Data Partition Optimization and Heterogeneous Task Scheduling Strategies in Spark Clusters
Applications of a Subset-Generating Algorithm to Base Enumeration, Knapsack and Minimal Covering Problems
An Iterative Process for Optimizing Symmetric Successive Over-Relaxation
COSMOS - Courtaulds' Own System for Matrix Operations and Statistics
Performance Modelling and Simulation of Three-Tier Applications in Cloud and Multi-Cloud Environments
Gaussian Networks for Scalable Distributed Systems
Intrusion Detection Over Encrypted Network Data
An Efficient Implementation of Permutation Backtracking in Lexicographic Order
Problems with Analytic Description of Text Formats
Stealth Address Schemes With Fast Retrievability Based On Subgroup Membership Assumptions Related To Factoring
Wallace's Approach to Unsupervised Learning: The Snob Program
A Novel Social Event Organization Approach for Diverse User Choices
Supporting Software Development Processes in Adele 2
TSAS - the time-shared supervisor assembly system
Improving CPU Utilisation in a Multiprogramming System
Game on: a performance comparison of interpolation techniques applied to Shamir's secret sharing
The Comandos Distributed Application Platform
An Algorithm for the Even Distribution of Entities in One Dimension
Structure Clashes - An Alternative to Program Inversion
The organization of a data link computing service
A Fuzzy Inference-Based Decision Support System for Disease Diagnosis
A Review of Object-oriented Approaches in Formal Methods
Book review: Management
Note on a machine algorithm for conversion from reflected binary to natural binary
Computer procurement policies for universities and simular users
Content-Based Image Retrieval of Axial Brain Slices Using a Novel LBP with a Ternary Encoding
Withdrawn: Editorial
BioElectra-BiLSTM-Dual Attention classifier for optimizing multilabel scientific literature classification
An Extended Operator Precedence Parsing Algorithm
Liveness Attacks On HotStuff: The Vulnerability Of Timer Doubling Mechanism
Secure Outsourcing Algorithms for Composite Modular Exponentiation Based on Single Untrusted Cloud
Paul Ammann and Jeff Offutt Introduction to Software Testing . Cambridge University Press(2008). ISBN: 978-0-521-88038-1, 322 pp. Hardcover
Particle Rider Mutual Information and Dendritic-Squirrel Search Algorithm With Artificial Immune Classifier for Brain Tumor Classification
Market Surveys with a Small Computer
Some Helicopter Simulation Studies
Particle Swarm Optimization-Based Energy Efficient Channel Assignment Technique for Clustered Cognitive Radio Sensor Networks
Toward A Secure Single Sign-On Mechanism for Distributed Computer Networks
Higher-Order Transformations and Type Simulations
Accelerate Data Retrieval by Multi-Dimensional Indexing in Switch-Centric Data Centers
FRACE: Front-Running Attack Classification on Ethereum using Ensemble Learning
Formal Methods for Assuring Security of Protocols
Educating the Masses - Is IT a Tricky Business?
Accelerating Multiple Sequence Alignment with the Cell BE Processor
On The Security Of A Novel Construction Of Certificateless Aggregate Signature Scheme For Healthcare Wireless Medical Sensor Networks
On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks
Analyzing Team Decision-Making in Tactical Scenarios
The Use of Termination Indicators in Computer Programming
Accounting for the soldier's pay - Organization of programming
The Analysis of Large Structural Systems
Adaptive Caching Approach to Prevent DNS Cache Poisoning Attack
Understanding Turing's Universal Machine - Personal Style in Program Description
A computer-oriented description of the Peaceman-Rachford ADI method
Recoding of Natural Language for Economy of Transmission of Storage
The Effect of Missing, Retroactive, Erroneous and/or Late Data in Designing Accounting Applications
"Error curves for Lanczos' 'selected points' method"
Closed Form Approximations for Random Errors in Distance Functions
Proof of a structured program: 'the sieve of Eratosthenes'
Comparison of Allocation Schemes for Virtual Machines in Energy-Aware Server Farms
Towards a Single Criterion for Identifying Program Unstructuredness
A Process Algebra Foundation for Reasoning about Core ELLA
Towards Efficient Stabilizing Code Dissemination in Wireless Sensor Networks
Visual Exploration of 3D Geospatial Networks in a Virtual Reality Environment
Adaptive Location Prediction Strategies Based on a Hierarchical Network Model in a Cellular Mobile Environment
Default Databases and Incomplete Information
Partial Order Reduction for the full Class of State/Event Linear Temporal Logic
Extreme-Value Search and General Selection Algorithms for Fully Parallel Associative Memories
Non-interactive Conditional Proxy Re-Signature in the Standard Model
Appeal from the Book Review Editor
Emotion Recognition by a Hybrid System Based on the Features of Distances and the Shapes of the Wrinkles
Implementation of Parameterised Views in Relational Query Languages with a Macro Processor
Analysis of the Structure and Resolution of a Graphics Device
Exposing Photographic Splicing by Detecting the Inconsistencies in Shadows
Truncated Differential Attacks On Symmetric Primitives With Linear Key Schedule: WARP And Orthros
Assessment and Monitoring of Salinity of Soils After Tsunami in Nagapattinam Area Using Fuzzy Logic-Based Classification
A Structured Paging System
3D Convolutional Neural Networks for Dynamic Sign Language Recognition
Simplicity and Power - Some Unifying Ideas in Computing
On the Behaviour of p -Adic Scaled Space Filling Curve Indices for High-Dimensional Data
Insuring Computers
Security Certification for Service-Based Business Ecosystems
The EMAS Director
FormatAEG: a framework for bypassing ASLR defense and automated exploitation of format string vulnerability
Dynamic Upward Planarity Testing of Single Source Embedded Digraphs
Efficient Visual Tracking via Hamiltonian Monte Carlo Markov Chain
Bi-Directional Synthesis of 4-Bit Reversible Circuits
A True-Concurrency Encoding for BMC of Compositional Systems
Structured Spanning Trees
A Comparison of some Methods of Calculating Covariance Functions on an Electronic Computer
Distributed Building Evacuation Simulator for Smart Emergency Management
Elliptic Curve Multiset Hash
The Set-to-Set Disjoint-Path Problem in Perfect Hierarchical Hypercubes
Pattern Recognition of Noisy Sequences of Behavioural Events using Functional Combinators
A Minicomputer Based High Level Network Control Language
A Program for the Automatic Integration of Differential Equations using the Method of Taylor Series
A Pairing-Based Blind Signature E-Voting Scheme
Data Communication User Research in the Post Office: Part 2
Area and Perimeter of the Convex Hull of Stochastic Points
Biquinary Decimal Error Detection Codes with One, Two and Three Check Digits
Correction to: A Semantic Embedding Enhanced Topic Model For User-Generated Textual Content Modeling In Social Ecosystems
On Efficient Context Switching
Primitive Intervals versus Point-Based Intervals: Rivals or Allies?
Ciphertext-Policy Attribute-Based Encrypted Data Equality Test and Classification
FPGA-CPU Architecture Accelerated Regular Expression Matching With Fast Preprocessing
Note on the Computer as an Aid to the Architect
Differential Attack With Constants On μ2 Block Cipher
On the Analysis of a M/M/1 Queue with Bulk Services
Syntactic Definition and Parsing of Molecular Formulae: Part 1 Initial Syntax Definition and Parser Implementation
SDVoIP - A Software-Defined VoIP Framework For SIP And Dynamic QoS
A Note on an Optimal-Fit Method for Dynamic Allocation of Storage
A Social Network Link Prediction Method Based on Stacked Generalization
User-Defined Types in a Polymorphic Language
A New Approach to Variable Metric Algorithms
Structure connectivity and substructure connectivity of Möbius cubes
A Fixed-Size Bloom Filter for Searching Textual Documents
A note on the accuracy of optimisation techniques
Automating the Deployment of Cyber Range with OpenStack
Bandwidth-Availability-Based Replication Strategy for P2P VoD Systems
Testing Overflow Algorithms for a Table of Variable Size
RIoT: A Routing Protocol for the Internet of Things†
LiteMixer: Cauliflower Disease Diagnosis based on a Novel Lightweight Neural Network
An improved DNN model for WLAN intrusion detection
A Survey of Outlier Detection Methods in Network Anomaly Identification
Analysis of Performance-impacting Factors on Checkpointing Frameworks: The CPPC Case Study
Thermal Image-Based Object Classification for Guiding the Visually Impaired
Managing Replicated Remote Procedure Call Transactions
Deep Learning in Age-invariant Face Recognition: A Comparative Study
Alison Phipps: Women in Science, Engineering and Technology: Three Decades of UK Initiatives Trentham Books (2008) ISBN-13 978 1 85856 402 9
Analysis and Optimization of Set Expressions
Computational Experience with Quadratically Convergent Minimisation Methods
Generation of Shortest Test Sequences for Detecting Individual Faults of Sequential Circuits
Dynamic State-Based Security Architecture for Detecting Security Attacks in Virtual Machines
IFIP CONGRESS 62
EDSAC at 60 - A Celebration of 60 Years Since the First Program Ran on the EDSAC at Cambridge
The Identification of Program Unstructuredness: A Formal Approach
Results on Embeddings Between State-Based and Event-Based Systems
Discussion and Correspondence: Some comments on Systematics
A Note on the Iterative Algorithm for the Reve's Puzzle
Indentification of Program Similarity in Large Populations
Modelling Bidders in Sequential Automated Auctions
A Practical Physical-Layer Network Coding with Spatial Modulation in Two-Way Relay Networks
Cost-Efficient Cloud-Based Video Streaming Through Measuring Hotness
On the Longest Common Cartesian Substring Problem
The application of a digital computer to the construction of timetables
Preparation for Optical Character Recognition
Fast Implementation of Relational Operations Via Inverse Projections
The Main Features of CPL
Expert Systems. Clubs: Design Methods
1-2 Brother Trees or AVL Trees Revisited
SST: A Scalable Parallel Framework for Architecture-Level Performance, Power, Area and Thermal Simulation
IBM Makes Usability as Important as Functionality
A Direction-Independent Algorithm for Determining the Forward and Backward Compute Point for A Term or Subscript During Compilation
An Improved Algorithm for Distributed Trigger Counting in Ring
Uniform Generation of Rooted Ordered Trees with Prescribed Degrees
Optimal Quadrature Formulae
Functional Programming and Operating Systems
Programming Systems for use in Research Computation
Generation of time delays on analogue computers
The Relationship Between Entropy and File Search Times
Direct Execution of Programming Languages
Revocable Policy-Based Chameleon Hash for Blockchain Rewriting
Potential of Machine Learning Based Support Vector Regression for Solar Radiation Prediction
Disc Database Efficiency: A Scheme for Detailed Assessment Based on Semi-Markov Models
Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic
A New Approach to the Computation of the Jardine-Sibson B k Clusters
Placement of Web-Server Proxies with Consideration of Read and Update Operations on the Internet
The Edge-Fault-Tolerant Bipancyclicity of the Even k -ary n -cube
An Intrusion Detection Method Based on Attention Mechanism to Improve CNN-BiLSTM Model
Optimization of Monotonic Linear Progressive Queries Based on Dynamic Materialized Views
Spotting Method for Classification of Real World Data
Performances of two Microprocessor-Based Multiplexor Techniques
Optimal Arrangements of Cartridges in Carousel Type Mass Storage Systems
The Computer Journal
Comparing Reputation Schemes for Detecting Malicious Nodes in Sensor Networks
Cheating Immune Threshold Visual Secret Sharing
Using Local Trust for Forming Cohesive Social Structures in Virtual Communities
The operation of large computer systems
DuelMerge: Merging with Fewer Moves
C3ware: A Middleware Supporting Collaborative Services over Cloud Storage
Proving Correctness Properties of a Replicated Synchronous Program
The Structural Foundation for an Operating System
Resource allocation and multi-project scheduling (RAMPS) - a new tool in planning and control
On Two Problems Reducible to Topological Sorting
Enabling Technologies: Infrastructure for Collaborative Enterprises
ARPL - A Retrieval Process Language
Severity Level Classification of Brain Tumor based on MRI Images using Fractional-Chicken Swarm Optimization Algorithm
A Note on the Use of Floating Point in Critical Systems
'Innovation for Failure - Some Reflections on the Work of the NRDC Relevant to the Early History of the Computer Industry in the UK' (Essay Review)
Service Function Placement Optimization For Cloud Service With End-to-End Delay Constraints
PRS: Parallel Relaxation Simulation for Massive Graphs
Supporting the OSGi Service Platform with Mobility and Service Distribution in Ubiquitous Home Environments
Microelectronics: The Impact on Computer Centres
Hercules: Intelligent Coupling of Dual-Mode Flash Memory and Hard Disk Drive
The MU5 compiler target language and autocode
Handling Interpolated Data
A Framework for Modelling Trojans and Computer Virus Infection
The Cellular Logic Array Image Processor
Zero-One Programming Using Non-Binary Tree-Search
Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction
Eigenvalues of Ax = λBx with band symmetric A and B
A Free-Format Data Input Scheme Written in Standard FORTRAN (ANSI 66)
The Necessity of Publishing Programs
Lessons Learned from LCF: A Survey of Natural Deduction Proofs
Transmission in Butterfly Networks
The Specification of a Relational Database (PRECI) as an Abstract Data Type and its Realisation in HOPE
Intrinsic Classification of Spatially Correlated Data
A Proof System for Ada Tasks
Breast Cancer Diagnosis Using Multi-Stage Weight Adjustment In The MLP Neural Network
P-TIMA: a framework of T witter threat intelligence mining and analysis based on a prompt-learning NER model
Towards a Semantic Framework for Lifelong Integrated Competency Management and Development
"Picture Logic" for "Bacchus" a Fourth-Generation Computer
The communication of algorithms
Two Algorithms for the Solution of Polynomial Equations to Limiting Machine Precision
IoT Data Quality Issues and Potential Solutions: A Literature Review
FINB: a Japanese named entity recognition model based on multi-feature integration method
A Secure Self-Synchronized Stream Cipher
Work-Efficient Parallel Non-Maximum Suppression Kernels
Quantum Bit Commitment Without Quantum Memory
A Sketch Framework for Fast, Accurate and Fine-Grained Analysis of Application Traffic
An adaptive pedagogical model based on the classifier system and reinforcement learning
Series Methods for Integration
Detecting Distributed Denial of Service Attacks: Methods, Tools and Future Directions
Comparing Typical Opening Move Choices Made by Humans and Chess Engines
An Empirical Analysis of FORTRAN Programs
Stochastic Automata Solutions to the Object Partitioning Problem
Dynamic and Uncertainty Considerations in the Selection and the Acquisition of An Information System: An Adoption of A Break-Even Analysis to Investment Decisions
The Numerical Solution of Second Order Hyperbolic Partial Differential Equations with Unequally Spaced Initial Conditions
Colour Manipulation of Superposed Families of Curves
Searching for Expertise: Experiments with the Voting Model
Nested-Stacking Genetic Algorithm for the Optimal Placement of Sensors in Bridge
Saving Energy in Wireless Local Area Sensor Networks
An Unsupervised Method for Detecting Shilling Attacks in Recommender Systems by Mining Item Relationship and Identifying Target Items
Are 'Human Factors' Human?
Public-Key Encryption Schemes with Bounded CCA Security and Optimal Ciphertext Length Based on the CDH and HDH Assumptions
Surveying Port Scans and Their Detection Methodologies
Note on a general finite-difference formula for the solution of axially symmetric fields
Multiple Precision Arithmetic Techniques
Thematic Editorial: The Ubiquitous Network
Efficient Tracking of Mobile Objects in Globe
K-Nearest neighbor smart contract classification with semantic feature enhancement
The Bipancycle-Connectivity and the m -Pancycle-Connectivity of the k -ary n -cube
Information Loss in Partitioned Statistical Databases
Programming Denotational Semantics
A Cost Accounting Formula for Multiprogramming Computers
On Correcting XML Documents with Respect to a Schema
A Rule-based Method for Improving Adaptability in Pervasive Systems
The ISO character code
A Generic Approach to Improving Diffie-Hellman Key Agreement Efficiency for Thin Clients
Participative Systems Design
Distributed Location Databases for Tracking Highly Mobile Objects
Near Optimal beta Heap
Application Of Papoulis-Gerchberg Method In Image Super-Resolution and Inpainting
Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach
A New Perspective of the Proportional Sampling Strategy
Performance Measurements - A Practical Example from a German University Computing Centre
The Difference Engines
Revocable Group Signature with Constant-Size Revocation List
Anonymous Proxy Signature with Hierarchical Traceability
Multiobjective Small-World Optimization for Energy Saving in Grid Environments
P-Compressed Quadtrees for Image Storing
Numerical Solution of the Inverse Algebraic Eigenvalue Problem
A Compact Form of One-Track Syntax Analyser†
Direct Construction of Complete Merged Processes
SnorkelPlus: A Novel Approach for Identifying Relationships Among Biomedical Entities Within Abstracts
Two Variations on n-Parallel Finite State Generators
High Dynamic Range Image Reconstruction with Spatial Resolution Enhancement
A Formula for Establishing Re-Order Quantities for Individual Items Within a Joint Stock Replenishment Scheme
Extensions of the Predictor-corrector Method for the Solution of Systems of ordinary Differential Equations
Computer System Evaluation Through Supervisor Replication
Obtaining Accurate Error Expressions and Bounds for Floating-Point Multiplicative Algorithms
Resampling Halftone Images Using Interpolation and Error-Diffusion
Android Malware Detection in Bytecode Level Using TF-IDF and XGBoost
HISS: A HIghly Scalable Scheme for Group Rekeying
Improved Fault-Tolerant Aggregate Signatures
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property
A compiler optimization technique
The Reve's Puzzle
A Ring Structure Processor for a Small Computer
A Parallel Organisation of the Bisection Algorithm
A Framework for the Creation and Management of National Computing Strategies in Developing Countries
Efficient Dissemination of Information in Computer Networks
Adaptive Filter with Type-2 Fuzzy System and Optimization-Based Kernel Interpolation for Satellite Image Denoising
A New Method of Solving Second-Order Differential Equations When the First Derivative is Present
On the Computational Aspects of Semi-Implicit Runge-Kutta Methods
Control Gear Simulation for an Automatic Car Park
Curve-Smoothing Techniques Using B-Splines
Aspect-oriented Metamodelling
Designing SQUIRREL: An Extended SQL for a Deductive Database System
Binary Tree Encryption with Constant-Size Public Key in the Standard Model
Buddy Algorithms
A Database Architecture for Aggregate-Incomplete Data
The Determination of the Optimum Accelerating Factor for Successive Over-relaxation
A Ring Processing Package for Use with FORTRAN or a Similar High-Level Language
Double Auction for a Data Trading Market with Preferences and Conflicts of Interest
Workload-Aware Placement of Multi-Tier Applications in Virtualized Datacenters
Modelling and Quantitative Verification of Reputation Systems Against Malicious Attackers
Hybrid Network Intrusion Detection System for Smart Environments Based on Internet of Things
IPOD2: an irrecoverable and verifiable deletion scheme for outsourced data
A New Algorithm For Reconstruction Of A Computer-Generated Hologram (CGH)
Automatic Analysis and Design of Information Processing Systems
A Study on Maximizing the Parallelism of Macroscopically Derived Routing Algorithms for WSNs
Algorithms for Multidimensional Numerical Integration with Singularities
An Automatic and Clause-Based Approach to Learn Relations for Ontologies
Context Sensitive Editing as an Approach to Incremental Compilation
An associative parallel processing system for non-numerical computation
Cryptanalysis of Server-Aided RSA Protocols with Private-Key Splitting