yusuke1997/dblp-id-title huggingface dataset:
Some experiments in man-machine interaction relevant to computer assisted instruction
Towards a canonical form for computer programs
The adaptability of Ada as a language for expert systems (abstract only)
Deadlock prevention in message switched networks
An architecture for fault tolerance in database systems
Microprocessor architecture history (panel session)
Parallel processing and data driven implementation of a relational data base system
A C++ Tutorial
An expert system to software specification
Preparing a team for the ACM scholastic programming contest (panel session)
Evaluation of computer and network security systems
The family binary tree
Microprogramming for probability distribution sampling
Intelligent tutoring systems (abstract only): an interactive approach to learning
Automatic programming: Automating the software system development process
Chebyshev polynomials in the solution of large-scale linear systems
A solution to the hidden surface problem
Shanghai Econometric Model (SHECMOD) and Computer Applications
Computer utilities and the ESS: Accommodations or intimidations
Invited papers - 1: classification in information storage and retrieval
The changing role of the university computer center (abstract only)
The changing role of the EDP manager
Defeasible reasoning with conceptual graphs (abstract and references only)
Multi-media document representation and retrieval
From the perspective of teaching scheme: cultivating and training undergraduates driven by engineering education accreditation
An Extended Type Generalization of Standard ML Polymorphism (Abstract)
Effects of secondary storage I/O contention on the performance of an interactive information management system
A syntax directed approach for handling natural language relations
Complex Reasoning in Natural Languag
Machine-made analytic solutions of finite state Markov processes
Perceptions of Missouri Secondary and Area Vocational School Computer Teachers Toward Trends of Computer Hardware and Software Technologies by Year 1995 (Abstract)
Approximate classification using conceptual clustering
SIGMOD(Paper Session)
Tramp: An interpretive associative processor with deductive capabilities
Future software development management system prototype
The MIX computer as an educational tool
Computers and medical practice
A journalistic explanation facility for an expert system shell (abstract only)
An inexpensive device for pictorial input and output
The interactions between operating system paging algorithms and database buffering algorithms
Recovery scenario for a DB/DC system
Computer people and their attitudes toward computerization: A social survey of the ACM'70 Conference
Program Structure and Clarity (Abstract)
Using new technology for systems documentation: Specifications for an on-line documentation system for the paperless office
An on-line image processing system
Security analysis of Bloom filter based multicast forwarding
Gest implementation
The goal structure of a socratic tutor
The theoretical distribution of the Goodman-Kruskal statistic (abstract only)
ACM conference paper the MUSP statistical system
On applications of generalized splines and generalized inverses in regularization and projection methods
A design for a parser for English
A Detailed Database Statistics Model for Realtional Query Optimization
The data processing Curriculum of the National Technical Institute for the Deaf: A suggested implementation for an AAS degree program in computer programming
Design of a test plan and its test cases for a translator
Computer technology for the realistic calculation of properties of enzyme systems
Evaluation of scientific computer systems
Engineering applications II: Phase plane studies by use of digital computers
Microprocessor control of customer premises telecommunications equipment
QUEASY: The design and implementation of a management information system for casual users
SIGSIM (Panel Session)
Testing Object-Oriented Software Systems
SIGSOC (Paper Session)
The impact of a computers and society course on student perspectives
SGISL: A Distributed Computational Environment Supporting Environmental and Ecological Research
Retailing computer technology to the uninitiated consumer: the case of computer applications transfer in local governments
Mirager, the "best-yet" approach for horizontal microprogramming
Time-shared program testing
Message design - graphic display strategies for instruction
Educational experiences in industrial software engineering
Computerized coding of the medical problem statement
A multi-level code processor
BOP - An approach to building optimization
Higher Radix Hypercube as an Interconnection and Virtual Network
Fundamentals of stored program control of telephone switching systems
Cache memories: A tutorial and survey of current research directions
Error checking with pointer variables
Converting a C pointer to an Ada access type
SARA in the design room
An abstract formulation of data processing problems
Real time information processing II: Automatic error recovery in the Nike-Zeus guidance computer
Development of a parallel algorithmic language (abstract only)
The ULowell dataflow project
Learner-controlled course on the TICCIT system
On the size of modular numbers
Information retrieval II: The chaining technique for associative sentence retrieval
Structured techniques for IMIS (Integrated Maintenance Information System) software development - a case study
A Monitoring Approach to Active Project Management
Procedures and policies on use of and rates charged for computing center facilities
"The technical issues confronting Ada"
The National Science Foundation and Support for Research and Education in Computing
Data base or data maze? An exploration of entry points
Debunking the "expensive procedure call" myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO
Proceedings of the 1952 ACM national meeting (Pittsburgh), ACM 1952, Pittsburgh, Pennsylvania, USA, May 2, 1952
Programming in evolving distributed environments (abstract)
Computer graphics, an international report
Modern educational techniques - high tech and the traditional approach
Long-range planning in computer chess
1981 A.C.M. annual conference position paper computer crime laws and the computing professional: What you don't know hay hurt you
Fuzzy Logic Based Non-Parametric Color Image Segmentation with Optional Block Processing
SIGMAP/SIGSAM/SIGNUM(Paper Session)
A Course for the Nonmajor: Teaching Collaborative Problem Solving via the Classical Computer Science Space-Time Tradeoff
Systemware: a technique for digital emulation and interfacing
The purpose and promise of logic programming
Machine organization for multiprogramming
Automatic programming and compilers III: On the efficient construction of automatic programming systems
Problem Solving using microcomputers
Functional requirements for very large knowledge bases
Indirectly Supervised Natural Language Processing
The MECCA system - a modified list processing application for library collections
Factors influencing business data processors turnover - a comparative case history
Decomposition of a relation scheme into Boyce-Codd Normal Form
Cotools: A Tool Composition Mechanism for Object-Based Environments
Kill two birds with one stone: Teach procedural query languages
Reconsideration of a theorem on admissible ordered search algorithms
SIGPLAN(Paper Session)
Interactive loop interchanging: a facility for tuning sequential programs to parallel architectures
Professional development seminars: Design review methodology for a data base environment
Computers and privacy: What price analytic power?
Probabilistic interference for variable certainty decisions (abstract)
The use of computers in message switching networks
Some recent research on ultrasonic propagation in solid media
A host computer system for software development
Towards an Interaction Level for Object-Oriented Geographic Database Systems
Algebraic Evaluation of Disjunctive Deductive Databases
Selection processes and their relation to automata
Folding a Simple Polygon: A Paradigm for Computational Geometry
Diet: A data independent system for medical applications
Investigating a new vocabulary-length equation (abstract)
Documentation for in-house sharing of software
Using coursera clickstream data to improve online education for software engineering
Decision support systems: a rule-based approach
Unaffiliated papers (Paper Session)
Analysis of Rule Sets Generated by the CN2, ID3, and Multiple Convergence Symbolic Learning Methods
Evaluating computer graphics systems organizations
Automatic formation of a "machine theory" representing a mapping
Computer generated narrative description
K-lossless sequential machines of maximum order
Design of a polyphase sort (abstract)
The Operational Semantics of an Active Message System
Computer graphics at a large IBM installation
Challenges to state information systems
Videodiscs and microprocessors the issue of useability
A Fortran language anticipation and prompting system
Mandating Minimal Requirements for a Computing Professional: Corporate Standards, Certification, or Licensing? (Abstract)
Nonprocedural data system languages
Information retrieval: the Chemical Abstracts Service computer based chemical information processing system
Incremental conceptual clustering from existing databases
Modular cube-connected cycle architecture for efficiet image processing (abstract and references only)
Generalizations of boolean query processing
Design and implementation of a relational database on a minicomputer
TABSOL: A decision table language for the GE 225
Tube terminology and style
A flow oriented computer system simulation language
Extensions of pushdown automata and Petri nets
Improving the design of user interfaces through rapid prototyping (abstract only)
Fringe analysis of binary search trees with miniml internal path length
A structure for interprocess communication in a data communications handler
Software debugging: the virtual machine approach
Designing computer circuits with a computer
Lexical analysis using table look-up (abstract)
Nonlinear switching elements
Supply and Demand for Computer Science PHDs (Abstract)
Information science (abstract and references only): managing the software lifecycle
Formal properties of sequential/parallel matrix languages
Social implications of intelligent machines
A framework for thinking about personal computers and artificial intelligence
Trigrams as Index Element in Full Text Retrieval: Observations and Experimental Results
An efficient algorithm for computing powers of triangular matrices
An approach to exploiting a database as a frame-like knowledge base (abstract)
Attitude determination for the TIROS satellites
Petri nets, state machines, and deadlocks (abstract and references only)
An analysis of concerns of college instructors in a computer science retraining program (abstract)
Software engineering (Part II)
Strategies and interfaces
Distributed programming languages
An introduction to network computers
SIGOPS/SIGMINI(Paper Session)
Computing and the disadvantaged
Translating data base procedures
Flow Network Reduction for Unique Topological Ordering
A programming aid for structured programmers
Adult computer competence
Accreditation of small college computing programs(panel session)
Software engineering for distributed applications (abstract)
On the machine conversion of B5500 Algol to CDC 6000 Algol
The QuickRing Network
A set-oriented parallel execution model for Prolog
The TDIP System
Some Open Problems In Cryptography
A proposed non-procedural programming language for structured system development
Numerical applications: updating the product form of the inverse for the revised simplex method
A mini-computer network for support of real time research
Case studies on the implementation and use of database management systems: Installing the first database application
The role of representation in artificial intelligence(Tutorial Session)
TOP-DOWN systems design
Parsing in a multiprocessor environment (abstract only)
The Role of OOP in the Undergraduate Curriculum Workshop Recommendations
Flight recorders and aircraft safety
Quality Circles in three data processing organizations
General computer education
The structure of "data structures"
Matching Interval-Valued-Argument Propositions in Rule-Based Systems
Rounding error in evaluating continued fraction expansions
Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973
Structured programming environments (abstract only)
The generative approach to software development
The design of an applications development system for a laser videodisc workstation (abstract only)
Digital simulation of discrete flow systems
Abstract Personal Communications Manager (APCM)
Plan for the Development and Implementation of the ACM Computer Science Curriculum for High Schools
Magnetic binaries in the logical design of information handling machines
Questioning Ubiquitous Computing
Extended polynomial algorithms
Invited papers: Information processing in military command
The MITRE corporation
Memory allocation in paging systems
Solutions for incompatibility in multiple media data processing
Run-Time Design for Object-Oriented Extensions to Pascal
A decomposition algorithm for integer programming problems with many columns
"Towards a Theory of Recursive Processors"
A topological algorithm approach to the problem of DNA mapping (abstract only)
Integrating knowledge in problem solving search procedures
Convex polygon cover problem (abstract)
Design considerations for a computer-based clinical physiologic research system
Current research in computer science (Research Session)
A general purpose data base design
Human and Machine Intelligence
Prosodic generation research
Those magnificent men and their computing machines
SLANG a problem solving language for continuous-model simulation and optimization
The Promise of Multiparadigm Languages as Pedagogical Tools
Performance evaluation of CCD chip organizations from memory system design viewpoint
On the logical design of formal mixed languages
Loom-constrained designs: An algebraic solution
Static magnetic memory: its applications to computers and controlling systems
SHAPE: a highly adaptable and parallel system
Proposal For A Shared Resource Computing Utility
Data base system objectives as design constraints
Computer Aided Turbine Blade Surface Design
UIG: the User Interface Generator
A communication structure to implement a multi-microprocessor computer architecture
Control structures in programming languages - part-I (Panel Session): "The state of the art"
Generalization of learning in a machine
Rectangular meshes: Their uses and control in computer-produced architectural schemes
A transistor operational d.c. amplifier
Computers in communications and education at Coast Community College District
CP/M development system (abstract only)
Similarity and entropy
Structured systems analysis tutorial
TRACE - III: An implicit programming system for inductive data analysis
How does web-based virtual reality affect learning: evidences from a quasi-experiment
On-line textile designing
Proceedings of the 24th national conference, ACM 1969, USA, 1969
Towards knowledge-based robotics systems
Pen Computing: the New Frontier (abstract)
Acquisition and Representation of Knowledge on the Level of Programming Language for Automatic Programming
Status of graduate software engineering education
Invited papers: The legal implications of the computer revolution
An automatic abstracting program employing stylo-statistical techniques and hierarchical data indexing
The Use of Fractals in Visualizing Iterative Techniques from Numerical Analysis (Abstract)
Tree structures construction using key densities
Software Blueprints
Quantitative Assessment of the Software Maintenance Process and Requirements Volatility
Community recreation planning by computer simulation: Golf in GPSS
The public planning information system and the computer utility
Operators for modifying polyhedra
Retirement savings plan advisor: a knowledge-based expert system for tax deferred savings investing
A Report On The Development Of Gypsy
Improving word processing - data processing relationships
Problems with software complexity measurement
Application generators: Ideas for programming language extensions
High Pressure Steam Engines and Computer Software (Abstract)
Real time information processing I: Techniques for multi-level programming with real time constraints
Parallel Sieve Algorithms on a Hypercube Multiprocessor
An analysis of advanced C.S. students' experience with software maintenance
Invited papers - 2: recent computer developments in Great Britain
Design and application of classroom instruction information pro cessing system (abstract)
Towards conceptualisation of physical object propositions (abstract only)
Exvis: The Exploratory Visualization Tool (Abstract)
End-User Knowledge Manipulation Systems: The Speech Knowledge Interface
Delivering the word - integrating publications technologies
A computer based model of life transitions
The problems of programming and the design of programming languages
Programming languages for non-numeric processing - 2: An extended ALGOL based language
A program testing system
On the use of personal computers in teaching the principles of concurrent processing (abstract only)
Automated double oral auction using I.B.M PC network (abstract)
The evolution of specification techniques
A method of computing shock waves
Simulation of simple computation over a product of several complex number fields (abstract and references only)
Computer architecture (Panel Discussion): trends and alternatives
Computing applications as social experimentation
Improving rule processing in Postgres database management system
Extensible pattern matching in SNOBOL4
Loop constructs - a design for Fortran
An empirical study of the use of problem reduction as a paradigm for problem solving in software engineering
On bi-level conceptual schemas
Issues in the management of microcomputer systems
SIGSAM 2-Symbolic mathematical systems (Part II) and methods for symbolic and algebraic computation (Tutorial and papers)
A procedural approach to pattern matching in SNOBOL4
The Point-Range Tree: A Data Structure for Indexing Intervals
A Probabilistic Dynamic Load Balancing Algorithm for Homogeneous Distributed Systems (with extension to hypercubes)
Proceedings of the 26th ACM annual conference, ACM 1971, USA, 1971
Artificial intelligence and software engineering: The Programmer's Apprentice project
Software requirements in the 80's
MTEEP: mechanical transmission element expert system
Design automation in ship detailing
An expert system for check routing (abstract and references only)
A descriptive model for the design and implementation of computer systems
Aspects of computation
Integrating uncertainty into a language for knowledge based systems
Automatic synthesis - programs and plans
More design data for stack architectures
Adaptation of an algorithm by serra to astronomical images: smoothing and finding stars
An excellent mixture for PSI: Computer science, PLATO, knowledge levels
"Software Piracy and protection"
Assignments and high level data types
CART: A Computer Aided Reengineering Tool Based on Business Value Complementarity Theory
An experimental distributed microprocessor-based knowledge base system (abstract only)
Issues of complex health systems (Panel)
Nonparametric Methods for Automatic Classification of Documents and Transactions (Abstract)
An experimental vehicle for the user/filing-system interface
The delay of synchronous logic nets
Functionality in the reusability of software
Numerical parametric integration of continuous functions with a singular derivative
An approach to benchmarking terminal oriented systems
IMT-RB/ED: A System Based on Multi-Reorganization (Abstract)
TPS (abstract): a tool for communicating software requirements
Query using inferential processing implemented with inverted hashed files
Teaching Ada to beginning programmers (abstract)
CONSIM(Conflict Simulator): Risk, cost and benefit in political simulations
Computer-based readability indexes
VLSI design process
How intelligent agents will interact with software ecologies
Risks, Responsibilities, and the Future: Walking the Tightwire
Finished musical scores from the keyboard: An expansion of the composer's creativity
Translation of artificial languages by compiler programs: research report and design for future languages
An implementation of the Vernian Cipher for file security
Matrix Inversion in O (log n ) on a Scan-Enhanced Reconfigurable Mesh Computer
Manhattanville College expert academic advisor - preliminary report (abstract only)
Invited papers: The theory of multipoint iteration functions
System optimization: A mass memory system designed for the multi-program/multi-processors users
Introducing minority students to technological careers through computer programming
The use of Entity Diagrams in data base systems implementation
Network computer modeling
Production engineering
A minisystem programming language
Parallel compiling techniques
Design engineering
The implementation of an exploratory scientific visualization system
An implementation of the FORCASE construct (abstract only)
Neighborhood systems and relational databases
The use of EQUIVALENCE in converting C to Fortran
Fuzzy Logic: Issues, Contentions and Perspectives (Abstract)
Constructing an expert system - software engineering of a different kind
The determination of digital simulation models for continuous systems by direct-search minimization
Computer science curricula for high schools (A Panel Discussion)
The long-term impact of telecommunications
Personal computer software support
An inherently parlle large grained data flow environment
Computers and the problems of urban society
Artificial intelligence in the personal computer environment, today and tommorrow (Panel)
Cloud pattern recognition
Information retrieval in the office environment
Computerized Electro Neuro Ophthalmograph (CENOG)
Identifying Essential Competencies of Software Engineers
The Ermerging OSI Office Automation Protocols (Extended Abstract)
Computational aspects of a Dual algorithm for quadratically constrained quadratic programs
Industrial darwinism: Evolution of microprogramming
Computational aspects of data fitting with a new multivariate spline
Parallel searching for binary Cartesian product files
Towards a western Fifth-Generation Computer System project
Research issues of personal computing within the corporate environment
Training aspects of microcomputer usage in the information center environment
Operational management of time-sharing systems
Software protection of micro computer software (abstract only)
Device gain - a measure of system component simultaneous operation
Complex information processing: a self organizing program for describing concepts
Computer selection procedures
A Study of Control Flow and Data Dependency Interface (Abstract)
Ray Tracing Surfaces of Revolution Using a Simplified Strip Tree Method (Abstract)
Conflict resolution algorithm for interconnection networks (abstract only)
A tool for automatic program restructuring
Computational experience with a modification of an algorithm by Hammer and Rudeanu for 0-1 linear programming
Acm meeting - september 1961 multi-step integration methods which minimize propagated errors
A Simulation Support System Capable Of Control, Monitoring And Simulation Of Airborne Systems
Towards a methodology for a design of knowledge based systems
A simple dynamic load balancing algorithm for homogeneous distributed systems
A Simple Realization of a Parallel Device Recognizing Regular Trace Languages
High performance graphics systems (Panel)
An Algorithm Based on Queue Migration for Mutual Exclusion in Computer Networks
AGSICP: An Automated Grading System for the Instruction of Cobol Programming
Transaction processing in a distributed real-time control system (abstract only)
A Formal Model for Heuristic Search
Some philosophic foundations for an environment for system building
SIGIR/SIGARCH non-numeric processing and computer architecture (Panel Session)
The use of generators in TAC
A programming language for cryptography (abstract)
A new algorithm for converting arithmetic expressions