yusuke1997/dblp-id-title huggingface dataset:
Performance Evaluation of Latency Tolerant Architectures
Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language
Artificial Neural Networks for Predicting Silicon Content in Raw Iron From Blast Furnaces
Formal Concept Analysis with Many-Sorted Attributes
Structural and Behavioral Representations in Roget's International Thesaurus
Efficient Deterministic Parallel Algorithms for Integer Sorting
A Backend Text Retrieval Machine for Signature-Based Document Ranking
Criteria for Dynamic Method Selection in Diagnostic Reasoning
An Approach to Achieving Multiuser Integrity in a Knowledge Base System
Sub-Logarithmic Algorithms for the Largest Empty Rectangle Problem
Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures
Is there Science and Technology (Funding) after the Cold War?
Selected Aspects of the Calculus of Self-Modifiable Algorithms Theory
Construct an Object-Oriented Constraint Logic for Explanation Based Learning
Interpretive Language Implementation from a Layered Operational Model
Efficient Approximation Algorithms for Domatic Partition and On-Line Coloring of Circular Arc Graphs
Conflict-Free Sorting Algorithms Under Single-Channel and Multi-Channel Broadcast Communication Models
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming
Application of Expert System to the Evaluation of Project Alternatives
On Space Bounded Server Algorithms
A Hierarchy of Pattern Recognition Algorithms for the Diagnosis of Sucker Rod Pumped Wells
Self-Stablizing Fault Location
An O(n log 2 n) Hybrid Sorting Algorithm on 2-D Grid
A Note on Off-Line Permutation Routing on a Mesh-Connected Processor Array
Planning in Conceptual Networks
Generalized Fault Tolerance Properties of Star Graphs
On Driving and Monitoring Smalltalk-80 Applications Using Unix Spreadsheets
SELSYN-C: A Self-Synchronizing Parallel Programming Language
Efficient Distributed Resource Scheduling for Adaptive Real-Time Operation Support
The Descriptor Theory - What is about?
Compact Hypercubes: Properties and Recognition
An Efficient Approximation Algorithm for Hypercube Scheduling
Alternatives to the B+-Tree
From Code Comprehension Model to Tool Capabilities
Applying Graph Grammars for Task-Oriented User Interface Development
A Fault-Tolerant Binary Tree Architecture
Writing Sequential Programs for Parallel Processors: Implementation Experience
Electing a Leader in a Synchronous Scalable Network
Empirical Study of the Meaning of the Hedge "VERY"
Architectural Classification and Transaction Execution Models of Multidatabase Systems
Index Selection in Relational Databases
Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions
Using Modeling and Control in Adele System
Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report
On the Formal Aspects of Approximation Algorithms
Efficient Algorithms for All-Pairs Shortest Path Problem on Interval, Directed Path, and Circular-Arc Graphs
An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc Graphs
DINAS: Computer-Assisted System for Multi-Criteria Transportation and Location Analysis
On the Rearrangeability of Switching Networks Composed of Digital Symmetrical Matrices
Algorithms for a K-Tree Core of a Tree
Computing and Information - ICCI'93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings
On Real-Time Program Specification Description with a Data Model-Based Language
An Efficient Multiprocessor Architecture for Image Processing in VLSI
Inheritance and Specificity II: Reference Class Selection
Deriving Deterministic Prediction Rules from Reduction Schemes
A Tight Lower Bound for Selection in Sorted X+Y
A Software Reuse System Based on Natural Language Specifications
K-Selection in Hypercubes
Ethics and Computers: Can Universities Set the Standards?
Minimal Perfect Hashing For Large Sets of Data
Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings
Questionnaire Analysis by Decision Algorithm Generation
Move-to-End is Best for Double-Linked Lists
An Efficient Parallel Solution for the Longest Increasing Subsequence Problem
The Behavior of Database Concurrency Control Mechanisms under Bursty Arrivals
Parallel Naive and Semi-Naive Transitive Closure Evaluation
Education for Computing Professionals (Abstract)
A Simple Perfect Hashing Method for Static Sets
The Serializability of Transactions in Object Bases
Context Parallelism in an Indexical Programming Language
Undordered Tree Contraction
The Synthesis of Two Compatible Rooted Trees in a Rooted Supertree by an Algorithm on Sets
Interval-Set Algebra for Qualitative Knowledge Representation
Artificial Intelligence - Introduction
Hyper Petersen Network: A Fault-Tolerant Multiprocessor Topology
A Logic-Free Method for Modular Composition of Specifications
A Model of Execution Time Estimating for RPC-Oriented Programs
Combination of Evidence in Rough Set Theory
A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors
Optimizing the Time Cost of the Parallel Structures with a Limited Number of Processors
The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases
Parallel Compting Dominators on Hypercube Multiprocessors
Control Bottlenecks in a Network Database Mechine
Asynchronous Functional Parallel Programs
On the Concurrency of C++
On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory
High-Speed Querying with the DAP 510
Modeling and Investigation of a Primitive File Transfer Operation
AI-Based Classification and Retrieval of Reusable Software Components
Write-Only Disk Cache Experiments on Multiple Surface Disks
Multimedia Databases Modeling
A Measure of Fault Tolerance for Distributed Networks
An Object-Oriented Data Model Specification
Obtaining Tight Upper Bounds for the State Complexities of DFA Operations
Communication Complexity of Computing a Collection of Rational Functions
Formal Description and Verification of Knowledge Base Redundancy and Subsumption
Balance in AVL Trees
A Modeling Technique for Generating Causal Explanations of Physical Systems
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications
The Generic Oracle Hypothesis Fails
Performance Analysis of Time-Stamp Ordering Algorithms in Database Systems: The Pure Restarts Case
Parallel Self-Reducibility
Evaluation of Futurebus+ for a GMMP Multiprocessor
Potential Benefits of File Migration in a Heterogeneous Distributed File System
Block Concatenated Code Word Surrogate File for Partial Match Retrieval
Generating All Maximal Independent Sets on Trees in Lexicographic Order
Fault Tolerance for Multistage Interconnection Networks
What's Wrong With Formal Programming Methods?
A Distributed Algorithm for Ear Decomposition
Applications Development Toolkits for Environmental Modelling and Monitoring
Comparison of ID3 and Its Generalized Version
Impact of Priority-Based ATM Switch Design on System Performance
The Mean Value Approach to Performance Evaluation of Time-Stamp Ordering Algorithms
A Constant Update Time Finger Search Tree
A Chemical Reactor Selection Expert System Created by Training an Artificial Neural Network
Conflict-Free Routing on Hypercubes
Interlinguae
Lambda-Calculi with Decidable Cappa-Type Checking
Job Simulation Techniques on Incomplete and Gray Code Incomplete Hypercubes
Nondeterministic and Alternating Computations
On the Difference Between Turing Machine Time and Random-Access Machine Time
Greedy Triangulation Approximates the Optimum and Can Be Implemented in Linear Time in the Average Case
Fast Left-Linear Semi-Unification
Maximum and Minimum Matchings for Series-Parallel Networks
Summaries of invited lectures
A Self-Guided Theorem Proving System
Independent Performance Modeling of Parallel Architectures and Algorithms
Concurrent Use of Parallel Communication to Enable Remote Visualization
Parallel Transitive Closure Computation in Highly Scalable Multiprocessors
An Optimal Parallel Algorithm to Reconstruct a Binary Tree from its Traversals
A Distributed Algorithm for Parameterized Semaphore Operations
Spinal Cellular Automata
Parallel Computation of Longest-Common-Subsequence
Probabilistic Analysis of Set Operations with Constant-Time Set Equality Test
Methods and Tools for Integrating Database Systems and Object-Oriented Programming Systems
The Relevance Density Method in Information Retrieval
On the Semantic Enhancement of Information Systems Design (Abstract)
An Optimal Parallel Algorithm for the Vertical Segment Visibility Reporting Problem
A Fingerprint Image Recognition Method for Network User Identification
Methodology to Implement an Amoeba Complex Object Server
A New Decomposition Method to Relieve the State Space Explosion Problem
Designing a Stochastic Parameter Reasoner
Merging of Scores for Decision Making in Practice and Theory (Abstract)
Enforce Constraints in Archival Databases
On Data Allocation with the Minimum Overall Communication Costs in Distributed Database Design
Neural Network Processing Elements as a New Generation of "Flip-Flops"
On the Power of Query-Independent Compilation
Almost-Everywhere Complexity, Bi-Immunity and Nondeterministic Space
On Implementing Large Fault-Tolerant Binary Tree Architecture in WSI
A Relationship Between Self-Organizing Lists and Binary Search Trees
A Distributed Approach to the Design of Applications
Parallel Breadth-First and Breadth-Depth Traversals of Generated Trees
Logic Programming for Software Testing
Linear Extensions with Backtracking
Far Field Path Planning for Rotorcraft NOE Missions in a Mountainous Region
Shortest m -Watchmen Routes for Histograms: The MinMax Case
Analysis of Windowing Operations or R+ Trees
The Core Concurrency
Folding a Triangulated Simple Polygon: Structural and Algorithmic Results
Optimality of Gauge and Degree-Sensitive VLSI Layouts of Planar Graphs
Semantic Query Optimization in Distributed Databases
An Axiomatization of Wait-Freedom and Low-Atomicity
Searching with a Lie Using Only Comparison Questions
An Efficient Parallel Algorithm for the Assignment Problem on the Plane
A Distributed Scheduling Algorithm for Heterogeneous Real-Time Systems
Integrated Concurrency-Coherence Control in Distributed Shared Memory
An Integrate Approach to Satisfy Application Requirements
DCL: Protocols and Primitives for Distributed and Concurrent Computing in Networked Environments
Reduction of Constraint Networks Based on Local Consistency
Using the IIPS Framework to Specify Machine-Discovery Problems
Parallelism via Speculation in Pure Prolog
Storing Shortest Paths for a Polyhedron
NLUS - A Prolog-Based Natural Language Understanding System
Rules in an Extended C++
Sequential and Distributed Algorithms for the All Pairs Quickest Path Problem
Probabilistic Approach to Attributes Coding in the Rough Sets Theory
AI in Real Time: Is This Feasible?
The Gamma Model as a Functional Programming Tool
Solvable Classes for Reliable Network Allocation
Preprocessing First-Class Functions for Ada
Mapping of Fault-Tolerant Permutations in Omega
The Strategic Significance of Expert Systems: Opportunities and Risks (Abstract)
Increasing Communication Bandwidth on Hypercube
Domain Compression of Incompletely Specified Boolean Functions
Case-Based Reasoning Methodology for Analyzing Multi-Database Schemas
An Efficient Transitive Closure Algorithm for Distributed Databases
A Formal Description of the IC * Model of Parallel Computation
A Neural Network Model for Documentary Base Self-Organising and Querying
Partitioning and Scheduling of Parallel Functional Programs Using Complexity Information
Optimal Operations on Red-Black Trees
Parallel Reduction of a Chain Query in Distributed Databases
Towards a Methodology for Developing a Federated Database System
On the Complexity of Distance-2 Coloring
On the Fault-Tolerance of Quasi-Minimal Cayley Networks
Eliminating Unnecessary Array Bounds Checks in Nests of Loops
Fixed-Path Proxy-Logins with Assured Termination
An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language
An Environment for Information System Prototyping: A System Simulation Approach
Self-Checking against Formal Specifications
A Sequentially Consistent Distributed Shared Memory
B *** -Tree: A Family of Efficient Data Packaging Multiway Trees
The Interpolation-Based Bintree and its Application to Graphics
Minimize Linear Mutual Recursion by Rule Unfolding
A Distributed Solution to the k-out of-M Resources Allocation Problem
Design and Implementation of a Distributed Applications Testbed
A Method of Processing Unknown Attribute Values by ID3
Matrix Multiplication on a Toroidal Parallel Architecture
A Client-Server Based Architecture for Communication between Expert Systems
On the Complexities of the Leader Election Algorithms
The Complexity of Deciding Strictly Non-Blocking Concentration and Generalized-Concentration Properties with Small Depth
Interval Arithmetic for Computing Performance Guarantees in Client-Server Software
Simple Atomic Snapshots: A Linear Complexity Solution with Unbounded Time-Stamps
Analysis of Self-Reconfigurating Processes of Fault-Tolerant Distributed Computing Systems
Botstrap Learning of Alpha-Beta-Evaluation Functions
A Framework for Variable -Resolution Vision
Optimal Allocation for Partially Replicated Database Systems on Ring Networks
Using the Entropy in the SPARC Instruction Set
On Designing Relational Database Schemes for Efficient Query Processing
Generating Random Graphs Efficiently
Theory of Deductive Systems for Protocol Verification
Performance of Barrier Synchronization Methods in a Multi-Access Network
Lower Bounds for Algebraic Computation Trees of Functions with Finite Domains
A Method for Software Reuse Through Large Component Libraries
Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract)
A Simple Optimal Parallel Dicitionary Machine
Finding Two-Tree-Factor Elements of Tableau-Defined Monoids in Time O(n³)
Fault-tolerant CSP
An Entity-Relationship Approach to Schema Evolution
A Heterogeneous Distributed Database System Based on Extended Relational Model
How Costly Can Red-Black Trees Be?
A Switching Architecture for Congestion Control in High-Speed Networks
A Hierarchical Multirate Method for Circuit Simulation on Parallel Computers
On the Complexity of Maintaining Fault-Tolerant Distributed Systems
A Framework for Incremental Integration Tools
On the Complexity of (Off-Line) 1-Tape ATM's Running in Constant Reversals
Executive Support Systems for Strategic Advance (Abstract)
Practical Adaptive Sorting
Optimizing the Time Cost of Parallel Structures by Scheduling Parallel Processes to Access the Critical Section
An RMS for Temporal Reasoning with Abstraction
Context Inheritance and Content Inheritance in an Object-Oriented Data Model
A Hypertext for Literate Programming
An Efficient Algorithm for Quiescence Detection in a Distributed System
Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology
On Semantics, Syntactics and Fixpoints of General Programs
Knowledge Elicitation and Integration from Multiple Experts
Complex Objects in the Temporal Object System
B ** -Tree: A Data Organization Method for High Storage Utilization
An Efficient Parallel Recognition Algorithm of Parity Graphs
Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings
Space Efficient Parallel Buddy Memory Management
Chronolog (Z): Linear-Time Logic Programming
Performance Evaluation of Multicast Wormhole Routing in 2D-Torus Multicomputers
Reconfigurable Optically-Interconnected Parallel Computer Architecture
Incremental Database Design Revisited
A Combinatorial View of Visibility Graphs of Simple Polygons
A Graph Testing Concurrency Control Protocol for Object Bases
Consistency Management for Software Design Information Repository
An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin Chinese
A Distributed Production System for Problem Solving
Software Engineering and Information Technology - Introduction
Approximation Algorithms for the Bandwidth Minimization Problem for a Large Class of Trees
Pattern Matching for Case Analysis: A Computational Definition of Closeness
Computing the Transitive Closure of Symmetric Matrices
Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings
Evaluating Partitioning Techniques for Main Memory Database: Horizontal and Single Vertical
Non-Numeric Belief Structures
Using the Hamiltonian Path Operator to Capture NP
What is Failure? Or: Constructive Negation by Fail Answers
A Model of Communication in Ada using Shared Data Abstractions
Integrating CASE Tools with Knowledge-Base by Object Orientation
A Cloud Service on Distributed Multiple Servers for Cooperative Learning and Emergency Communication
T-SPPA: Trended Statistical PreProcessing Algorithm
New Method: Mapping of 802.11e into MPLS Domains, Conception and Experimentation
Comparison of System Dynamics and BPM for Software Process Simulation
A Deterministic Approach to Association Rule Mining without Attribute Discretization
Vibration of Composite Plate - Mathematical Modelling and Experimental Verification by ESPI
Personal Recognition Using Multi-angles Gait Sequences
Automatic Audio Event Recognition Schemes for Context-Aware Audio Computing Devices
Web Navigation and Usability Analysis of Educational Websites in Pakistan
Interaction Distribution Network
Implementing Independent Component Analysis in General-Purpose GPU Architectures
Obtaining Knowledge in Cases with Incomplete Information
Analysis of M-QAM Data Communication System Using 3D Eye Diagram
Digital Information Processing and Communications - International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II
Complete Graphs and Orderings
On the Usability of Vehicle-to-Roadside Communications Using IEEE 802.11b/g Unplanned Wireless Networks
Knowledge Based Data Cleaning for Data Warehouse Quality
View from Inside One Neuron
Comparison between Neural Networks against Decision Tree in Improving Prediction Accuracy for Diabetes Mellitus
The Framework of e-Forensics in the Republic of Croatia
Design and Development of Online Instructional Consultation for Higher Education in Malaysia
Cooperative Multiagents Detection and Beamforming with Spherical Array Sensors
Construction and Interpretation of Data Structures for Rotating Images of Coins
Communications in Computer and Information Science: Assumptions for Business and IT Alignment Achievement
Symmetric Cryptography Protocol for Signing and Authenticating Digital Documents
Real-Time Monitoring Environment to Detect Damaged Buildings in Case of Earthquakes
Mobile Services Providing Devices Rating Based on Priority Settings in Wireless Communication Systems
Combination of Wavelet Transform and Morphological Filtering for Enhancement of Magnetic Resonance Images
XML Documents - Publishing from Relational Databases
Simultaneous Image Encryption and Compression Using Modified Huffman Tables
A Fault Tolerant Scheduling Algorithm for DAG Applications in Cluster Environments
Particle Swarm Optimization Based Feature Selection for Face Recognition
Design of a Real-Time Automatic Source Monitoring Framework Based on Sound Source Localization
Tool for Sun Power Calculation for Solar Systems
Electromagnetic Imaging of Discrete Wire Scatterers via MUSIC Algorithm: Preliminary Experimental Results
Evaluation of Low-Power Long Distance Radio Communication in Urban Areas: LoRa and Impact of Spreading Factor
Cooperative Black-Hole Attack: A Threat to the Future of Wireless Mesh Networking
Improving Code-Based Steganography with Linear Error-Block Codes
A Classification-Based Graduates Employability Model for Tracer Study by MOHE
A Public Health Information System Design
Reusability Assessment of Task Knowledge Patterns through Metrics
Developing Parallel Applications Using Kaira
SSQA: Speech Signal Quality Assessment Method using Spectrogram and 2-D Convolutional Neural Networks for Improving Efficiency of ASR Devices
Smart City Services Ontology (SCSO): Semantic Modeling of Smart City Applications
Context-Aware Task Scheduling for Resource Constrained Mobile Devices
Knowledge Based Approach to Software Development Process Modeling
Symmetry Based 2D Singular Value Decomposition for Face Recognition
An Approach for Securing and Validating Business Processes Based on a Defined Enterprise Security Ontology Criteria
Mobile Phone Positioning in GSM Networks Based on Information Retrieval Methods and Data Structures
A JRuby Infrastructure for Converged Web and SIP Applications
Real-Time Feedback and 3D Visualization of Unmanned Aerial Vehicle for Low-Cost Development
Face Recognition Algorithm Using Two Dimensional Principal Component Analysis Based on Discrete Wavelet Transform
Educational Technology Eroding National Borders
Towards a Generic Cloud-Based Modeling Environment
A Comparative Study of Aspect-Oriented and Object-Oriented Implementations: Pervasive System Use Case
Towards Improving the Functioning of CloudSim Simulator
Automatic Classification of Sleep/Wake Stages Using Two-Step System
Capturing Supermarket Shopper Behavior Using SmartBasket
Digital Information Processing and Communications - International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I
Classifying Sleep Disturbance Using Sleep Stage 2 and Wavelet-Based Features
Software-Defined Radio for Versatile Low-Power Wireless Sensor Systems
7th International Conference on Digital Information Processing and Communications, ICDIPC 2019, Trabzon, Turkey, May 2-4, 2019
VANET Security Framework for Safety Applications Using Trusted Hardware
A Bee Colony Task Scheduling Algorithm in Computational Grids
Unpredictable Random Number Generator Based on Hardware Performance Counters
Digitalization of Pixel Shift in 3CCD Camera-Monitored Images
Two-Dimensional Signal Adaptive Processing for Airborne Radar
Using Uppaal for Verification of Priority Assignment in Real-Time Databases
Reducing Alphabet Using Genetic Algorithms
Multimedia Distance E-Learning System for Higher Education Students
Platform for Dynamic Adaptation of Learning Content for Pervasive Learning Environments
Modal Analysis - Measurements versus FEM and Artificial Neural Networks Simulation
Towards New Data Access Control Technique Based on Multi Agent System Architecture for Cloud Computing
Review of Power Quality Disturbances Classification Using Variable Size Detector (V-Detector)
A Quasi-Newton-based Approach to Load Balancing in Coordinated MultiPoint (CoMP) Green HetNets
On the Quality of Service Optimization for WiMAX Networks Using Multi-hop Relay Stations
User Modeling to Build Mobile Advertising Algorithm
A New Approach Based on NμSMV Model to Query Semantic Graph
A Dynamic Reconfigurable-Based Approach for Connectivity Mismatches of Web Services
Automated Text Summarization: Sentence Refinement Approach
On the Multi-Agent Modelling of Complex Knowledge Society for Business and Management System Using Distributed Agencies
Deep Learning for Audio Signal Source Positioning Using Microphone Array
Using Two-Step Modified Parallel SOM for Song Year Prediction
Average Power Consumption Estimation and Momentary Power Consumption Profile Generation of a Softcore Processor
Measuring Students' Satisfaction in Blended Learning at the Arab Open University - Kuwait
A Mitigation Approach to the Privacy and Malware Threats of Social Network Services
Use of Multi-level State Diagrams for Robot Cooperation in an Indoor Environment
Color Image Segmentation Using a Fuzzy Inference System
An Application of Game Theory for the Selection of Traffic Routing Method in Interconnected NGN
Technology Resources and E-Commerce Impact on Business Performance
Analysis of Learning Styles for Adaptive E-Learning
Performance Comparison of Direction-of-Arrival Estimation Algorithms for Towed Array Sonar System