yusuke1997/dblp-id-title huggingface dataset:
A Combination of Genetic Algorithm and Simulated Evolution Techniques for Clustering
A methodology for producing reliable software systems
The effect of simultaneity on sorting operations
A language and model for computer-aided design
A very long period (VLP) pseudorandom number generator for the microcomputer environment
Finding the intersection points of a line with a polygon and its applications (abstract)
Multifunction operating systems for microcomputers (Panel)
Computer chess programs (Panel)
Multi-processor software lockout
The AED approach to generalized computer-aided design
Interactive design of visual aids
Metrics in software quality assurance
The computing problem in the analysis of non-stochastic time series using an auto-regression model
Proceedings of the 20th national conference, ACM 1965, Cleveland, Ohio, USA, 1965
On preorder splaying in binary search trees(abstract and references only)
A multi-agent planning system (abstract only)
Computer chess: Master level play in 1981?
A resolution-based approach to the validation of internal control systems
The application of computer graphics to environmental planning
Vectorization and parallelization interactive assistant
Visible semantics for programming languages
The foundations of a theory of data processing
The architecture of Tandem's NonStop system
Mathematics background, prior language exposure, and perceived success in introductory computer science courses (abstract)
The long-term impact of IT culture
The BIG system - synergetic graphics
A ROM random-pulse computer for classifying binary patterns
Neural network computers
Motivation for and current work on copaging cache (abstract only)
A Performance Study of a Highly-Parallel Architecture to Provide Registration and Translation Services in an Intelligent Network
A More Cost Effective Algorithm for Finding Perfect Hash Functions
The role of computers in instructional systems: Past and future
A program verification system
Necessary and sufficient conditions for convergence of the QR algorithm on Hessenberg matrix
An information system for the coordination of program design
CSA: two paradigms of the language for adaptive expert systems
Multi-Dimensional Modelling and Measurement of Software Designs
Recent study of teaching: cybernetic foundations of learning science
An overview of the "1981 ACM SIGMETRICS Workshop/Symposium on Measurement and Evaluation of Software Quality"
Test gen: A tool for emancipation from traditional instruction
Automatic programming and compilers III: Languages and real time information processing
Assertional checking and symbolic execution: An effective combination for debugging
Experience with Or-parallelism of connection graphs
Hardware architecture for recursive Virtual Machines
A study of response times under various deadlock algorithms and job schedulers
Problem analysis and solution development mechanism for DATA (abstract and references only): data to algorithm translator analysis
Graphical description and run-time environments for Real-Time software
Goal Awareness for Conversational AI: Proactivity, Non-collaborativity, and Beyond
Wealth and jobs in the fifth new world
Experience with porting the Portable C Compiler
Consensus in a Multi-Expert System
Williams tubes selection program
The life sciences computer resources program of the National Institutes Of Health
Representing and using procedural bugs for educational purposes
Implementation of cross intersection between triangular surfaces
The profitability of career planning
The impending impact of distributed information systems
Pictorial man-machine communication
Error recovery for Simple LR(k) parsers
A New Twist to Fractals
A fifth generation approach to intelligent information retrieval
Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited
An Application of a Multimedia Cognitive-Based Information Retrieval System (AMCIRS) in Mineralogy
Error stability in finite mantissa floating point computers
Large scale optimization and the relaxation method
Performance Measurement Methodologies for Database Systems
The design of synchronizing buffers for collecting and distribution digital data
A Study of the Prather Software Metric (Abstract)
The Implementation of Guaranteed, Reliable, Secure Broadcast Networks
Parallel processors applied to string transformations (abstract)
Limitations in pattern recognition and problem solving
AND and OR parallelism in dprolog (abstract)
Psychological factors in information system design
The modular logic machine design system for loosely coupled systems
Tutorial on Ada
On the division of police districts into patrol beats
A computer-based system for input, storage, and photocomposition of graphical data
ACM97 opening comments
Diagnostic And Computational Reconfiguration In Multiprocessor Systems
Managing Subjective Information in Fuzzy Database Systems
Information system performance measurement - revisited
A database management system project for an undergraduate database design course
A geometry package in Ada (abstract only)
Rapid simulation and software prototyping for the architectural design of embedded multiprocessor systems
Why STRETCH?
Computer aided cinematography techniques for model validation
A VLSI architect's assistant (abstract)
Knowledge engineering on microcomputers
The case against the computer utility
A modular architecture for constraint logic programming
Structured Systems Analysis and the Problem Statement Language (PSL)(8) as a combined methodology in the teaching of System Analysis and Design
CHIC: A 7090 program to compute hypergeometric series in two variables
A software architecture for heterogeneous distributed database systems (abstract and references only)
Automatic data-recording in real-time control systems
Design features of a real-time electrocardiographic monitoring system
Supercomputer with analog-computer-like architecture
The design of usable programming languages
Communication and control in a cluster network
Marriage, Family and Tenure (Abstract)
Documentation retrieval in a University Computer Center environment
Computer assisted patient chart filing system
The Tarski decision procedure
Requirements statement language principles for automatic programming
The execution history approach to intelligent debugging
Simpson's rule for an odd number of intervals
FOIL - a file-oriented interpretive language
An expert system approach to LAN design
A mathematical language compiler
Distributed data base management: Some thoughts and analyses
Some distributional and convergence properties of the finite element method, with applications in nonlinear elastodynamics
Programming and modification in the SHARE 709 system
Producing learning material for the intelligent videodisc
Quality and expert system technology
PAL - a language designed for teaching programming linguistics
A real time error correcting data transmission system treated as a Markov process
SHyd - a Model for Bridging Text and Hypermedia
Compilation or interpretation
The use of context for correcting garbled English text
A command language for handling strings of symbols
Advances in information retrieval(ACM 82 Panel Session)
A Workplan for Business Process Reengineering and a Challenge for Information Science and Technology
Tools for modular programming: Finding out what's needed
REDBOP.2 (abstract)
Software Metrics: A Re-Evaluation and New Applications
Display oriented computer usage system
A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms
A paging scheme for pointer-based quadtrees (abstract only)
PC integrated software in business applications: a session sponsored by SIGSMALL/PC
Multiple Wielandt deflations in the numerical solution of singular integral equations of potential theory
Current trends in campus-wide network implementations
A general description of the national aeronautics and space administration real time computing complex
SIGBIO (Paper Session)
An adaptive microscheduler for a multiprogrammed computer system
Computational experience with an algorithm for the lock box problem
Social science computing curricula (Panel Session)
On the computability of certain monsters in Noah's Ark: Using computers to study Webster's Seventh New Collegiate Dictionary and The New Merriam-Webster Pocket Dictionary
Language considerations for information management systems
Simulation: A state of the art tutorial
POSTGRES Revisited: A Business Application Perspective
A large scale cellular array processor: AAP-1
REDBOL or RElational Data Base Operators in Lisp and Lispit (abstract only)
Optimal & near-optimal space efficient decision diagram algorithms
Multiprogramming the RCA 601
SIGMOD(Panel Session): next steps
Undergraduate research in computer sciences: Computer analysis of musical style
An expert system for foreign currency hedging (abstract only)
Dynamic algebra
An artificial intelligence approach to tonal music theory
On topologically equivalent dendrograms
DP personnel productivity - the peopleware problem
Symbolic and algebraic manipulation for solving differential equations
Social aspects and responsibilities (A Panel Session): Computers in advanced defense systems
An efficient sparse minor expansion algorithm
A toolkit for building "menu-based natural language" interfaces
The fast Fourier transform its role as an algebraic algorithm
An Optimal Fault-Tolerant Broadcasting Algorithm for a Hypercube Multiprocessor
FITSCAN (abstract only): a computer monitoring and analysis of cardiovascular performance
A comparison of first-fit allocation strategies
Skeleton planning spaces for non-numeric heuristic optimization
Linear Algorithms for Two Independent Set Problems in Permutation Graphs
The use of simulation for design analysis of an on-line financial application in a multi-programmed environment
A cellular automaton for pattern recognition by parallel computation
Polling in Concurrent Programming
Theory Net: An electronic mail system
Formal integration on a digital computer
MAGNEX: a text editor for the visually impaired
Synthesis of a software security system
New approach in dimensionality reduction in a general pattern recognition problem (abstract)
EOS: An Object-Oriented Operating System for Embedded Real-Time Applications
An implementation of backtracking for programming languages
Design of an ATN generator/modifier for supporting a communication prosthesis
Test routines based on symbolic logical statements
The role of truth maintenance in model-based reasoning (abstract only)
Presentation abstract: A tutorial on local networks
Two results concerning the power of two-way deterministic Pushdown Automata
Programming language selector (abstract only)
Stepwise procedures using both directions
GROK - a knowledge-based text processing system
Robustness of the destination tag based routing algorithm for the control of unique path networks (abstract only)
Fostering University-corporate education programs (panel session)
An approach to software design documentation
A lexical analysis of Labanotation with an associated data structure
The computer animated film: A dynamic cartography
Specification Languages and Their Implementations
Business and engineering enriched FORTRAN (BEEF)
Input-directed program design
SIGBIO (Panel Session) Computer systems and the quality of health care
"USS Transit Station Simulation" demonstration and documentation film
Line Intersection in a Geographic Information System (Extended Abstract)
PVS - design for a practical verification system
A terminal operated production program (TOPP) system
Usability Tests Refine Requirements (Abstract)
After the histogram what? a description of new computer methods for estimating the population density
Array processing extensions to FORTRAN
An application of neural nets to comparative linguistics (abstract only)
Efficiency of algorithms and performance measurement
Serial/parallel event scheduling for the simulation of large systems
Free logic is a natural logic
Social aspects and responsibilities (A Panel Session): Computer investigations of intention to attack
Creative art and custom interior design in the 80's
Graphic manipulations of molecules: A stand-alone processing in a network environment
Computer aided design of digital systems: Data part exploration
Interleaving of control-store for high-performance micro-programmed computers
Office automation: New arena for old struggle
Computing Prime Implicates
A three-dimensional surface design system
Beyond minimaxing for games with draws
A CSA-based Robot Plan Generator
Design approaches to adaptive control systems for arm prostheses
Supercomputers and distributed computing
Numerical applications: Cycle algorithms for undirected linear graphs and some immediate applications
People-Oriented Computer Systems (Panel Discussion): When, and how?
Computer Science And Graduate Education In Applied Mathematics
Analysis of computer peripheral interference
Remote data entry
Interlingua in machine translation
Computer generated animation of faces
Interactive system for controlled vocabulary maintenance
Perspectives: Computers, tools, and people
An optimal search tree: complete binary search tree
Derivation from First Principles of Belief Values Generated in Networks by Message Passing
Inference of molecular structure
Standards and You (Abstract)
Teaching machine programs that generate problems as a function of interaction with students
Applications of symbolic programs to complex analysis
Terminal Assignment in a Communications Network Using Genetic Algorithms
User/system interfaces and natural language processing (session overview)
RT Prolog: a real time Prolog written in Ada
A continuous assessment transponder (poster session)
A prototype approach to instrument network software (abstract only)
A Datalog Interface for SQL (Abstract)
PROCSY: The Purdue Remote On-line Console System
Specification sequence of computer information system components least constraining the designers' freedom in search of solutions (abstract)
State of the art issues in distributed databases (Panel session): The efficacy of replicated data
Automating The Office: User experiences 2
Enhancing CAD/CAM systems communication by understanding engineering machine drawings
Connecting prolog with relational databases
Queueing in a memory-shared computer
Office Work Station Networks
Beyond the Graphical User Interface (abstract)
Design of a multiprogrammed algebraic compiler
PSB Graphs for Simulating Cooperative and Distributed Program Behavior
A computer vision system for WSU robot (abstract)
Computer graphics and microprocessors
Documentation- a bridge from the 70's to the 80's
Industrial software training opportunities for computer professionals
A software technology evaluation program (abstract only)
The scheduling of multiple disk drives
Control charts as a memory performance measurement tool (abstract only)
On random testing of sequential digital logic with a high confidence measure (abstract)
GRASP: an executable specification language for Ada tasking
Subset/G PL/I and the PL/I Standard
Invited papers: Toward better programming languages
Measurement, Management and optimization (session overview): session overview
Seeding expert system technology: a practical approach
Social dimensions of reliability of complex systems
Natural language and voice output for relational data base systems
An Exploration of the Impact of Individual and Group Factors on Programmer Productivity
Computer-assisted software testing
Practical Trade-Offs for Open Interconnection
The status of systems for on-line mathematical assistance
Data retrieval in MOBIDIC B
A polyalgorithm for the automatic solution of nonlinear equations
Predicting concurrent computer system performance using Petri-Net models
A partnership - school and computer science work experiences: a career component to the curriculum
Preventing "bad" content dispersal in named data networking
Structured program planning and design: Standardization needs
Graph-Theoretic Approaches to Problem Decomposition in Multi-Agent Systems
Computer science research in office automation
A survey of undergraduate computer science/information science programs in the North East United States (abstract)
Programming Language Standards From A User's Point Of View (Panel Discussion)
SIGSAM 1-Symbolic mathematical systems (Part I)(Tutorial)
Personnel turnover rates
ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012
An associative array architecture intended for semantic network processing
An interpreter for Backus's formal functional programming language
Concept Formation in Numeric Domains
Panel on advances in personal information retrieval
Student program (Paper Session)
Management education in data processing
A "bee hive" model for heterogenous knowledge in expert systems (abstract)
Referential communication in AUTONOTE, a personal information retrieval system
Total ordering algorithms
Microprocessor tutorial session
A Parallel Extendible Scalable Cellular Automata Machine: PE-SCAM
Printing and publishing
IMEGS (abstract): an incremental multi-language editor generator and system
A case against the GOTO
On an algebraic foundation for constructing optimum algorithms
Invited papers: Table look-up procedures in data processing
W-grammar
Computer technology in special education and rehabilitation
Data processing personnel career development program
Correlation analysis between electricity consumption and economic development
Sampling frequency of digital servomechanisms
SIGBDP 4 (Panel Discussion): EPOS in the distribution industry
A study of techniques used to obtain bibliographies in computer science (abstract)
Heuristics for ordering of production rules
SIGDA Human factors engineering issues in design automation systems (Panel Discussion)
Design and development of MINIX distributed operating system
Computation of a least maximum approximator as the limit of weighted least squares approximators
Ubiquitous Computing (Abstract)
Large scale computers in medical schools
Programming expert systems at the K-tree level
Computer generation of optimized subroutines
SIGCSE (Panel Session)
TAC: the TRANSAC assembler-compiler
The federal government's supercomputer efforts (Panel)
What Computers Do: Model, Connect and Engage
On generation of state space for timed Petri nets
The Icon programming language a new approach to high-level string processing
Coordinating existing expert systems
Interpretative sub-routines
Computer literacy objectives for junior high school students
Nonlinear network programming on a vector supercomputer (abstract)
A system for large econometric models - management, estimation, and simulation
Integrating visual cues for the reconstruction of visible surfaces
Multinational information systems (Panel Discussion)
Computer security in the federal government: Where we are, how we got here, where we are going
Sigops(Paper Session)
Logical Structure Specification and data type definition
Selective partial access to a database
Software management and the impact of improved programming technology
Linear-time algorithms for programming cellular permutation arrays
Towards a Relational Model for Exclusively Disjunctive Information
Microcomputer operating systems panel: UNIX
The use of logo in a "computers and society" course
Experimental implementations of mixed integer programming algorithms
Simulation and display of four inter-related vehicular traffic intersections
Formal logic and switching circuits
Certification of secondary school computer science teachers some issues and viewpoints
Information retrieval: the relevant response theory of information storage and retrieval
Learning and using ANS MUMPS a programmer's perspective
A graph-based method for database concurrency control
Generated error in the solution of certain linear difference equations
Forgetting in an association memory
Semantics of update operations for an extended entity-relationship model
Proper termination of flow-of-control in programs involving concurrent processes
Literary criticism and programming pedagogy
A relational data base management system
Information Resource Management: Theory applied
An automatic formula translator for fixed-point arithmetic
Programming languages for non-numeric processing - 2: A universal assembly mapping language
Management information systems: Industrial production and digital computers
Scheduling with Deadline Requirements
A user's approach to requirements analysis of a large software system
Troika for architectural planning
Performance monitor for a relational information system
Computer Science And Recursion Theory
A measure for program locality in demand paging
Educational development opportunities for computer professionals
A multimedia cognitive-based information retrieval system
Performance of distributed software implemented by a contention bus
Comparison of lecture method and interactive viedodisc instruction in an introductory computer course (abstract only)
Current methodological research
SIGBDP (Panel Session)
Integration of problem-solving entities and processing entities in a coherent model; basis of a method of application (abstract only)
The early fusion strategy for search result diversification
The BIAX: a new multipurpose computer element
Software Testing: A Machine Learning Experiment
A heuristic approach for test case generation
A boundary value problem with eigenvalue on the boundary
Scientific computation using micro-computers
State of the art issues in distributed databases (Panel session): Site autonomy issues in the R * distributed database system
Preemption costs in round robin scheduling
Locally minimum-distance correction of syntax errors in programming languages
From English descriptions of algorithms into programs
The invariant imbedding numerical method for Fredholm integral equations with displacement kernels
A two-dimensional interpolation function for irregularly-spaced data
Reduction of integer programs to accelerate a multiple choice programming algorithm
The impact of IT on business communications
Near-Optimal Multiprocessor Scheduling
The turnover issue in EDP personnel
A Syntactic Schema And Algorithm For Language Arts CAI
Image measurement and recognition (abstract only)
A Logic-in-Memory architecture for large-scale-integration technologies
Three dimensional tree grammars for the modeling of plants
Today's most Sought-After People ... are now the Most Reachable (Abstract)
Iterative solution of block tridiagonal systems on parallel or vector computers
A Hybrid Conceptual Clustering System
Multiprocessor/multiarchitecture microprocessor design (M 3 D)
Conservation of software science parameters across modularization
The International Standardization of Modula-2
A version of Beale's method avoiding the free-variables
A FORTRAN-compiled list-processing language
Data abstraction and hiding in Fortran
Production control on the disk file
Machine aids to coding
Tools for the storage and retrieval of reusable MIS software in Ada
Errors in iterative solutions of linear systems
How Women Can Advance In Management (Presentation Abstract): A perspective
Providing state of the art information systems for small government agencies: a case study in technology transfer
Partitioned list techniques for the synthesis by computer of two-level and-or networks
Test-site evaluation of ICU/PLANIT
Special-purpose digital data-processing computers
Education of microcomputer professionals (Panel)
Information systems as implementations (abstract only)
Artificial intelligence and self-organizing systems: Experiments with a Heuristic Compiler
SIGPLAN(Tutorial Session)
Learning to bootstrap from examples
Improving DQDB Behaviour: Combining Bandwidth Valancing and Priority Mechanism
Perception and representation of spatial relations in a program for playing Go
SIGBDP 8 (Panel Discussion): Performance measurement
A faster recovery from hash table (abstract)
A model highlighting the security of operating systems
An algorithm for the determination of the polynomial of best minimax approximation to a function defined on a finite point set
The ROBOT System: Natural language processing applied to data base query
A simulation model of GECOS III
Modeling textures analytically using large exponent exponential functions(abstract only)