yusuke1997/dblp-id-title huggingface dataset:
A fail-safe redundant architecture for fault-tolerant computing
Operational specification languages
On the selection of secondary indexes
Computational augmentation of blood gas measurements
Collaboratively filtering malware infections: a tensor decomposition approach
The discrete structures course (abstract only): making its purpose visible
The role of fourth generation tools in systems development (abstract only)
The Efficient Use of Buffer Storage
AUTONOTE: A personal information storage and retrieval system
An Overview of the Multidatabase System MRDSM
Implication of computer technology on educational goals
AI the task at hand
Modes of information presentation for the blind programmer
An undergraduate curriculum in expert systems design or knowledge engineering
An automated support environment for CAD system development (abstract only)
Stress management for the computing professional
The human factors of natural language query systems
A Better Approximation Algorithm for the Query Optimization Problem
An automated software design evaluator
IDEA - a conversational, heuristic program for Inductive Data Exploration and Analysis
Join processing and domain indices
Calculators and the elementary school: an idea and some implications
Diagnosing Faults through Responsibility
Concepts of computer-based modeling for consultation in optics and refraction
Programming languages for non-numeric processing - 1: TRAC, a text handling language
Prototype expert system to evaluate risk factor from hazardous substances
Graphical extensions for pseudo-code, PDLs, and source code
Proceedings of the 24th ACM Conference on Computer Science, CSC '96, Philadelphia, PA, USA, February 16-18, 1996
Personal computers in the corporate environment (Panel)
An algorithm to the method of curve fitting by the process of least squares
An Algorithm for Finding the Compact Sets in the Plane
Expansions in the algebra of FP
Graduate education
Preparation of display maps with an electronic computer
Terminal selection for an on-line hospital system
Models (fractal and otherwise) for perception and generation of images
On conventions for systems of numerical representation
The file system of an integrated local network
Cryptography and data security overview of panel discussion
Automated computer card design
Parallel Construction of Minimal Perfect Hashing Functions with Neural Networks
Organizing for computer science education
Automatic Digital Encoding System, II (ADES II)
Intelligent interface for data base design (abstract only)
A Practical Approach to Error Recovery for Multiagent Planning Systems
Preliminary design for POPSY - a POlyProcessor SYstem
Every Computer Programme is Actually a Simulation Model (Abstract)
Computer system performance and evaluation (Paper-Panel Session)
Probabilistic indexing: a statistical approach to the library problem
An Algorithmic View of the Universe
Theoretical clustering and a scheme of its implementation
On the syntactic analysis of figures
A perspective on data base systems in the Federal Government
Some Comments On EQS, A Near Term Natural Language Data Base Query System
The use of sub-routines in programmes
First generation software engineering system: The Ballistic Missile Defense Software Development System
Improved parallel algorithms for the depth-first search and monotone circuit value problems
Principles of design in the octopus computer network
On the Complexity of Parsing in Graph Grammars
Multiprogramming under separate working-set principle
Matrix inversion by partitioning
The Brown University network
A fuzzy-power factor correction (abstract only)
A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications
Efficient Reordering of C-PROLOG
Cost evaluation of storage schemes
Attribute grammar interpretation as a model of computation (abstract)
A system for computer generated movies
Performance modeling and analysis for a large heterogeneous distributed system: UCLA-SEASnet
Simulation of the computer science curriculum at Southeastern Louisiana University (abstract only)
Janus: A data management and analysis system for the behavioral sciences
Use of conditional simulation techniques in assessingpermeability of a compacted clay liner (abstract)
Iterative methods for solution of diffusion problems in r-and-thgr; geometry
Structure of mathematical programming systems
The delivery of education using current technology (Panel)
A flexible reference architecture for distributed database management
User friendly interfaces for data base systems
Design and Implementation of a Real Time Information Storage and Retrieval System
A multiprogramming operating system for the TI980A
Dynamic user profile in information retrieval (abstract only)
NIOSIT: efficient data access for log-structured merge-tree style storage systems
CSNET (panel session): using inter-organization networks to support research and advanced development in computer science
An optimal algorithm for scheduling a computational tree on a parallel system with communication delays
What training does a customer want? need?
Input/output generators in mathematical programming
New directions in office automation research: SIGOA panel
A model for multiparadigm systems
A real time priority scheduler
Philco model 212 computer efficiency through simultaneous operations
Worst-case costs for dynamic data element security decisions
The extension of numerical solutions of ordinary differential equations
NANI: an efficient community detection algorithm based on nested aggregation of node influence
Exploiting the time-sharing environment
Education and training: An auto-instructional text for IBM 1401 programming
Curriculum '80: Recommendations & guidelines for community & junior college curriculum
A multiprogramming stand alone systolic data flow machine (abstract only)
Computing Geographic Nearest Neighbors Using Monotone Matrix Searching (Preliminary Version)
On the overall stability and convergence of single-step integration schemes for ordinary differential equations
Human factors implications of text display rates for computer-assisted instruction
Lease/buy decisions under conditions of for computer acquisition uncertain technological change
Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982
Simulation tools (Paper Session)
How to save money with computer monitoring
Implications Of VLSI On Computer Design(Panel Discussion)
FNF: flow-net based fingerprinting
The non-extendibility of software science (abstract and references only)
Algorithms for paths in the lattice of topologies on finite sets (abstract only)
Rule-Based Query Optimization in IRIS
Buffer management for extensible database systems
A complete mechanization of (Ω)-order type theory
User behavior patterns in the Electronic Information Exchange System
Empirical Validation of a New Structural Measure
CELLSIM: A digital simulation language for cell kinetic modelling
A user-oriented macro processor
An upper bound on the informational capacity of a synapse
Managing the economics of computer programming
Bounds on threshold dimension and disjoint threshold coverings (abstract only)
Representations for a rule based assistant for designing combinational circuits
FORTRAN data base facility
Using an Architectural Knowledge Base to Generate Code for Parallel Computers
A survey of software metrics
Software verification and validation in practice and theory (Position Statement)
A study of 'hard to find' data processing errors (abstract)
A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only)
Cybernetic experiments
Simulation experiments into inventory scheduling in multi-stage systems
Software engineering with standard assemblies
Computer science contributions to learning and teaching (Panel)
Loop tracing in PEP-PERT networks
Computing skyline groups: an experimental evaluation
Fuzzy information processing and robotics research
An implementation scheme for a virtual machine monitor to be realized on user - microprogrammable minicomputers
SPOT: a structured system development system
Security considerations in system design
Automatic programming and compilers I: Data description in the CL - II Programming System
Two-Level Grammars and Robustness in Natural Language Processing
Peer group software reviews in university education for software engineering (abstract only)
An introduction to ADA (Part II)
Computer simulation of irregular shaped lesions in radiographs
A syntax-oriented formal system for defining processes
Data base design using a CODASYL system
Chess programs (editor's note): from basement to marketplace
A generalized method for finding roots of non-linear equations
Application of statistical methods to number theory (Clustering of Primes)
JABR 265
Dialogue management in the personal sequential inference machine (PSI)
The MBA and MIS: The integration of mis and management education
The specifications and design of a distributed workstation (abstract only)
The SCEMP project
Better techniques for developing large scale fortran programs
A numerical solution of the helium wave equation with the SEAC
An expert system for evaluation of sports injuries (abstract only)
A streamlined statistical system for the medical computer center (SPUD)
ADVISER - a program which advises students on courses
The missing clause method and its application to the satisfiability problem
System description for an improved information processing machine
Gatekeeping (abstract): the technology challenge in the medium-sized firm
Computer based conferencing: a progress report
Facilitating the transition from high school programming to college computer science (abstract only)
The long-term impact of technology on K-12 education
ALTAC, the TRANSAC algebraic translator
Robots, productivity and quality
The logical organization of the new IBM scientific calculator
The 'community of learning' model for using computers in education
Education and training: Non-programmed curriculum materials for computer programmer training programs
Testing an integrated circuit for what it should not do (abstract only)
A program stability measure
An experimental comparison of relevance-feedback techniques
Computerization in the liberal arts
Simulation of the hypothesis generation process
Self-Assessment as a precursor to professional development
Robotics (abstract only): self-directed applied research for undergraduates
Interactive graphics enhancements for information retrieval systems
Performance prototyping of data management applications
The numerical solution of extended initial value problems
CLR: coupled logistic regression model for CTR prediction
Computers in the instructional process
Computer-aided investigation in graph theory (abstract only)
The Microprogrammed Controller Concept
Personality and programming: Time-sharing vs. batch preference
Simulation of commercial job stream in a multiprogramming scheduling environment
New Communications For The Office Of The Future (Panel Discussion): Strategies and barriers
Design issues and an architecture for a heterogenous multidatabase system
A solution to a contemporary problem (abstract)
Research trends and activity in the computer sciences, as identified by citation analysis (abstract only)
Computer Science Accreditation and Liberal Arts Programs
Current capabilities of the MACSYMA system
Graphics for effective management decision making
IEEE-488 1978 general purpose interface bus test
From Structured Analysis to Formal Specifications: State of the Theory
An experimental application of cryptography to a remotely accessed data system
A problem oriented computer-based instructional procedure
Numerical applications: organization of a large-scale computer program for space-age geodesy
PASCAL Users' forum
Optimal scheduling of independent tasks on heterogeneous computing systems
On-line computer auditing
META5: A tool to manipulate strings of data
MTR: A Modified Token Ring Protocol and Its Performance
Allegations as aids to static program testing
A model for growth in the intelligent automation industry: case studies in robotics and artificial intelligence
A Simple Balanced Search Tree
Signal and noise in programming language
On initial estimates for computing a 1/p by Newton's method
A Perspective on Ubiquitous Computing
Structured standardization managers' views
Generalized inverse computations using the gradient projection method
A Parallel Pipelined Data Flow Coprocessor
Directions in Programming Languages (Panel)
The operations control center multi-computer operating system
The application of symbolic mathematics to a singular perturbation problem
Triggers and inference in data base systems
Defining the ergonomic buzzwords
High level design automation tools (session overview)
A Service for Remote Computations in a Distributed System (Abstract)
Efficient method for solving atomic Schroedinger's equation
Conjunctive planning problems with constrained goal interactions
Mapping multidimensional space to one dimension for computer output display
A generalized analysis of variance program utilizing binary logic
Recognition of two-dimensional patterns
Mimimal threshold separators and memory requirements for synchronization (abstract only)
A knowledge-base for retrieval evaluation
A step toward quality control in computer programming: Understanding the psychology of the management of computer programmers
DOTSYS III: A portable braille translator
The SDC Time-Sharing System revisited
English as a query language
Impact analysis
A Pageable Memory Dictionary Information Retrieval System
UMPIRE: An automatic Kriegsspiel referee for a time-shared computer
Tide and shock: the influential modern teaching methods on chinese education reform
A novel approach to teaching CS 1 and CS 2
Use of continued fractions in high-speed computing
Recovery of on-line data bases (Panel)
On The Difference Between Natural Language And High Level Query Languages
Neural nets for invariant object recognition (abstract only)
Are we becoming addicted to computers?
Heuristic search in networks with modifiable estimate
Educating a New Computer Scientist (Abstract)
A parallel algorithm for finding crossing numbers of channel routing (abstract and references only)
TIMM - current applications and future developments
A "graphics window" to a data base for electronic system design
Do women fear computers? (abstract only)
Interactive linkage synthesis on a small computer
Fault tolerance analysis of rearrangeable interconnection networks (abstracts)
Historical development of Minnesota's instructional computing network
Effects of Nonsymmetric Release Times on Rate Monotonic Scheduling
Abstracto 84: The next generation
Environmental inquiry and general precision data type features fort he next fortran standard
Programmed word length computer
Predicate Transformers as Homomorphisms on Scott's Information Systems
Formal verification of systolic networks using theorem proving techniques (abstract only)
Frontiers in computer science research
An approach to automating knowledge acquisition for expert systems: annotated traces -> diagnostic hierarchies
Popperian conditional probability functions for expert systems (abstract)
Project management expert system (abstract only)
Experimental evaluation of a multiprogrammed computer system
Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993
An interactive system for page layout design
Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II
A simplified LAN protocol for practicing file transfer, resource locating, and elementary distributed problem solving
Towards Common Sense Planning
Interaction with databases through procedural languages
Computational requirements for control of the Utah arm
The INGRES protection system
SIGPLAN 1: Should high level languages be used to write systems software? (Debate)
The computer professional as an expert witness
Demonstration of a videodisc system for the classroom
Software product assurance (Panel Discussion)
Statistics and computer science: Recent development in BMDP computing algorithms
Implementation of a dynamic tree searching algorithm in a chess programme
Proceedings of the 23rd ACM national conference, ACM 1968, USA, 1968
Modeling and performance evaluation of physical data base structures
Observations on comparing digital systems synthesis techniques
SIGPLAN (Tutorial Session)
Mechanisms for comparing chess programs
Applications programming in a Health Sciences Computing center
An Exact Parallel Algorithm for the Resource Constrained Traveling Salesman Problem with Application to Scheduling with an Aggregate Deadline
Panel on computer education for the management, behavioral, and biological sciences (Session M1)
Measurement of processor occupancy in a cyclic non-preemptive real-time control system
Fast prototyping of a goal-orientedsimulation environment system
The Data Reduction Laboratory-an aid to the space scientist
Graphic time-sharing with real-time data bases
Probabilistic Diagnosis for Sparsely Interconnected Systems
Dynamic derived relations within the RAQUEL II DBMS
Realization of a multi-valued inner product step processor using CCD's (abstract only)
Pattern generation in non-standard tessellation automata
A discussion of machine-interpreted macroinstructions
Artificial intelligence and self-organizing systems: Teaching a digital computer to assist in making decisions
The analytic design of a dynamic look ahead and program segmenting system for multiprogrammed computers
SIGIR(Tutorial Session)
High level aids for data management systems performance
Heuristic search in general tree structures: an average case analysis
Selecting and evaluating the computer workforce
ESPAD: an adaptively controlled rule-based expert system for monitoring and diagnosing space vehicle subsystems
Floating point error analysis
The future of very large data base systems (Panel)
SIGMETRICS Computer system performance analysis
Cognition as a source of selection pressure in the evolution of computer support systems for executives
Use of an amputee-computer interactive facility in above-knee prosthesis research
Innovative techniques for college faculty using the computer in undergraduate curricula
KAOS (abstract only): a knowledge aided operator's system for the VM operator's console
Authoring systems for computer assisted instruction
Computer Related Curricular Changes In Traditional Mathematics
An intelligent system for data base management (abstract)
A small special-purpose data retrieval system
New procedures for rational approximation
A reexamination: Centralized versus decentralized computers in biomedical environments
Curriculum recommendations in computer science (Panel Discussion)
AI in office automation (panel session)
A Parallel Computer System Using Distributed Associative Processing
SIGARCH (Paper Session)
Translation between algebraic coding languages
The role of academe in software engineering education
How to teach structured COBOL to beginners
An Assumption About Computer Security (it ain't necessarily so - Abstract)
Software productivity and quality measurement
Statistical analysis of the effect the initial order of an array has on the performance of a sorting algorithm
A conjugate gradient method based on an exponential model
Program synthesis based on Boyer-Moore theorem proving techniques
Parallel Unit Tangent Vector Computation for Homotopy Curve Tracking on a Hypercube
SIGMICRO (Panel Session)
TurboDOSTM multiprocessor operating system
System optimization: Mathematical programming techniques for optimal computer use
X.400-Based Distributed Application Design Methodology
A tandem queueing model of a time-sharing computing system
Workshop on Academic Careers for Women in Computer Science
Database prototyping and implementation (abstract only)
Performance Evaluation of CISC Computer Systems Under Single- and Two-Level Cache Environments
Applications of error data in software error model validations(Presentation Abstract)
Teaching principles of computer programming
Algorithms for nonlinear problems which use discrete approximations to derivatives
A new abstraction for the study of module interconnection
Surviving the many-person dilemna (abstract only)
EP-2, A prototype Exemplary Programming system
Performance and productivity on unconventional operating systems (panel)
Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only)
The problem in perspective
Grey Tuple Dependency and Grey Relational Algebra
A Linear Programming Approach to Logical Inference
A flexible interactive control structure for rule-based systems
Clipping of Bezier Curves
An optimization problem on the selection of secondary keys
The Map Information Facility - a cooperative federal and private venture in geocoding
Partitions and principles for secure operating systems
Note: Pages 1 thru 501 will be found in volume 1. managing reliable software
Deflation by elementary rotations for the solution of algebraic eigenvalue problems
Potentials and Limitations of Pen-Based Computers
Proceedings of the ACM 1980 Annual Conference, Nashville, Tennessee, USA, October, 27-29, 1980
Portability and Reusability: Common Issues and Differences
Data modeling: order out of chaos
An algorithm to minimally decompose a rectilinear figure into rectangles (abstract only)
On the recognition of information with a digital computer
Proceedings of the ACM 20th Annual Conference on Computer Science, CSC '92, Kansas City, MO, USA, March 3-5, 1992
Proceedings of the 1962 ACM national conference, Digest of technical papers, ACM 1962, USA
Knowledge and reasoning in graph theory research (abstract only)
Translating systolic arrays into instruction systolic arrays
Business and management data processing I: Optimum allocation of research/engineering manpower within a multi-project organizational structure
Ambiguous algorithms (abstract)
A tool for enforcing system structure
Human autobiographic memory simulation
Expert system problem-solving applications (abstract)
Toward better information and analysis support services for the congress
Operations on doubled binary pictures
Programming in natural language: "NLC" as a prototype
Use of Genetic Algorithms for Optimization in Digital Control of Dynamic Systems
A preliminary evaluation of verifiability in Ada
A class of multi-queue problems arising in communication systems
A Prolog System for Case-Based Classification (Abstract)
Programming factors - language features that help explain programming complexity
Topological data models and approximate retrieval and reasoning
The method of resultant descents for the minimization of an arbitrary function
Optimization in a Distributed Processing Environment Using Genetic Algorithms with Multivariate Crossover
A recognition algorithm for pushdown store systems
Computers outside the fishbowl
Logical tool of knowledge engineering: using entailment logic rather than mathematical logic
70's programming style for a developing country programming
Mathematical rigor - a prerequisite for numerical analysis?
PLEASE: Predictable Logic based ExecutAble SpeCifications
Artificial intelligence and the fifth generation, some wrong ways, the correct way (abstract)
Generating environments for programming-in-the-large
A real-time/time-share computer in a research and development environment
The Brown University Student Operating System
SHARE 709 system: a cooperative effort
A computational structure for color perception
The analysis and scheduling of devices having rotational delays
Automatic high-level code generation for expert systems (abstract and references only)
Software Development: Image Processing by Template Polynomials
Invited papers - 3: Observations on time-shared systems
A graphical interface for report specification
Real time information processing II: What is "real" time?
SIGCAS (Panel Session)
Professional development seminars: Business graphics
Numerical analysis I: Function evaluation in unnormalized arithmetic
Software engineering at the University of Dayton (abstract only)
Performance of the V storage server: a preliminary report
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication