yusuke1997/dblp-id-title huggingface dataset:
Programming support for the NASA space station data management system (abstract only)
Real time information processing II: Real-time simulation of a cruise missile trajectory
An extension to the external path length theorem
Computer based human communication: Lessons of the seventies, directions for the eighties
Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28 - March 2, 1995
Computational work
A modularized package of dual algorithms for solving constrained nonlinear programming problems
An Approach to Modeling and Measuring the Design Complexity of Abstract Data Types
The use of theorem-proving techniques in question-answering systems
A system for network picture processing with interactive computer graphics
A response generation mechanism for an intelligent active assistance system
Automating The Office (Panel Discussion): user experiences
PARDES - An Enhanced Active Database System (Abstract)
DEBL: A Knowledge-Based Language for Specifying and Debugging Programs
Impact of computer technology on communications
A bull's eye view of management and engineering information systems
The organization of the SHARE Algol 60 Translator
TWIST-TOP: Transputers with I-Stores Test Out Processor
The application of high speed computers to number theory tables
Summary of the current state of microprocessor technology
R & DC 265-a time-sharing, batch, data acquisition computer system
CATSY (abstract): an electronic alternative to the chalkboard
Applications of the inner product computer
A complete binary tree based system for activation of concurrent processes (abstract only)
Educator's view of structured concepts
Strategies for operating systems in computer networks
Simulating human problem solving which requires successive decisions (abstract only)
Multiprocessor software design
String analysis and synthesis in SL5
An Introduction To DIAM Levels Of Abstraction In Accessing Information
Organizational change and educational computing
A study of spatial data management and analysis systems
Data Usage And The Data Base Processor
Estimation of motion and position of a rigid object using a sequence of images (tridimensional Kalman filter approach)
A Rapid Prototyping System for Real-Time Systems
Automatic diagnosis of computer faults using computer systems
The value of incremental information in an interactive group estimation task
A Symbolic Substitution Based Parallel Architecture and Algorithms for High-speed Parallel Processing
CG-1, a course generating program for computer-assisted instruction
Sensorimotor learning in a simulated physical environment
The semantics of a mathematically oriented computer language
Shape from projected light grid (abstract only)
Many-to-one packet routing on the mesh
Computers and ethical judgment in organizations
A survey in the selection and capability of personal computers for student use
Knowledge-based adaptive curriculum sequencing for CAI: Application of a network representation
Computer design: Generalized measures of computer system performance
A voice recognition system for computers
An investigation of the inconstistencies of the RIM-5 relationalinformation management database management system (abstract only)
PLAXPERT - an expert system for incorporating design for testability in programmable logic arrays
Automatic programming and compilers I: Control techniques in the CL - II Programming System
A small scale multi-microprocessor network controller (abstract only)
Concurrency control for distributed multiversion databases through time intervals
A functional language architecture that supports fine-grain parallelism (extended abstract)
Sets and graphs in GRAAL
Data bases
The impact of professionalization efforts on the computer manager (Panel)
Computable Real Numbers and Why They Are Still Important Today
Methodology to design and implement an expert system for aids
The FORTH approach to operating systems
A graphical representation of tasks for multiprocessing
'PRABHA' - A Distributed Concurrency Control Algorithm
Syntactic approach to image analysis (abstract only)
The Mesh Superceded?
Graphics and animation in expert systems for language tutoring
Design of an Oncology Clinical Information System
Interactive theorem retrieval and generation
On - line simulation
The user of simulation languages - the forgotten man
Algorithm variable and fixed charges (abstract): a case of branch-and-bound methodology for single processor scheduling system
How IT will transform the experience of telling and listening to stories
Recent advances in information retrieval (Tutorial Session)
A model for next generation hypermedia systems
The simulation of a RISC processor with N.MPC
Natural language processing in intelligent information retrieval
Analysis of Timing Hazards in Ada Programs
Computer aided graphics in architecture and planning workshop
Development of numerical control programming languages in Europe
Contingency planning and disaster recovery
Extended Object Oriented Model to Design Relational Databases (Abstract)
EDP documentation - "human communications software" in the computer age (Presentation Abstract)
Programming with abstract data types, some examples
Closed-Form Statistical Estimates Of Optimal Solution Values To Combinatorial Problems
Automatic programming and compilers II: The COLASL automatic coding system
A simplified universal Turing machine
An interactive macro language application to a tracking problem and to a best ellipsoidal bounds problem
Recognition system design by statistical analysis
An uncertainty-based software testing model using test universe partitions (abstract)
On designing a reconfigurable modular fault-tolerant binary tree architecture
Moses: a graphics oriented software development environment
Some computer system implications of magnetic bubble memories
Massively parallel hash algorithms and performance
On the need for a scientific programming language
A Multimedia Synchronization Model Described by Boolean Expressions
Heuristic real time feature extraction of the electroencephalogram (EEG)
The origin of the abacus and its development
Professional development seminars: The myths of the computer consultant
Proceedings of the 11th ACM national meeting, ACM 1956, USA
NAPSS - a numerical analysis problem solving system
Artificial Intelligence Applications to Communication Network Design with Bulk Facilities
A Chinese Character Relational Database Management System (CCRDBMS) on IBM PC
Toward a theoretical basis for estimating programming effort
Best first search in and/or graphs
HABEAS - a Structural Dynamics Analysis System
Reliability modeling techniques for self-repairing computer systems
An O(KN lgN) Algorithm for Optimum K-Level Quantization on Histograms of N Points
A Requirements to Test Tracking System (RTTS)
Genetic Algorithm Application in a Machine Scheduling Problem
Partial evaluation of logic programs
A text management innovation
Digital storage using ferromagnetic materials
Current topics in fortran development: Macros and Compile-Time Processing
Software engineer, the system designer
The role of fourth generation languages in computer science education (Panel)
Computers in schools grades K-12 (Panel Discussion)
Design of a multi-level file management system
Interactive simulation of biomechanical systems: The kinematics and stress of the human knee
Predictors of turnover among computer specialists
Proceedings of the 19th ACM national conference, ACM 1964, USA
Multinomial acceptance sampling
Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, Denver, Colorado, USA, October 14-16, 1985
Input-output translation in the SHARE 709 system
Summary of CODASYL report on "selection and acquisition of data base management systems": CODASYL system committee
A suitable relational model for temporal databases (abstract only)
Design principles for software manufacturing tools
The Impact of Machine Learning on Expert Systems
Automatic programming and compilers II: WIZOR, a compiler, compiler for the GE 225 computer
Proceedings of the 1974 ACM Annual Conference, San Diego, California, USA, November 1974, Volume 2
Food distribution
A general purpose translation demonstrater
Problems facing large Health Information Systems
Computer Braille in the Atlanta School System
Computer generation of series and rational function solutions to partial differential initial value problems
Cambridge project (Panel Session): The consistent system
Animating Hashing Algorithms for Computer Science Education
Issues in Formal Semantics of an Object Oriented Database
SIGART(Tutorial Session)
History of mechanical computing machinery
The lambda calculus and its relation to programming languages
Software implications on future architecture designs
Transformations Between Tree Permutations and Inversion Tables
Cartoons: An initial investigation of animated graphs
Xref: a universal cross referencer
Reuse of Compiler Analysis in a Programming Environment
A Two Dimensional Buddy System for Dynamic Resource Allocation in a Partitionable Mesh Connected System
Social science computing (Paper Session): Tools for policy making and education
Mechanical construction of type-checking predicates for extensible data types
On Generating Random Permutations with Arbitrary Distributions
A basis for the design of Operating System Command and Response Languages
Artificial languages: The use of chain list matrices for the analysis of COBOL data structures
Lamport's algorithm reconsidered
Computers Then and Now - Part 2
Improving white collar productivity
Background reading in microprogramming and emulation
Intelligent data representation for curve string structures (abstract and references only)
A method for constructing generalized non-normal-form models
An educational version of a symbol manipulation language
Exploiting Parallelism Through Run-Time Analysis on a Vector Processor (Abstract)
Future directions in optical computing (panel session)
Managing systems more effectively through Life Cycle Management
A system for general-purpose analog-digital computation
Models in teaching programming languages (abstract only)
Some dynamical properties of sequentially acquired information (abstract only)0
Information, Data, Security in a Networked Future
The executive office of environmental affairs systems modernization project
On A System For Adaptive, Parallel Finite Element Computations
The alvey DHSS major demonstrator
A pivotal function approach to estimation and prediction for a model of software reliability
Visual Execution of Assembly Language Programs
SIGMINI (Paper Session)
Software Reengineering - Hype and Reality (Abstract)
Data compression using hash code generated tables (abstract)
Object-oriented ray tracing (abstract only): a comparison of C++ versus C implementations
A relational storage scheme suitable for derived views
Entity relationship modeling in object-oriented software development
Structured systems analysis (Part II)
Validating The Utility Of Abstraction Techniques
Introducing Ada
Dynamic detection of parallelism in Pascal-like program
Evaluation and performance of computers: the program monitor - a device for program performance measurement
Management information systems: A modular approach to business EDP problem solving
A design method for nested relations (abstract)
Error estimation and control in O.D.E. integration
An analysis of a use bit page replacement algorithm
An order f(K)N sort (abstract)
The Fifth Generation grail: A survey of related research
Improving iterative improvement
Strategies for database schema acquisition and design
An experiential logic for nonmonotonic reasoning (abstract and regerences only)
A prototype DBMS with a Turkish query Language
Automatic deduction and equality
Mini-computers in a social science instructional context
Perspectives on testing for programming aptitude
Evaluation of materials using a rule-based non-destructive monitoring system (abstract)
Inference in a statistical database a solution with noise
An integrated model for automated planning and estimation
A Chinese natural language query system giving information about computer science
Optimal parallel coloring algorithms for a family of tree-representable graphs
State of the art issues in distributed databases (ACM 81 Panel session): Transaction processing issues in the distributed database tested system
Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, ACM 1959, Cambridge, Massachusetts, USA, September 1-3, 1959
Programming and its implication on programming languages: Overview and introduction
Physical design of a menu relational database system package (abstract only)
An on-line question-answering systems with natural language and pictorial input
Denotational Semantics of a Calculator
Information technology and transaction processing jobs: a cognitive approach
A Finite Machine Description of a Lexical Analysis Using Table Look-Up
Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986
Hierarchical process composition (abstract)
Handling of recursion in dataflow model
The assignment axiom and programming language design
Program confinement in KVM/370
A reliability field surveillance program
System integration as a programming function
Complex information processing: a language for class description and its processor
SIGMINI (Tutorial Session)
The evaluation, classification and interpretation of expressions
REGULUS: A general purpose macro processor based on regular expressions part one
Experimental comparison of software metrics (abstract only)
Semantic preprocessing
An Object-Oriented Specification and Its Generation for Compiler
Proving properties of shared data structures application to functional programming
An all cycle algorithm for undirected graphs
Ada '82 - status, use and application techniques
A computer architecture for highly parallel signal processing
Analysis of computational systems: Cumulative polygon address calculation sorting
The elements of SETL style
A comparison of two object-oriented design methodologies (abstract only)
A simulator generator based on formal descriptions of architectural, load, and operating system models
"A new technique for the solution of complex partial differential equations"
Why Ada is not just another programming language
Elementary shape construction on a microcomputer (abstract only)
Ada Requirements Methodology (ARM)
Social aspects and responsibilities (A Panel Session): Computers as generators of economic growth
Where do formal methods fit in software evaluation? (abstract and figure only)
Intelligent systems for statistical process control in steel (abstract only)
A comparison of channel-management algorithms for reversible data channels
Pest management modeller's workbench (abstract only)
Successful placement of freshman computer science majors (abstract)
Adaptive training for connectionist state machines
Programmed grammars with multi-production core and their applications (abstract)
An implementation system for designing computer-based experiments
Software development staffs in the seventies and eighties
SIGACT (Paper Session)
Business and management data processing II: On the scheduling of jobs by computer
A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace's equation
System-Level Testing of Distributed Systems
Function minimization on special computers
( k, R, r )-anonymity: a light-weight and personalized location protection model for LBS query
Syntactic analysis and design environments (session overview)
Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987
Merging Task-Centered UI Design with Complex System Development: a Risky Business
Relating Psychology's Moral Development Levels to the Ethical Use of Computers (Abstract)
Petroleum
Second order methods for the solution of stiff ordinary differential equations
Educational pathways to computing careers in health care: Education for leadership in the health computing profession
Computer and information sciences program for high school students
Alternative Approaches To Wiring The Office Of The Future (Panel Discussion)
Interactive Journal-Title Searching via a Network of Concept-Atoms
Experiences with CHUTE
Prospectives on computer science: twenty-five years of observations
1983 Acm annual conference: "Health and safety aspects of office automation - the European scene"
Channel analysis for the IBM 7090
Computer use and grades (abstract only)
Networking with small computers: Intermediate-level communication protocols
Automated facilities Layout Programs
The IBM information retrieval center-(ITIRC) system techniques and applications
The emerging technology of CAD/CAM
Design of an on-line decision support system for process control
The future of natural language processing (Panel Discussion)
Extending the Behavioral Capabilities of the Object-Oriented Paradigm with an Active Model of Propagation
A tokenless ring protocol for local area networks (abstract)
Using subprograms as the main primitive in teaching Ada (abstract only)
An approach to the total design of instructional systems by simulation
A display-optimized processor
Gathering and analyzing data from a computer system: A case study
The dynamic re-evaluation of alternatives and the emulation of human decision making
Why A Curriculum In Health Computing?
Recursion induction applied to generalized flowcharts
Flow graph analysis using linear connected regions
Comparing Object-Oriented and Data Flow Models - a Case Study
Communication In X-TREE, A Modular Multiprocessor System
Issues on knowledge bases: a capital budgeting example
A tutorial on natural-language processing
Computer education technology (CET)
A frame-based approach to hardware verification (abstract only)
COKO III and the future of inter-snap judgment communication
Computer applications in a cable television environment
SIGSAM (Paper Session)
A generalized technique to solve phase-1 linear programming problems with modified phase-2 methods
A Model to Evaluate the Effects of the BWB Mechanism in a DQDB Network in Underload Conditions
Business and management data processing II: A systems approach for the application of computerized scheduling techniques and the RCA-PERT/Cost program
A Chart Representation for Delineating Computer Disciplines (Abstract)
Structured flowcharts outperform pseudocode across five measures: an experimental comparison
Visualization of a User's Information Space
Information for competitive advantage: implications for computer science education
Real-Time Simulation For Verification Of Tactical Electronic Warfare System
Applications of computer simulation and related techniques to patient scheduling and medical administration
The design of fixed-point iterations
Survey of empirical studies of graphical representations for algorithms
Chrysler message switching today and tomorrow
A computer controlled cartridge case quality assurance inspection system
Language constructs for message handling in decentralized programs
Session M4: Women in the workplace
Interpolation procedure for closed curves
DRAFT (abstract only): Dynamically Reconfigurable Architecture for Factoring Tests
Thor: a server-level hybrid switching data center network with heterogeneous topologies
A CAD system for the capture of combat casualty care information
An algebraic language for graphical query formulation using an extended entity-relationship model
The notion of quantitative invisibility and the machine rendering of solids
Programmed buffering of input-output on the 709
Applications of symbolic and algebraic manipulation systems I (Panel Session)
Direct Execution Of An Algebraic Oriented Language
Control structures in programming languages - Part II (Panel Session): "The GOTO controversy"
Office automation: planning & implementation
SHARE 709 system supervisory control
Conditions On Acquisitional Models
An expert system for tuning a macroeconometric model (abstract only)
Dynamically Balancing a Binary Tree (Abstract)
On the syntax and semantics of horizontal microprogramming languages
Working In The Computing And Engineering Profession: Career planning and educational alternatives
Is natural language an unnatural query language?
FDDI and Timing Requirements for Image Transmission
Neural networks for molecular sequence database management
A Constant Response Time Simultaneous Access Dictionary Machine
Mobile Computing and Communications (Abstract)
The CABER Project: The Capture and Analysis of Behavioural Events in Real-Time
System integration (panel session)
ALHARD: An Application-Oriented Language for Hardware Simulation
Computing multiple modulo summation (abstract only): a new algorithm, its VLSI designs and applications
Simulation in a tax model
Proceedings of the ACM annual conference, ACM 1972, Boston, MA, USA, August 1972, Volume 1
FDIC Bank Management Simulation
Multiple Feedback Queue as a Model of General Purpose Multiprocessor Systems
A parallel best-first search
A space improvement in the alternating semantic evaluator
A graphical abstract data type simulator
Development of an entry level computer applications course in a small liberal arts college (abstract only)
Meta-interpreters for expert systems (abstract)
Extending The Power Of Decision Support Systems 1 And 2 (Panel Discussions)
Teacher certification in computer education
Invited papers - 3: A new programming language: PL/1
Scheduling periodic time-critical tasks on a multiprocessor system (abstract only)
Teaching procedural literacy (Presentation Abstract)
Computer Science And Numerical Analysis
Experiences with the goddard computing system during manned spaceflight missions
Segmentation in Chinese natural language understanding using a massively parallel approach (abstract)
A general system for computer based acquisition, analysis and display of medical image data
Putting "Engineering" into Software Engineering (Abstract)
Systolic VLSI array for fuzzy logic in expart systems
Network protocol: A structured approach
Standardised printed circuit units for digital computers
Using Statistical Sampling for Query Optimization in Heterogeneous Library Information Systems
Extending Earley's context-free parsing algorithm for string pattern matching
Selection and evaluation of computer personnel- the research history of SIG/CPR
What Employers Look For In Hiring Computer Science Graduates (Panel Discussion)
System study of a dial-up text reading service for the blind
Intertask Communication Realized with an Interrupt Mechanism
On efficient balanced codes
Stylitism, Synergism, And Syncretism: The interface of computer science and operations research
Why industry hires our graduates
Reducing risk for central site equipment moves
An Illustration of Extending Structured Software Development to Include Object-Oriented Techniques
SIGBDP 3 Performance measurement and data base design (Panel Discussion)
INTOP, an international business game
User identification, access control, and audit requirements
"Simple" approximations
An inquiry into the computer automation of super markets
Numerical solution of the boundary layer equations without similarity assumptions
A Relational Problem Definition Language For Structured Data Processing
Efficient Routing Techniques for Cooperating Processors in Dataflow Computers
A guide to recent advances in integer programming methods
An Engineering Analysis System
A methodology for supporting existing CODASYL databases with new database machines
Public cryptography outlook
A Comparison of Object Oriented Simulation Languages (Abstract)
Panel on office automation (Panel)
Generating a requirements specifications knowledge-base
On the Danilewski method for computing the characteristic polynomial
Using Focusing Search Algorithms and a Strong Heuristic to Solve the Findpath Problem in Robotics
Combining Artificial Neural Networks and Statistics for Stock-Market Forecasting
Anintroduction to Ada
A brief account: Implementation and applications of a Pascal program verifier (Position Statement)
Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979
Preparing Society for the Information Age