yusuke1997/dblp-id-title huggingface dataset:
Two-level grammar: data flow English for functional and logic programming
Conformant arrays and strong typing
MUG1 - an incremental compiler-compiler
Picture recognition using arc length and turning angle transformation
SIGBDP 6 (Panel Discussion): Innovations on computer charging mechanisms
Macintosh assembly language
An object-oriented testbed for research in reliable distributed systems
Proceedings of the 16th ACM national meeting, ACM 1961, USA
Content addressable memory processor
Investigation of the mechanisms for interprocess communication
Non-uniform key distribution and address calculation sorting
An SQL interface to a prolog-based DBMS
A perspective on teams of robots
SIGBDP 5 (Panel Discussion): Human resource requirements for business application development
The role of the computer
Software testing in the commercial environment
Object-Oriented Database for Intelligent Engineering Applications (Abstract)
Myoelectric signal processing for control of prosthetic devices
Computer science in high school mathematics
The design of system architectures for information retrieval
Ada tasking for parallel discrete event simulation (abstract only)
Arithmetic on the EDSAC
Partitioning rectilinear figures into rectangles
Measuring productive computational work
Temporal element as a primitive for time in temporal databases and its application in query optimization (abstract)
The Turing Computational Model
"Training the computer operator"
Employment trends in computer occupations
A unifying logic-based formalism for semantic data models
The process allocation in parallel interpretation of logic programs (abstract only)
Man-machine interaction: Computer-aided programmed techniques in support of military information systems
Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science
IGKS (abstract only): an integrated image processing and graphics environment
Hardware implementation of loop trace and microprogram synthesis
Managing computing resources (Panel): the personal computer revolution
Organizing and accessing files for magnetic bubble memory and charge coupled devices
Coupling field studies with laboratory experiments for the evaluation of computer languages
Evolution of automatic computation
Serializability in multi-level monitor environments
Formal specification of N-modular redundancy
Numerical analysis II: On computing the exact characteristic polynomial
Reduction of a generalized matrix of polynomial elements to triangular form on the IBM 704
A quaternary complex number CCD adder (abstract only)
The multi-state information system: frontend processing and data security
Boundary value problems for multiply connected domains
The copy-update multimemory
Obsolescence Of The Computing Professional: The problem and possible solutions
A factor analytic study of structured flowchart preference
A simple hardware model of a Turing machine: its educational use
Validation and verification vs. The software life cycle(Position Statement)
extensions in linear regression
Fault prediction and dynamic error analysis in computer systems
A unified theory of software metrics
Lunar orbiter command and telemetry data handling system at deep space stations
Microprogramming (Tutorial)
Sigma 5 Fortran language processor for the Computer Design Language, FIT version I
Assembly language program development on the Macintosh
Topics in Professional Certification (Technical Session)
Curriculum on design automation at the University of Southern California
Recursive functional programming as a conceptual tool for social scientists
Images as MAPS / MAPS from images
U2F based secure mutual authentication protocol for mobile payment
Implementing a regionally unique Master's curriculum in computer science (abstract only)
Reconstruction of algorithms from memory snapshots of their execution
Certification of computer science teachers for secondary schools (Panel Discussion)
Social aspects and responsibilities(A Panel Session): The Visualizer as a means of displaying Abt's strategic model
Solution of systems of linear inequalities on a digital computer
Experience with adaptive integration over a triangulated region using the Levin transformation (abstract and references only)
Software validation and verification - a state of the art report(Panel Discussion)
Proceedings of the 1952 ACM national meeting (Toronto), ACM 1952, Toronto, Ontario, Canada
A parallel architecture for rapid image generation and analysis (abstract only)
Tabular representation of multivariate functions - with applications to topographic modeling
Attitudes of faculty towards computing: an investigation and analysis of related variables
Scheduling a vehicle between an origin and a destination to maximize traveler satisfaction
An Integrated Productivity, Training, and Performance Planning/Appraisal Framework
Gate array layout automation: A tutorial
A look at state and local information system efforts
Combining management and technology in a master's degree for information system professionals
A Methodology for the Design and Implementation of Virtual Interfaces
Describing distributed environments (abstract only)
An exchange method for solving Haar or non-Haar overdetermined linear equations in the sense of Chebyshev
A case study in the use of data base management
Software liability issues in the 80's
An on-line interactive audiographic learning system
Programming languages for non-numeric processing - 1: TMG - a syntax directed compiler
Minimizing system delay in synchronous digital backplane designs
What is computer literacy: the sham, the imposter, and the misdirected
Representation of an arbitrary tubular surface for CAD/CAM (abstract only)
Engineering applications I: A digital nonlinear function generator
Software engineering training for middle managers at Texas Instruments
MATHLAB tutorial
Measures, models and measurements for time-shared computer utilities
A procedure mechanism for backtrack programming
Science, Computational Science, and Computer Science: At a Crossroads
A non-linear estimation program
Designing an intelligent operating system consultant and teacher (abstract)
A pragmatic look at decompilers
Min-max sort: a simple sorting method (abstract only)
Computer Education Technology (Panel Discussion)
Computer aids to code checking
Analysis of software experience data (Panel Discussion): Software reliability measurement during development
Computer-assisted telephone interviewing in the survey research process (Panel Discussion)
Query Transformation in a Multidatabase Environments Using a Universal Symbolic Manipulation System
A review of current studies on complexity of algorithms for partial differential equations
The HITAC5020 time sharing system
A linear programming system for use on time sharing
Optimization of large sequential data files
Contents of a meaningful plan
Critical comparative analysis of the major commercial IS&R systems (abstract only)
An I/O management system for the iPSC/1 hypercube
Magnacard sorting techniques
Object-oriented vs. waterfall software development
Automatic indexing
VIPTRAN - A programming language and its compiler for Boolean Systems
An approach to parallel architecture modelling (abstract only)
Expert-VSim (abstract only): an expert simulation environment
A research environment for incremental data flow analysis
Positive effects of computer programming on students understanding of variables and equations
Development of computer components and systems
A very high level language for large-grained data flow
Implementation of extended functional programming language on cellular tree and data flow architecture
STAGE executive control
An approximate solution of a weighted scheduling problem with multiple constraints
Design of transaction-oriented systems employing a transaction monitor
Perception of computer simulated pulmonary lesions in chest radiographs
Automatic recognition of handwritten characters using structural features
Developing and prioritizing data processing applications for municipalities
A data flow approach to the evaluation of FP programs
Engineering applications II: Automatic production of meteorological contour charts
Some major modifications to a new method for solving ill-conditioned polynomial equations
Analytical representation of three dimensional objects (abstract)
Information resources management (IRM): Where did it come from and where is it going
Using a menu-based natural language interface to ask map- and graph-valued database queries
Optimum recurrence formulas for a fourth order parabolic partial differential equation
G-Base Fourth Normal Form in Relational Database
Social aspects and responsibilities (A Panel Session): Computer applications to arms control
Proceedings of the 21st national conference, ACM 1966, USA, 1966
The SCRATCHPAD system
Software design using: SADT
A mathematical schema for the entity-relationship data model
A toroidal systolic array for Warshall's algorithm
Toward a theory of deviant word order
When are pivotal interchanges not necessary?
A program for applying the principle of parsimony in multiple regression
Symbol manipulation with an associative memory
Applications of the G and B transforms to the Laplace transform
Waterloo microcomputer systems for the 1980's
A parallel algorithm for multi-dimensional fuzzy reasoning - toward a parallel fuzzy production system
Random number generators
Full protection specifications in the semantic model for database protection languages
A computer science program in a business school
A real-time, multi-task programming language for microprocessor-based industrial process control
Some remarks on abstract machines
Unification of methods for ray tracing a wide class of generalized cylinders with straight line trajectories
The maze solving computer
Ternary Relationship Decomposition and Higher Normal Form Structures Derived from Entity Relationship Conceptual Modeling
Human factors considerations in the design of a multiple source expert system for military applications (abstract only)
An Approach to Encounters and Interaction in a Virtual Environment
Zeus: An object-oriented distributed operating system for reliable applications
Whither goeth fortran?
Aspects Of Implementing CLU
Heuristics for program synthesis using loop invariants
On inverse translation of machine language
Levels of abstraction and compilers
Electronic Studio Sets Controlled by a Computer (Abstract)
A display console for an experimental computer-based augmented library catalog
Complex preprocessing for pattern recognition
Reconstruction methods for multiple projections
Some empirical results regarding the efficiency of the entrapment procedure for scheduling jobs on identical machines (abstract only)
An open-ended research database for learning center activity
The educational possibilities of intelligent videodiscs
SAC-1 variable precision floating point arithmetic
Proceedings of the 25th annual conference on Computers and crisis - how computers are shaping our future, ACM 1970, New York City, NY, USA, September 1-3, 1970
Computer supported cooperative work (CSCW) (panel session)
An analytic model in the study of physical database reorganization (abstract only)
System development corporation
Position paper on the implementation and use of database management systems
Parallel iterations and cellular automata models for simulating pore structural transformations
Teaching evaluation for computational-thinking-oriented elementary computer courses
Heuristic programmers and their gambling machines
A comparison of file organization techniques
Expert systems: where are they and where are they going?
An overview of fortran standardization activities
Calculation of chromatic polynomials (abstractonly)
The Education of the New Information Specialist (Abstract)
Proceedings of the ACM Turing 50th Celebration Conference - China, TUR-C 2017, Shanghai, China, May 12-14, 2017
Ethics and computer security: cause and effect
The algebraic solution of large sparse systems of linear equations using REDUCE 2
Formal definition of programming languages (Panel Session): "The lambda calculus approach"
The graph-history interaction: on ignoring position history
Features of an information system for Congress
Programming for observability support in a parallel programming environment
Developing expert system to evaluate leave/funding request for faculty professional enhancement at Central Missouri State University
The leadermart system and service
Data Replication versus Timing Constraints in Distributed Database Systems
Computers and the improvement of writing
Software complexity, program synthesis, and data flow analysis (session overview): session overview
Proposed automated information management at NASA: its performance measurement and evaluation
Soft documentation - challenges and techniques for handling mixed-media documents (Panel)
The dead end of symbolic AI and the connectionist approach
An object-oriented approach to the acquisition of software engineering knowledge
The psychology of programming
The structured flowchart niche: strenth of preference
The impact and issues of the fifth generation: Ethical issues in new computing technologies
A MUMPS-based Relational Data Base system (MRDB)
Microcomputer applications
Technology transfer (panel session)
Computer Systems Planning - tools & techniques
Economic and regulatory policy for advances in data communication (Panel)
Matrix bandwidth minimization
A document retrieval system for man-machine interaction
On foundations of information science: Theoretical aspects and simulation
Dynamic optimization of covered tail recursive functions in applicative languages
Automation techniques for Large Scale Integration system design
Software management through improved programming technology
Design considerations for the transformation of MINIX into a distributed operating system
Can an Operating System Support Consistent User Dialogs? Experience with the Prototype XS-2
Comparison of several techniques for generating systolic arrays
Speakeasy linkules - plug compatible software
"Systems design and computer evaluation study for a quasi-realtime data processing system in a manufacturing enterprise"
A class of modified single stage S/E networks
On communication software testing (abstract only)
Space saving key-lock access control system (abstract only)
The folly of prediction
Performance evaluation of distributed deadlock detection algorithms
Report of the joint ACM/IEEE-CS curriculum task force (panel session)
Scheduling tasks with critical sections
Business data processing education: Teaching in the 80's
A survey of compiler optimization techniques
Teammate evaluation - a pedagogical perspective
An approach to incremental register allocation (abstract)
An algebraic approach to test data generation
State of the art issues in distributed databases (Panel Session): Form-Flow Application Development
Computation of pressure distribution on the surface of a vehicle (abstract only)
A computerized hypertension management system
Object Oriented Relational Database with SQL Interface
Techniques for evaluating the effectiveness of interactive computer service
On Bernoulli's method for solving algebraic equations, II
On Constructing Binary Space Partitioning Trees
Computer-aided schema for instructional gaming
A Dual Knowledge Representation for a Domain-Independent Intelligent Training System
A fourth order spline method for singular two-point boundary value problems (abstract only)
A generalized data acquisition system for minicomputers
A parallel search chess program
Time representation based on knowledge partitioning (abstract only)
Touchscreen Field Specification for Public Access Database Queries: Let Your Fingers do the Qalking
A General Abstract Representation for the Study of Concurrent Programs
Symbolic logic in engineering: I. symbolic logic truth matrices on a computer
Discretization and rounding errors in orbit determination
On the implementation of the IAL
The process of growth in a statewide educational computing system: the California example
An on-line interactive system for studying acceptable sampling plans
Nonlinear programming computations
Control systems in robots
Automatic Detection of Errors in Distributed Systems
On Bounding Distributions For Stochastic Networks
Implementing Denotational Semantics with Logic Programming
Third generation compiler design
A Logical Approach to Designing Procedural Programming Languages (Abstract)
A model of the performance of a rollback algorithm
An audio input-output computer system for medical information
Rule based programming in C
An architecture for the simulation of human movement
Federal funding possibilities for minority research programs (panel session)
Managing Federal Government Computer Installations
Simulation of spatio-temporal visual evoked EEG's
Workshop on Rough Sets and Database Mining
Results from a program of computer conference experiments: statistical observations of user behavior under the FORUM system
Computer-aided design of electrical circuits Simulation techniques (A Tutorial)
Different Perspectives of the N-Queens Problem
Development and implementation of a prototype microcomputer system to automate transportation squadron functions in the Strategic Air Command (abstract only)
CONNECT: a user-oriented communications service
Page size selection for a real time computer
A linear selection diode steered core memory
Distribution Driven Binary Tree Balancing with R-trees
Hierarchical modeling of operating system structure and behavior
Estimating the truncation error with a modified runge-kutta method
An expert system for bibliographic retrieval using Prolog
Recovery semantics for a DB/DC system
Solving large vehicle routing and scheduling problems in small core
An algorithm for machine detection and tracking of moving objects in television images
Encapsulation: an approach to operating system security
The variable cell length listprocessor VARLIST
A practical algorithm for generating LR parsers maintaining immediate error detection (abstract)
An O(N log N) expected time merge heuristic for the planar ETSP
Man-machine interface design for timesharing systems
Organic program design: A programming method which mixes design and coding is espoused
Parallel Compilation In A Multiprocessor Environment (Extended Abstract)
Analysis of conservational transition systems
Reproductive adaptive plans
Determination of order of an algorithm
Computation of Chain Queries in Distributed Database Systems
Parallel sorting algorithms for insertion shell and heapsort on the HEP (abstract)
Architectural issues for expert database systems
A study of numerical methods for solving differential equations
A NELIAC generated 7090-1401 compiler
A theory of student modelling in instructional expert systems
A Portable Graphics system for minicomputers
On Computer Supported Collaborative Writing Tools for Distributed Environments
A Parallel Branch and Bound Algorithm for Solving Large Asymmetric Traveling Salesman Problems
Evaluation of conversion to a back-end data base management system
Protocol engineering (panel session)
Architectures for expert-DBMS (Panel)
A generic compiler symbol management facilityy (abstract)
Optical elements for computers
Projections, least squares, and constrained minimization problem
Structured requirements definition in the 80s
Task allocation in distributed systems: A survey of practical strategies
The new COBOL standard
Software testing and the PABX
Technology transfer in the 1990's: evaluating computer-support for cooperative work
Intelligence report generation based on computer intensive data analysis (abstract only)
Practical experience with virtual memory systems (Panel Session)
A Framework for Accessing Data in Models with Many Discrete States (Abstract)
Backwards through ACM and other calendars (tutorial)
A research tool for software design and documentation
Conceptual learning and classifier systems with long-term memory
Truth in advertising in present and future generation computing
Expert systems in lease accounting (abstract only)
Automatic program generation for processing a high level relational-like query language
"Principles and techniques for training programmers"
Parallel algorithms for unification and other complete problems in p
Rational approximation via minimax linear programming regression
An expert tutor in the SLAW programming environment (abstract only)
What is the proper size of a program module? (abstract only)
Signature File Generation Techniques for Query Processing in Object-Oriented Databases
An interactive Automated Test Data Generator
A method to expose the hidden structure of Fortran programs
Fault detection test derivation using Boolean difference techniques
Undergraduate research in computer sciences: Real time computerized expressway traffic control in the Chicago area
Software Engineering session overview and introductory comments
PDL/Ada - a design language based on Ada
A data definition and mapping language for numerical data bases
A microinstruction system
The application of counting techniques
Professional development seminars: Introduction to Pascal
Systems analysis and design
A portable syntactic error recovery scheme for LR(1) parsers
Game strategy and collusion in an oligopolistic market
Information retrieval: digital handling of chemical structures and associated information
Characterization of Imperative Programs Involving Complex Iterations
Data transmission
Recent improvements in Braille transcription
Machine perception of printed and handwritten forms by means of procedures for assessing and recognizing gestalts
Closure properties of certain classes of languages under bi-language form
Computer-based job performance aids (Panel)
A Data Model for Software Representation (Abstract)
Computers in the study of learning: namer - A pattern-recognition system for generating sentences about relations between line drawings
Conducting a survey of community computer resources (abstract only)
An approach to optimal partitioning of hypergraphs
A very easy hierarchical DBMS implementation
A Tool for Debugging Internet Multicast Routing
Training and development of programmers and operators
How to relieve a programmer from synchronization details
ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications
A Generic Ambedded Real-Time Monitor Aubsystem
The evolution and impact of electronic and non-electronic, biological, and optical computing
Findafact
A Program Generator Package For Management Of Data Files - The Input Language
Development of a windowing manager for a single process on a large screen (abstract only)
An integrated approach of rule-based and case-based reasoning for decision support
Involving minorities and women in the computer science profession (panel session)
DELTA: An expert system to troubleshoot diesel electric locomotives
Composed sketch framework for quantiles and cardinality queries over big data streams
Uses of the LOGO programming language in undergraduate instruction
Minicomputer speakeasy in a dynamic graphics environment
An ADA TM compatible specification language
Neural Nets for Image Restoration
Detached shock problem and related topics
An efficient flow routing algorithm to solve the maximum concurrent flow problem with applications to the packed switched telecommunication networks and cluster analysis (abstract)
Writing an interactive psychiatric information system
A large-scale dual operating system
A State-Transition-Based Incremental Protocol Specification
A Conceptual Framework for Software Development
Concepts of high-level-language computer architecture
An Optimal Parallel Algorithm for the Maximal Element Problem (Abstract)
Minimalism, cubism, and Dali's melting watches: a tutorial on creating user documentation
Modified M-timed Petri nets in modelling and performance evaluation of systems
Data Management for Mobile Computing on the Internet
The dynamic matrix model
Case Studies On The Implementation And Use Of Database Management Systems (Panel Discussion): Experience with resistance
The undergraduate education of medical computer scientists
A System For Office Automation Research
Incremental program testing in a very high level language
Geometrics of spiral bridge design
A methodology for preparing the computer professional for certification