yusuke1997/dblp-id-title huggingface dataset:
SIGBDP 7 developing user-oriented business systems(Panel Discussion)
Using Scheme in the Introductory Computer Science Curriculum (abstract)
SICSOFT (Tutorial Session)
An X.500 Prototype to Support Integrated Network Management
Evaluation of relational DBMS's for scientific applications (abstract only)
Design of a recursively structured parallel computer
A security analysis of VAX VMS
GMM-PAM: A Genetic Multilevel Multicategory Perceptron Associative Memory
A time-sharing budget control system
Convergence of approximating polynomials
Construction and use of subroutines for the SEAC
Reducing line clutter in software engineering diagrams
System performance measurements and evaluation (Panel Session)
Reducing the bandwidth of sparse symmetric matrices
On-line data analysis and graphics using BASIS-70
A Utility For The Generation Of A Preliminary Data/Dictionary Directory
Forms-based automatic program generation
Can present methods for library and information retrieval service survive? (Panel)
File organization for aerial photography
The design of a packet capturing system for measuring IEEE802.5 Token-Ring performances (abstract only)
University of Maryland student scheduling algorithm
Modification operations in data base machines: where are they?
A variational approximation for sturm-liouville problems
The langley research center remote computing terminal system: Implementation and first year's operation
Interactive instruction simulation on and of the Datapoint 2200 computer
A multiple cooperating intelligent agents project progress repost
Toward more efficient and flexible expert systems via database design (abstract only)
Preprints of papers presented at the 13th national meeting of the Association for Computing Machinery, ACM 1958, Urbana, Illinois, USA, June 11-13, 1958
The evolution of a language standard: MUMPS in the 1980s
On Algorithms for Operative Diagnosis of Systems (Abstract)
Ada projects for undergraduates
Real time information processing I: Direct Data Supervisor
Requirements for Machine Learning in Expert Systems (Abstract)
Isolation of control malfunctions in a digital computer
A Message Priority Assignment Algorithm for CAN Based Networks
DART: Expert systems for automated computer fault diagnosis
Introduction to session R2 (session overiew): advanced computer architectures
ROBOTICS: A Hands-On Introduction to Hardware (Abstract)
SIGGRAPH (Papers and Panel Session)
A note on computational studies for solving transportation problems
An active hypertext path mechanism in a cooperative problem solving environment (abstract only)
Issues in design data management (Panel Session)
New strategies for complete game trees
A Graphical Methodology for Concurrent System Design
Network resilience of star graphs: a comparative analysis
Implementing semantics of object oriented languages using attribute grammars
Application of unilateral and graph techniques to analysis of linear circuits
Schema Integration for Multidatabases Using the Unified Relational and Object-Oriented Model
Estimation of the cumulative by fourier series methods and application to the insertion problem
Demonstration of interactive symbolic and algebraic manipulation systems (Panel Session)
Numerical analysis I: Partitioned Polynomials - an approach toward equilibrium between accuracy and speed in primary mathematical functions
Simulating musical skills by digital computer
Current and future tools for debugging
Datavis: a visual programming language for scientific visualization
New merge sorting techniques
Execution and processing time in computer performance measurements
On-line information retrieval
Application of the entity-relationship model to picture representation (abstract only)
Programming a digital simulation model of a freeway diamond interchange
Random access file organization for indirectly addressed records
Software fault tolerance in real-time embedded systems
Logic programming and databases
A Paradigm for Distributed Debugging
XCP: an experimental tool for managing cooperative activity
The porting of XINU to the system 370 VM/CMS environment (abstract only)
Predicting success of a beginning computer course using logistic regression (abstract only)
Natural language processing in a Japanese text-to-speech system
Employment Contracts and the Mobile Employee (Panel)
Applications of relational data structure models in man-machine systems
An evaluative approach in adapting diagnosis expert system (abstract only)
Employing A Deaf Programmer
Characteristics And Problems Encountered In Different Database Applications (Panel Discussion)
Computer simulation of computer system performance
Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981
Information retrieval I: Keyword in context (KWIC) indexing on the IBM 7090 DPS
Computer-based educational communications at the University of Michigan
A Graphical Interface for Analysis of Communication Protocols
An integrated object-oriented development approach by object relationship abstraction (abstract and references only)
Analysis of storage structure performance for multiple data processing activities
A data base language for FORTRAN
Computing the Future: Whither Computer Science and Engineering?
Pixel preference
The use subroutines on SWAC
Textual materials for courses in computers and society (SIGCAS)
Stability and distributed scheduling algorithms
Module: An encapsulation mechanism for specifying and implementing abstract data types
Social implications of artificial intelligence
A study of Ostrowski efficiency for composite iteration algorithms
Designing an interactive facility for non-programmers
Computing minimum spanning trees efficiently
NO VALU: a program to compute missing values in a designed variance analysis
Parallel Integer Goal Programming
Implementation consideration for machine translation
The command interpreter and command language design of the com-share COMMANDER II system
Computers in the service of man: The computer professional in an alien subculture
Educational Issues In Software Engineering
The impact of dependence cycle statement ordering on the performance of parallel loops (abstract and references only)
Computing in the community colleges - fact and fancy
Should high level languages be used to write systems software?
That really is a hard problem you've spent six months working on: A tutorial on NP-complete problems
Computing at the Information Sciences Division, Rockland State Hospital
The design of a distributed kernel
Microprogramming revisited
State table analysis of programs in an algo-like language
Object CHILL - An Object Oriented Language for Systems Implementation
Research on quantitative quality evaluation method based on double cycles
Numerical quadrature of discontinuous functions
A semantic model for a language processor
Language concepts using dynamic and distributed objects
The design of a PDL environment
College guidance counselor (abstract only)
Publication only
Implementing knowledge bases on secondary storage (abstract only)
Group cohesiveness and software productivity (abstract)
Software Engineering tutorial
META II a syntax-oriented compiler writing language
Adaptive approaches to structural software testing (abstract only)
A probabilistic similarity index between binary vectors for questionnaire data analysis (abstract only)
A distributed measurement technique for an operating ethernet network (abstract only)
Contraction map methods for discrete rational Chebychev approximation
Analysis of constructed mathematical responses by numeric tests for equivalence
The IEEE Software Engineering standards process
Android digital forensics: data, extraction and analysis
Technology for the handicapped: where do we go from here?
OOSPEC: An Executable Object-Oriented Specification Language
An aposteriori computer security system to identify computer viruses
An Evaluation of a Client-Server Real-Time Database System
Measuring Data Locality in Internal Sorting Algorithms
Parallel merge-sort algorithms on the HEP
Application of cognitive dissonance in the teaching of FORTRAN IV in an unstructured setting
Medical information systems integration (Panel Discussion)
An interactive computer graphics algorithm for fitting model on minimum and non-minimum phase responses
Improving Opening Book Performance Through Modeling of Chess Opponents
Factored Specifications In The Synthesis Of LISP Functions
Integrating small computers within a conversational time-sharing environment
Towards a definition of structured programming
An integration of two language understanding methodologies
The selenium rectifier: a non-linear and assymetric resistance element
Terabytes >> Teraflops or Why Work on Processors When I/O is Where the Action is? (Abstract)
A Decompositional Approach to Database Constraint Enforcement
Performance evaluation of concurrent systems using timed petri nets
Critical analysis of data on tenants in low-rent government housing
Iterative relaxation methods for image reconstruction
Examining the problems of computer-based anxiety: a systemic approach
Simulation techniques for the test and evaluation of real-time computer programs
Microcomputer based expert systems: a survey of users
Software for mathematical programming
The PML-Tree: An Efficient Parallel Spatial Index Structure for Spatial Databases
The effect of selected variables on the learning of some computer programming elements
Query Processing and File Management Issues in Partitioned Databases (Abstract)
A heuristic approach to scheduling assignments for the purpose of evaluating school floorplans
Autocheck program, program to check validity of printed circuit cards and circuit usage
Man-machine communications in the biological-medical research environment
Proposed curriculum for programs leading to teacher certification in computer science
Production probability estimators for context-free grammars
Computer graphics: An aid to management in the Federal Government
Computer simulation of psychologists' decision-making
Procedures for submission and processing of jobs
Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990
The Oak Ridge Automatic Computer
Computer aids to medical diagnosis - problems and progress
Structured Programming in Macintosh Assembly Language (Abstract)
The ACM and standardization
The mental abilities associated with programming aptitude
Certification for the computer professional - individual preparation strategies
Artificial Neural System for Gene Classification Using a Domain Database
Critique of SIMAN as a programming language (abstract only)
CHECKR: an efficient table-driven facility for input record data validation
On partial differential equations with irregular boundaries
A user-oriented approach to systems design
A Parallel Compilation Technique Based on Grammar Partitioning
An Optimal Linked List Prefix Algorithms on a Local Memory Computer
RANDCOM: a method for generating random combinations efficiently (abstract only)
Design criteria for a PC-based common user interface to remote information systems (abstract only)
Structural analysis in machine translation
The method of reduced matrices for a general transportation problem1
Tuning the IMS data base management system
Use of SNOBOL4. as an interactive language for artificial intelligence research
Computers in Hollywood
Applying Statistical Physics to Performance Analysis of Large-Scale Computing Systems (Abstract)
Boundary Analysis in the Instructional Footprint Model: An Implementation in Linda
CAI programs at the University of Minnesota
Engineering applications I: Application of the adjoint system of differential equations in the solution of the Bang-Bang Control problem
Self-organizing scheme for file storage
Functional path analysis: an approach to software verification
Programming languages considered as abstract data types
Bringing algorithms to life
A Multi-Theory Constraint Satisfaction System
Semantics in Object-Oriented Data Models (Abstract)
Undergraduate education
A Proposed Masters Degree In Software Engineering
Useful applications of international event analysis
A threshold selection language
Distributed file access (session overview)
A new parallel multiplication algorithm and its VLSI implementation
The functional design of a generalized vehicle flight simulation program
Conceptual design for automatic test system simulator
A Parallel Algorithm for the Minimum Spanning Tree on an SIMD Machine
The Globalized Growth of the ACM Scholastic Programming Contest (abstract)
On the application of data abstraction facilities
On pre-conditioning matrices
On making a theorem for a child
An example of program in the form of abstract machine
Requirements for natural language fact retrieval
Assisting network users with a network access machine
Advances in communications (abstract): implementing the X.400 standard
ADVISOR - an expert system for student advisement
Automatic programming for real-time computers
Design Automation in a computer science curriculum
Textile Graphics/Computer Aided: A course taught at the Fashion Institute of Technology
SYNVER: A system for the automatic synthesis and verification of synchronization processes
HQL: a set-oriented transaction language for hierarchically-structured data bases
Extended D-Timed Petri Nets, Timeouts, and Analysis of Communication Protocols
Evaluation of situational case-based teaching technique in engineering education
Computer graphics support of a new era in flight test ground stations (abstract)
Increasing Concurrency Through Optimism: A Reason for HOPE
Modeling the binding policies of programming languages
Performance models of parallel and distributed processing systems (abstract)
The Numerical Control Information utility: Concepts and considerations
Minicomputer systems in business (Panel Discussion): what are the limiting factors?
The future of commercial computing
A scheme-driven natural language query translator
Interactive graphical spline approximation to boundary value problems
The computing machine: slave labor in a free society?
A heuristic procedure for distributed computer system design
A dynamic programming approach to sequencing problems
Simultaneous presentation in text generation (abstract only)
Teaching speech to the deaf: can a computer help
Data structures in Ada (Panel)
Hardware measurement device for IBM system/360 time sharing evaluation
Invited papers: A Monte-Carlo approach to the approximate solution to sequencing problems
A Formalism for Specifying Communicating Processes
The seventh generation
Distributed skyline trajectory query processing
Turing the Man
Intelligent computer-based instruction
A technique for precise computation with factorials in a digital computer
On the number of pairs of orthogonal cliques of a graph
Knowledge representation and inference control of SPERIL-II
Visualization in Network Topology Optimization
The Lattice Security Model In A Public Computing Network
Automating the systems development process
Proceedings of the 19th annual conference on Computer Science, CSC '91, San Antonio, Texas, USA, March 4-7, 1991
Variable metric and conjugate direction methods in unconstrained optimization: recent developments
Ansi basic - the proposed standard
Assist: a self modifiable assembler for instructional purposes
Use of statistical techniques in Personal Retrieval Systems
Soothsayers of the electronic age
Implementing first order logic in Modula-2 using an intuitionistic approach
Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985
Postscript, Bezier Curves, and Chinese Characters
An implementation method of multi-viewing on an engineering workstation
High level languages processor architecture
Computer Aids for the fabrication of large microprogram Read-Only Memories
Computer Science Core Curriculum And Mathematics
The current state of proving programs correct
Permutations for parallel algorithms (abstract)
Characterization algorithms of binary pictures
The L* data language
An intelligent tutor for high-school algebra
The ISO Reference Model of Open Systems Interconnection: A first tutorial
A synchronization algorithm for distributed systems
Some techniques for minimizing and optimizing the rule base of an expert system
Logical or non-mathematical programmes
Yet another conversational programming language - BPL
Computer education for pre-college teachers (Panel Session)
The progression of realism in computer generated images
Rule-based computational DBMSs
Crowdsourcing-based wifi fingerprint update for indoor localization
ISCS - an intelligent system configuration shell (abstract)
A statistical model for the search problem
Automatic information retrieval (Tutorial and Panel Discussion)
A genetic theory of scientific development
Proceedings of the 1977 annual conference, ACM '77, Seattle, Washington, USA, October 16-19, 1977
Is there a unified package for business applications?
The integrity subsystem of a distributed database system for workstations
The complexity of loop programs
The Architecture of a Heterogeneous Distributed Database Management System: The Distributed Access View Integrated Database (DAVID)
Direct Execution In A High-Level Computer Architecture
The evolution of an integrated testing environment by the Domain Testing Strategy
Exploiting contention and congestion aware switch allocation in network-on-chips
An axiomatic foundation of Dempster-Shafer theory
Local networking by ring, ethernet, broadband, and PABX - perspectives from the field
On the identity of decision support systems (abstract only)
Test data generation tutorial session chairman introductory remarks
CADIS (abstract only): a kernel approach toward the development of intelleigent data management support for computer-aided design systems
Elements of a software quality control program
The test language dilemma
The National Software Works: A distributed processing system
Panel on Content-Based Image Retrieval Systems (Position Paper)
Supercomputers: Challenges to designers and users
Programmed restarts
Effectiveness of paradigmatic approach in teaching programming
Secure use of personal workstations and local area networks
U 2 RS: an upgradable universal relation system
Qualitative reasoning about fit (abstract only)
A Generic Framework for Distributed, Cooperating Blackboard Systems
Robots and their impact on employment
Towards a person-centered computer technology
A paradigm for search algorithms (abstract)
Computers in the Workplace (Panel)
Statistics and computer science: Problems in statistical computing of interest to computer scientists
A system architecture for compile-time actions in databases
Engineered computer language (abstract): beyond structured programming
VM/370 security retrofit program
A Chebyshev method for the numerical solution of the one-dimensional heat equation
Checkpointing strategies for database systems
A rule-based computer program for advising physicians regarding antimicrobial therapy selection
Scheduling in systems with two scarce resources
The Federal Computer Professional In The 1980'S: Impact of the president's reorganization project
Data base technology
Transformations and distortions tolerant recognition of numerals using neural networks
Latin squares and magnetic-core matrix storage
Experimental validation of a structural property of Fortran algorithms
A WYSIWYG literate programming system (preliminary report)
Fuzzy Logic, Neural Networks, and Evolutionary Computation, IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995, Selected Papers
Fuzzy Associative Memory System and Its Application to Multi-Modal Interface
The Design of Hybrid Fuzzy/Evolutionary Multiobjevtive Optimization Algorithms
Genetic-Fuzzy Systems for Financial Decision Making
Investigation of Stability and Robustness of a Fuzzy Traction Control System
Hybrid Connectionist Fuzzy Systems for Speech Recognition and the Use of Connectionist Production Systems
Knowledge-Based Rules for Control of the Sake (Ginjoshu) Making Process and Their Application in Fuzzy Control
Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms, IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 18994, Selected Papers
Recurrent Fuzzy Logic Using Neural Network
Fizzy-Fuzzy Inferencing
A Generic Fuzzy Neuron and Its Application to Motion Estimation
Numerical Coding and Unfair Average Crossover in GA for Fuzzy Rule Extraction in Dynamic Environments
A Genetic Algorithm for Planning Coal Purchase of a Real Electric Power Plant
Fuzzy Gaussian Potential Neural Networks Using a Functional Reasoning
Genetic Algorithms for the Development of Fuzzy Controllers for Mobile Robots
New Approaches on Structure Identification of Fuzzy Models: Case Study in an Electro-Mechanical System
Structure Identification of Acquired Knowledge in Fuzzy Inference by Genetic Algorithms
A Neuro-Fuzzy Architecture for High Performance Classification
Multi-layer Perceptron Design Using Delaunay Triangulations
Experimental Study on Acquisition of Optimal Action for Autonomous Mobile Robot to Avoid Moving Multiobstacles
A New Approach to Genetic Based Machine Learning and an Efficient Finding of Fuzzy Rules - Proposal of Nagoya Approach -
"CAM-BRAIN" ATR's Billion Neuron Artificial Brain Project - A Three Year Progress Report
Information Aggregating Networks based on Extended Sugeno's Fuzzy Integral
A Framework for Studying the Effects of Dynamic Crossover, Mutation, and Population Sizing in Genetic Algorithms
Unsupervised/Supervised Learning for RBF-Fuzzy Systema - Adaptive Rules, Membership Functions and Hierarchical Structure by Genetic Algorithm -
Acquisition of Fuzzy Rules from DNA Coding Method
A Neuro-Money Recognition Using Optimised Masks by GA
A Fuzzy Classifier System That Generates Linguistic Rules for Pattern Classification Problems
An online algorithm of energy-efficient and interference suppression beamforming for cognitive MISO-OFDM interference channels
Improved residual resampling algorithm and hardware implementation for particle filters
Universal filtered multi-carrier transmission with active interference cancellation
A Contract-Based Incentive Mechanism in RF-Powered Backscatter Cognitive Radio Networks
Depthwise Separable Convolution based Lightweight HSRRS Image Classification Method
Adaptive SVM-based Beam Allocation for MmWave Small Cell Networks
Construction of LDPC Codes Based on Deep Reinforcement Learning
Experiment verified physical-layer collision separation of passive UHF tags
Multiuser power allocation for OFDM-based cognitive radio network
Low-complexity detection algorithms based on matrix partition for massive MIMO
Analysis of SFR's impaction on delay time based DMMAC for VANETs
All Integral Points Satisfying Linear Rank Inequalities on Four or Less Variables are Representable
Reconciliation of continuous variable QKD using Gaussian post-selection and systematic Polar code
Co-channel Modulation Recognition Based on Deep Learning
Noise Performance of Orthogonal RF Beamforming for Millimetre Wave Massive MIMO Communication Systems
Modeling for spectrum handoff based on secondary users with different priorities in cognitive radio networks
Dynamic Beam Hopping of Double LEO Multi-beam Satellite based on Determinant Point Process
Signal strength assistant grouping for lower hidden node collision probability in 802.11ah
Topology-based automatic 3D modeling from multiple images
Dynamic Power Allocation in NOMA-Based Federated Learning System
Switching Time Optimization for Time-Division Multiplexing-based Wide-band Channel Sounding
Effective capacity region of two-user opportunistic spectrum access in fading channel under discrete transmission rate policy
Fast Fractional Programming for Multi-Cell Integrated Sensing and Communications
Energy-saving cross-layer optimization for multihop cognitive networks
Performance analysis of non-regenerative relay assisted NOMA system
A unified linear MSE minimization MIMO beamforming design based on quadratic matrix programming
Energy-efficient optimization for physical layer security in large-scale random CRNs
Joint Channel Estimation and Classification for Task-Oriented Communications
Hybrid precoding for millimeter wave massive MIMO with analog combining