yusuke1997/dblp-id-title huggingface dataset:
Limitations of Using Tokens for Mutual Exclusion
An overview of ACM guidelines and recommendations for a community and junior college career program in computer programming
New Advances in Alpha-Beta Searching
Electronic computer applications in urban transportation planning
Cooperative relay tracking with multiple mobile camera sensors
Fault tolerance in deductive knowledge bases
A Modular Computer With Petri Net Array Control
A Data Base Management System
The bending of rectangular plates with opposite edges simply supported
Meeting the computational requirements of the university - the Brown University Interactive Language
A Correlation Echo Sounder Processor used to provide reliable bottom depth data for profiling
Small-scale research and automatic computing machinery
Competition and Cooperation in Analog Neural Networks for Combinatorial Optimization (Abstract)
The longest upsequence: a new implementation
Rough Sets
State transition times for limited contention multiple access schemes
SIGTPC (Panel Session)
Transaction Management and Object-Oriented Modeling in a Distributed Dynamic Decision Making Environment
A study of factors influencing the productivity of programming teams
Time concept in generalized data bases: TIGRE project
A Shogi-Computer Test Set
Objects with Logic
Concept and synthesis of an operating system nucleus implemented in computer hardware
COBOL business graphics
Removal of artifacts from polygons clipped using the Sutherland-Hodgman polygon clipping algorithm (abstract and figure only)
Integration over polytopes (abstract only)
Direct-manipulation user interface modeling with high-level Petri nets
Some ideas on the educational use of computers
The application of a symbolic mathematical system to program verification
Matrix completion for SPOC student peer-grading evaluation
Computer program classification
A random number generator for small word-length computers
Numerical solution of ordinary differential equations at a remote terminal
High level description and implementation of resource schedulers
An input system designed to aid users of interactive graphics
What If There Were Desktop Access to the Computer Science Literature?
Paradoxes in Parallel Processing (Abstract)
Blueprints for the computer city: The quest for an architect's computer
On optimal algorithms for solving bi-valued game trees
Utilization of a small computer for real-time continuous patient monitoring
An evaluation of presentation methods for CAL (abstract only)
Second order formulas for Fourier coefficients
An interactive molecular graphics system with a satellite terminal closely coupled to its host
Comparative analysis of dBase by students (abstract only)
Administration of computer system resources
Computer assisted experimental design (abstract and reference only): power analysis by Monte-Carlo simulation
The UNIX eighth edition network file system
From the Classroom to the Real World (panel session)
Optimization of relational algebra expressions containing recursion operators
A communications device for the severely handicapped
An Incremental Approach to Software Engineering in a Science-Based Computing Curriculum
Steps toward a general-purpose time-sharing system using large capacity core storage and TSS/360
A Taxonomy for Programming Style
DYPP - A VLSI supercomputer architecture supporting two-level fault tolerance, program graph injection and data levitation concepts
Motivation in the high technology industry
Beyond Turing: A Knowledge Based Model Relativistic C n Machine
NCR C-315 electronic data processing system
An information Algebra
SIGSAM (Tutorial Session)
A modular continuous system modeling program
Inscan: A syntax-directed language processor
Compatibility: A barrier to applying technology to documentation
Personal computers in the corporate environment: Software
An Investigation into the Application of a Graphical, Rule-Based System Utilizing Reversible Data Structures as a Possible Model for Human Pedigree Systems (Abstract)
Computational Intelligence in CAD/CAM Applications
Link Segment System
Perspectives on Social Responsibility for the Computing Field
Using animated color graphics to illustrate software and hardware organizations (abstract only)
Designing a low cost general purpose computer
A new look at ALTRAN
The ABDADA Distributed Minimax Search Algorithm
Automated software control
An Implementation of ID3 That Creates Executable Rules (Abstract)
Disk throughput estimation
A Cooperative Software Development Paradigm for Content Analysis-Based Psychology Research Procedures (Abstract)
Dynamic Distributed Query Processing Techniques
A computer program for analysis and design of power supply circuitry
A Family Of Pass-Oriented Attribute Grammar Evaluators
The use of examples in program construction and debugging
An algorithm for batch updates
Memory organization and management for linked data structures
High-speed fault simulation for UNIVAC 1107 computer system
Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2
GIS and file management
A MULTILINGUAL INTERPRETER for interactive computing in an academic environment
The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment
Introducing computer science in a liberal arts college (abstract only)
Computer/radar joint scheduling using a parallel computer
The efficient, scale-invariant determination of starting step sizes for high-order integrators
A static magnetic memory system for the ENIAC
Self-stabilizing Deadlock Detection Algorithms
Human factors training and awareness
Definitional interpreters for higher-order programming languages
The solution of linear systems by Richardson's method
The refuge relay function generator
Polynomial evaluations of bi-valued game trees
Automating the software development process
3-D vision algorithms based on polynomial representation(abstract and references only)
A comparative sampling of the systems for producing computer-drawn flowcharts
Generation of linguistic filter structures for image enhancement
Concurrent programming in the shared dataspace paradigm
Proceedings of the 22nd national conference, ACM 1967, Washington, D.C., USA, 1967
Multiprocessor Architectures For Concurrent Programs
Graphic display of human motion
Scheduling independent processors with different storage capacities
A machine language for documentation and information retrieval
Information retrieval II: A data structure for data retrieval
A paradigm for semantic picture recognition
Data: data to algorithm translator analysis
Interactive image understanding
A Processor For Providing Friendly Environments For Frequently Used Application Packages
Pass the car in front of you: a simulation of cognitive processes for understanding
GUIDES: a tool for rapid prototyping of user-computer interfaces
A Checklist For Developing Software Quality Metrics
Environment primitive operators in programming languages
Engineering A Program Optimizer
Data abstraction, controlled iteration, and communicating processes
Data processing compilers for small card reading computers
System growth and capacity planning a tutorial
Interoperating and Integrating Multidatabases and Systems
Lincoln log factory of the future (LIFOF) (abstract only)
Scribe: How to use it for document production
Is Computer Science Obsolete?
A multilevel load balancing algorithm in a distributed system (abstract only)
Protocol standards (panel discussion): fact or fiction
Geographic base files and the world of Polk
Object recognition through automated tactile sensing (abstract only)
SIGMOD (Paper Session)
A computer method for the arrangement of phytosociological tables
A private military network using a power transmission line
Geometric Modelling Systems for mechanical design and manufacturing
The design of a programmer's interface for an interactive microcomputer animation tool
The Role of ACM's Computing Surveys
A comparative evaluation of the cost effectiveness of computer systems (Paper Session)
A computer analysis of chronologies in Genesis
How to evaluate and shop for computer graphics hardware
On pattern recognition and description using many sorted predicate calculi
A Software Assessment and Certification Advisor
A Formal Basis for Schema Analysis of Semantic Database Update Semantics
Geo-coding - an application in a local governmental information system
Horizontal partitioning
Automation of program debugging
A new algorithm for algebraic translation
Applications of the theory of random graphs to average algorithm performance analysis
Computer chess panel - 1983
Natural speech from a computer
Two misconceptions about structured programming
Young Hackers (abstract): geniuses or criminal?
Automatic aids to dictionary revision
The Interplay Between Mathematics And Computer Science
Using Graph Distance in Object Recognition
An interactive statistical modelling package in APL
Modelling database based expert systems at the conceptual level
The general problem of computing languages: Their nature, function and translation
Description of a high capacity fast turnaround university computing center
A system for the solution of initial and two-point boundary value problems
SIGART (Paper Session)
Intelligent Assistance for Complex Systems
Software physics and computer performance measurements
Yet Another Efficient Algorithm for Replacing the Edges of a Minimum Spanning Tree
Logic partitioning - component assignment
Two-Level Grammars as a Technique for Formalizing Programming Schemes
Two-level grammars for automatic interpretation
Amtran, a remote-terminal, conversational-mode computer system
The design and implementation of the Pascal GENIE
Proceedings of the 1975 ACM Annual Conference, Minneapolis, Minnesota, USA, October 20-22, 1975
On the substitution of polynomial forms
The testing of cathode ray tubes for use in the Williams type storage system
The new developments in C
Evaluation of the square root function on microprocessors
Some results on the state space approach to a finite automata (abstract)
Generating Text from Language Models
Basic program design - the Jackson way: An example
Authoring a Hypertext UNIX Help Manual
Automatic Program Generation Using Sequent Calculus
Why Managers Fail(Presentation Abstract)
An O(n log n) Algorithm for Finding Minimal Path Cover in Circular-Arc Graphs
MEND (abstract only): a self-improving diagnostic with deep knowledge
Software Metrics for Object-Oriented Systems
Implementation of the GIST Geographic Base File
Simulation applications and specialized topics (Paper Session)
An Industry Perspective on Computer Science Accreditation (Abstract)
On Some Classes of Petri Nets (Abstract)
ACM CSC '92 Case Panel Session
Database systems (ACM 82 Panel Session): User interfaces
META-3 syntax-directed compiler writing compiler to generate efficient code
Data link control procedures: What they are and what they mean to the user
An argument for local area networks (extended abstract): a case of economics
A Vocational - Technical High School Program
SOLID: A high-speed data- and question-independent information management system
National educational computing policy alternatives
A measurement of alertness based on electroencephalographic time series analysis
Data integrity considerations in computer based accounting systems
On the construction of LR(k) analyzers
Computers in government
Software experience with concurrent C and LISP in a distributed system
The added dimension of geographic data
Performance evaluation of file organizations through modelling
Imagination as event generation (abstract)
Compiling prolog programs for parallel execution on a cellular machine
A Time Dependent Multimedia Document as an Advanced Communication Media
How to Attract Women into the Field of Computing
Tools For Automatic Compiler Generation (Panel Discussion)
Adaptive post-processing of OCR text via knowledge acquisition
A testbed for sensory PDP models
Evaluation of network services
Performance measurement and evaluation of online information systems
An implementation of IPL-V on a small computer
Characteristic errors in programming languages
A new mathematical programming time-sharing system using a precompiler and numerical derivatives
Special Student Paper Session
Dynamic restructuring of databases with generation data structures
CUBE architecture for 3-D computer graphics
Current position and future of EDP standards
Efficient parallel algorithms for finding biconnected components of some intersection graphs
Information Wheel - a framework to identify roles of information systems
Impact of the computer revolution: 1985-2001
The solution of tall distribution problems
Leakage error in a semi-discrete analog of the heat equation
A Batch-Oriented Network Database Management System
Computers in the study of learning: BOGART - A discovery and induction program for games
ALTAC, FORTRAN, and compatibility
Comments on the topic "programming, and its implication on programming languages"
Techniques for Automatically Correcting Words in Text (abstract)
A hardware instrumentation approach to evaluation of a large scale system
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice
The construction and use of a general purpose synthetic program for an interactive benchmark on demand paged systems
The bureau of labor statistic's Table Producing Language (TPL)
Information processing in electricity distribution systems
First programming language: Consequences (Panel Discussion)
On-line simulation in the OPS system
On a Chebycheff fitting criterion
SCALPEL: Prototype for a computer assisted finite language for data screening
Analysis of Directory Based Cache Coherence Schemes with Multistage Networks
An introduction to the Risch integration algorithm
An Adaptive Concurrency Control Algorithm (Abstract)
Programming with(out) the GOTO
Stability, Coupling, and Cohesion of Object-Oriented Software Systems
FORTRAN 8x tutorial
Binary division and square-rooting using Gray code
The 1971 ACM A. M. Turing Award
Dynamic Load Balancing in Distributed Real-Time Systems (Abstract)
Priming read and end_of_file
Interactive theorem proving
Bach: a procedural language for specifying polyphonic music
An extension to algebraic specifications to incorporate state behavior
A new classification theory leading to automatic pattern recognition
Specifying and Automatically Generating Ada Tasks in Prolog
Correspondent computing
expert system for the application of nursing diagnosis to clinical practice (abstract)
Aspects and applications of symbol manpulation
SYSTEM 2000 performance measurement and data base evaluation
A definition of the cobol procedure division using algol metalinguistics
Computations in magnetic and gravity interpretation
An experimental rapid access memory using diodes and capacitors
The Biomedical Computing Technology Information Center (BCTIC) sharing programs, data, and interface designs
Homograph Discrimination for Intelligent Interfaces via Thesaural Lexicons (Abstract)
A software requirements determinations strategy utilizing provisional solutions
SIGNUM a spectrum of mathematical software considerations - 1975 (Paper Session)
Computer Crime: A Tutorial
Product distribution: The transshipment problem
Communicating Control Knowledge to a Deductive Database System
Representation in CAD: Models and semantics
Recent developments with implicit Runge-Kutta algorithms
An adaptive tree pruning system: A language for programming heuristic tree searches
Programming languages for non-numeric processing - 2: Time sequenced logical simulation based on circuit delay and selective tracing of active network paths
The PRIME 9955 implementation of the graphical kernel system (abstract)
Direct microprogrammed execution of the intermediate text from a high-level language compiler
Numerical experimentation with routines for solving nonlinear systems of equations
Lists and why they are useful
The design of a hardware recognizer for utilization in scanning operations
Compile time type determination in SETL
Optimal allocation of programs and data in distributed systems (abstract only)
Parallel micros (abstract)
The algebra of derivations and a semithue parser
Constant division algorithms
Automatic programming and compilers I: External language KLIPA for digital computer URAL-2
An environment for an operating system
Compiler optimization by detecting recursive subprograms
A theory of nonmonotonic planning
Natural language systems: How are they meeting human needs?
A threshold mechanism for distributed query processing
George Forsythe memorial lecture (Panel Session)
Computer contracting and litigation
Hierarchies and relations among data types
The Mexican light and power company introduces a direct way for fast computation of industrial services with power factor adjustment
Using interactive videodisc with large classes to improve instruction and faculty productivity (abstract only)
The numerical solution of the Reynold's partial differential equation applied to the air lubrication of circularly curved surfaces
Oh the automatic simplification of source-language programs
A Perspective on Personal Communication Services (PCS)
Random points on spheres: a graphics conjecture "proved"
Interactive graphics in water quality investigations
A Performance Evaluation Model for a Digital Group with Multislot Traffic Streams
Node Re-usability in Structured Hypertext Systems
Automated computer design
Hybrid de-anonymization across real-world heterogeneous social networks
Computing with multiple microprocessors
On-line index term predictions using bigram-term associations
Software engineering programs at the Wang Institute of Graduate Studies
Impact of information retrieval on Corporate Structure
The foreign policy decision-maker simulation
Computer auditing and control
Error probability in decision functions for character recognition
Design automation at Southern Methodist University
The design of bit parallel systolic algorithms for matrix-vector and matrix-matrix multiplication
Recommendations for action
Invited papers - 1: basic concepts of automata theory
The numerical solution of a partial differential equation on the IBM type 701 electronic data processing machines
The mechanization of science
Programming of the method of characteristics for axisymmetric flow
A study of the relationship between job requirements and academic requirements in computer science
An examination of information center implementation and impact
Analysis of computational systems: An algorithm for Boolean simplification based on three necessary conditions
Distributing a visible surface algorithm over multiple processors
Workload models for DBMS performance evaluation
An Incremental Algorithm for Building Temporal Quadtrees
Government agencies' activities in education
Attributes: Should we Eliminate Them from Semantic and Object-Oriented Data Models?
Computer personnel recruitment SIGBDP and SIGCPR - Sponsored Panel of ACM 80
The C.M.T. (Code Matching Technique) mechanical translation process
An experimental representation for organizational level designs and synthesis
Correctness in access control
A note on matrix multiplication in a paging environment
A New Method for Modeling of Hair-Grass Type Textures
The role of the computer auditor in information systems development(Panel Discussion)
Input scaling and output scaling a binary calculator
Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract)
Natural language querying (session overview)
Native Code Process-Originated Migration in a Heterogeneous Environment
The Mathematical Programming Language (MPL)
An expert system for selecting a development tool (abstract only)
Quantifying software quality
A method to improve testing and debugging in robotic programs using attribute grammars
Aspects of large-scale in-core linear programming
A technique for comparing search algorithm run-times
Genetic Heuristics in Optimization Problems (Abstract)
A graphical approach to computer efficiency
NATS a collaborative effort to certify and disseminate mathematical software
Interprocess Communication and Hierarchically Shared Memory Space in ELC
A description of the electronic computer at the institute for advanced studies
Computer-based courses(Panel Discussion)
The use of imbedded patterns and canonical forms in a self-improving problem solver
The method of spherical harmonics as applied to the one-velocity boltzmann equation in infinite cylinders
The Traveling-Salesman Problem (Abstract)
A generalized medical information system (GEMISCH) for practicing physicians
Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only)
On-line Ecological Data Validation: an expansion of a minicomputer-based key entry system
The computation of connected regions in interactive graphics
Logic programming in LISP with controlled search (abstract only)
An integrated analytical system for global range planning
GlobeSen: an open interconnection framework based on named sensory date for IoT
Caching transitive closures
A problem oriented graphic language
Word processing in an M.I.S environment
Rules for reducing calculate time and conservation of storage space
An Interpreter for Large Knowledge Bases
Incomplete Fault Coverage In Modular Miltiprocessor Systems
The use of interactive, computer-managed instruction to control the quality of self-paced training without requiring the presence of an instructor
A new solution method for the determinantal equation of a matric polynomial
New algorithms for realizing paths and permutations through cube-connected networks
Goals and plans in a program for playing Go
Design of a time-sharing system allowing interactive graphics
The neural network as a prototype in the design of nonconventional computer architecture for artificial intelligence applications (abstract)
Management in the post-industrial era
WBTPE: A Priority Ethernet LAN Protocol
Alternating semantic evaluator
SIR: A statistical information retrieval system
Situated Planning and Resources in the Design of an Intelligent Tutorial
Information system modeling and management (session overview)
Uniform modular realization of sequential machines
Evaluation and performance of computers: interaction of hardware and software parameters in tape operations
Use of a computerized clinical decision system in a diabetic clinic
Linguistic Correlates of data structures (abstract): the THAT language
Automatic Steno translation
Sorting by hashing and inserting
Multiple Object Representations
Load Balanced Deadlock-Free Deterministic Routing of Arbitrary Networks
A Sequential Abstract Machine for a Distributed Logic Language
Instruction reference patterns in data flow programs
Engineering applications II: Image processing
The EZ GCD algorithm
Information retrieval II: Variable Information Processing
Design considerations for a Boolean search system with automatic relevance feedback processing
A numerical integration method with non-uniform intervals
Factors related to EDP personnel commitment to the organization
THM-NET: an approach to office systems modeling
Perspective on local area networks
Optical disks (Panel): effecting successful integration
A routing algorithm for three stage rearrangeable Clos networks
Reverse software engineering of a graphics software system
Two algorithms for image display using redefinable character sets (abstract)
SOPHIE: a pragmatic use of artificial intelligence in CAI
Progress of the whirlwind computer towards an automatic programming procedure
Analysis of computational systems: Discrete Markov analysis of computer programs
Problem areas in estimating costs of computer-assisted instruction
A formalism for views in a logic data base
Providing personal desktop computing recommendations
An algorithm for selecting and sequencing statements as a basis for a problem-oriented programming system
Superlinearly convergent methods for unconstrained minimization problems
A niche for structured flowcharts (abstract only)
Automatic programming and compilers III: A report on the status of SMALGOL
Design of diagnosible automata
Computer technology at Case
A case for the GOTO
A mode analyzing algebraic manipulation program
MANIAC
Update: Cooperation amoung computer organization (Panel Discussion)