yusuke1997/dblp-id-title huggingface dataset:
Retrieval systems(Tutorial Session): documents and data
Computer Usage Development Corporation
Summary of paper
A Genetic-Based Solution to Load Balancing in Parallel Computers
Searching Tree-Structured Directories: A Comparison of Two Methods
The machine loading problem
The design of an object oriented graphics interface (abstract only)
Real world scene analysis in perspective
TECGRAPH- Technical Computer Graphics: A program package for computer aided design
Distributed database/file systems (session overview): introduction
Developments in Office Automation Technology Facilitate Decentralization of a Management Information System
A high level computer control language
Semantics Modeling Issues for Processing Natural Language Database Queries
On the use of transition diagrams in the design of a user interface for an interactive computer system
Workplace impacts - ai and automation: Privacy and accountability of large-scale high-capacity personal data systems
A Critical Review of the Notion of Algorithm in Computer Science
Cognitive processes in information storage and retrieval
Effective management of simulation and modeling projects
Declarative Ada: Parallel Dataflow Programming in a Familiar Context
Artificial Intelligence in Education (Panel)
An experimental study of computer system performance
When are pointer arrays better than chains
Object-oriented design: is it enough for large Ada systems?
Incorporating Semantics into 2-D Strings
SHAPESHIFTER: An interactive program for experimenting with complex-plane transformations
Virtual memories for mini-computers
Complete Sequential Specification Allows for Concurrent Execution
CRA Workshop on Academic Careers for Women in Computer Science
Technical market analysis using a computer
Data structures: pointers vs. arrays.when, where and why
Increased Productivity Using a Preprocessor for Dataflex Fourth Generation Database Language (Abstract)
Women in management - entering and growing(ACM '81 Panel Session Abstract)
Performance of Hash Files in a Microcomputer Based Parallel File System
General interest (Paper Session)
New computer-assisted instruction system for UNIX systems
ICE - intelligent computer explanation (abstract only)
On the scope of static checking in definitional languages
Computer impact upon the public
Computer programming and coding at the high school level
On the collocation method for the solution of boundary value problems
Solving linear programming problems stated in English by computer
Continuing education in information system development
Models of Pure time-sharing disciplines for resource allocation
Everything you need to know about Multilingual LLMs: Towards fair, performant and reliable models for languages of the world
An interactive system for computer-aided design of printed circuit boards
Memory utilization efficiency under a class of first-fit algorithms
A design for the education of computer programmers at the associate level within a baccalaureate level institution
Purchase costs - a cost-quantity analysis
RABBIT: An interface for database access
Computer-assisted instruction: Specification of attributes for CAI programs and programmers
A similarity index for convex polygons (abstract only)
Compiling routines
Computer Aided Software Engineering (CASE) Based on Transformation with Object-Oriented Logic (TOOL)
A choice of language to support medical research
Parallel homotopy algorithms
Automatic programming and compilers II: The FORAST programming language
Algorithm dynamics
A method for synthesis of two-valued feedback circuits
Analyzing synchronization problems by using event histories as languages
The Emergence of True Machine Intelligence in the Twenty-First Century (abstract)
Expert systems seminar
Modeling dynamic entities in relational databases (abstract)
Ans MUMPS in a multi-lingual operating system
The computer profession in the 1980's: An Orwellian interlude? (Panel Discussion)
Parallel VLSI computation of all shortest paths in a graph
SICDOC (Panel Session)
New syntax for if- and case statements
A structure based measurement of software
SIGNUM (Tutorial Session)
Graphic systems performance evaluation
Hybrid small class teaching: dividing and conquering large computer systems classes
Computer-aided design of mechanical linkages
Parameter Passing: A Window into Students' Views of Programming (Abstract)
Artificial intelligence research in medicine
Electronic Mail in an Expanding Universe (Abstract)
An approach to automatic robot programming
Associative techniques in the solution of data management problems
Engineering applications I: Implicit function simulation of the ablation problem using Finite Fourier Transforms
Reconfigurable Pipeline Systems
An approach to standardizing computer systems
The P method, a design philosophy
The design of an intelligent interface for a laser optical system
Computer aided exam generation (Session Summary): Some thoughts on a taxonomy of related efforts Richard Brewer
System balance analysis for vector computers
An economical electronic point-of-sale updating system
Data flow relation processor for knowledge base machine
Small problems on large computers
Servomultiplier error study 1
Design constraints in the construction of a truly distributed operating system (abstract only)
Simulation of dispatching algorithms in a multiprogramming environment
A unified code generator for multiple architectures
Integration through intermediary system networks
Nial: A candidate language for fifth generation computer systems
Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization
Waveform correlation using relational tree (abstract)
Proceedings of the 1983 Annual Conference on Computers: extending the human resource, ACM '83, Sheraton Centre Hotel, New York City, USA, October 24-26, 1983
Open systems standardization
Parallel image processing algorithms (abstract)
Computer Science in the High School: What Computer Professionals Need to Know and Do (Abstract)
Conditional syntactic specification
The Quadratic Arc Computer
Applications of symbolic and algebraic manipulation systems II (Paper-Panel Session)
Binary arithmetic for discretely variable word length in a serial computer
MINOS: regulating router dataplane actions in dynamic runtime environments
A reconfigurable software style expert system (abstract only)
Emulation in a telecommunications environment
The "highly intelligent" tablet as an efficient pointing device for interactive graphics (Preliminary Report)
Information and transformations on general arrays
Double- and Triple-Step Incremental Generation of Lines
Development and utilization of a space station mission simulation model
Human factors design criteria in man-computer interaction
Caricatures from images
Security and audit: Needs of the business sector for security and integrity controls
Evaluating computer graphics systems organizations(Panel Discussion)
Reliable distributed database systems (abstract only)
SIGCSE (Paper Session)
Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I
Conceptual prototyping
Optimum concentrator location in telecommunications design
PCDEC, an interactive decision table system for personal computers (abstract only)
Circuit realization of binary functions using threshold devices
An expert assistant for qualitive curve generation in engineering (abstract)
ACM97 closing comments
LAN based distributed database management system architecture (LADDBMS) (abstract only)
Heuristic Exhaustive Search in Automatic Knowledge Acquisition (Abstract)
A software science analysis of programming size
A parallel algorithm for finding a maximum flow in 0-1 networks
An analysis by arithmetical methods of a calculating network with feedback
An appreciation of computer appreciation
Use of Intelligent Computer Aided Instruction in the Classroom (Abstract)
Autonomous land vehicle project at CMU
Knowledge acquisition for classification expert systems
A Taxonomy of Views in OODBS
Locality in distributed computations
Streamline architecture of network simulator to facilitate teaching of computer networking
Resource scheduling: specification and proof techniques
Functions as Objects in a Data Flow Based Visual Language
An on-line symbolic mathematics system using hand-printed two-dimensional notation
A syntax-directed approach to inverse compilation
Detecting intersection of two convex polygons in parallel
Conducting a survey of computer technology graduates (abstract only)
Networking with small computers: Applications for home delivery of library services
FlashSkipList: indexing on flash devices
Continuing education services of the IEEE computer society
Performance of three dataflow computers
Integrated materials management simulation exercise
Resultant procedure
An attribute-based file organization for a relational database
Hash coding for dictionary storage and word-matching used in decoding substitution ciphers (with application to OCR) (abstract)
Liberal arts curriculum and computer science education (Panel Presentation)
The Generating Power of the Boundary NLC Graph Grammars
Medical modeling and decision making
Some recommendations for designing effective DSS (abstract only)
Incorporating usability into requirements engineering tools
Data base machines used as rear-end processors
Nonlinear optimization: Some procedures and examples
The specification of program flow in Madcap 6
Language directed computer performance evaluation
Academic and administrative computing in small and medium sized colleges
A Cascading Neural-Net for Fraffic Management of Computer Networks
There's still a place for interpreters
Digital processing of the speech of deaf children
An architecture for heterogeneous computer integrated manufacturing system
Computer design: Applications of redundancy to improve the accuracy of binary systems
Problem dynamics and working set principle as applied to concurrent processing
Algebraic Petri Nets and Their Applications
Distributed Compilation Metrics (Abstract)
An object-oriented, knowledge-based approach to simulation
Pure and applied programming
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, CSC '94, Phoenix, Arizona, USA, March 8-10, 1994
Recruiting computer personnel at MOPAC - a case history -
Graph separability and word grouping
Precursor for parallel development
The University Of Toronto Model Electronic Computer
Evaluation and performance of computers: TRAFFICSIM - a design/evaluation tool
Property computation in Grapple (abstract only)
The simulation of partial differential equations on the digital differential analyzer
Mathematical software development for super computers (abstract only)
A network-based research support facility and data archive
FORMAC an experimental formula manipulation Compiler
Data Security for Object-Oriented Programming Systems Based on Inference Engines (Abstract)
The comparison of programming languages: A linguistic approach
Digital communications technology (Tutorial)
Efficient parallel algorithms for some integer problems
A model for the design of distributed databases (abstract only)
Distributed Systems and Self-Organization
SUMEX: a resource for applications of artificial intelligence in medicine
The undesirability of rigid standards for programming languages
SIGCUE (Paper and Panel Session)
Augmented Priority Ceiling Protocol: Task Synchronization for Preemptive Real-Time Systems
Interactive task behavior in a time-sharing environment
The design of a flexible real time simulation of terminal area air traffic
Business and management data processing I: ICON - a management information system
On-line international cash management
Facilitating speech recognition with atuomatically generated ATN's, theme identifiers, and syntax analyzers (abstract only)
The construction of recognizers
The Design and Evaluation of Parallel Algorithms (Abstract)
Topics in numerical mathematics (Paper Session)
PRONOUNCE (abstract): a program for pronunciation by analogy
N-decomposition and decomposition matrix for automata
Applications in the physical sciences: Clinical applications in medicine
An application of network flow programming to locate concentrators in a communication network
An internetwork system that supports replicated data (abstract)
The Licensing of Computer Professionals (abstract)
Priority determination/discrimination networks: Alternatives to conventional design
The art of the algorithmist
The computerized statesman: Further explorations into the escalation of conflict
Reporting computer performance to management
Computer design: The minimization of Boolean functions containing unequal and nonlinear cost functions
Enhancing the Performance of a Dynamically Partitionable Bus Network Using a Graph Coloring Algorithm
Representation of Scientific Hypotheses for Use by the Expert System, Research Assistant: The Setup
An algebraic approach for assembler construction (abstract)
Botlzman controlled backtracking in solution of AI search problems (abstract only)
Using microcomputers as satellites in a time-sharing environment
Computational experience with the Central Cutting Plane Algorithm
The effect of windows on man-machine interfaces (or opening doors with windows)
An efficient form of inverse for sparse matrices
A distributed file system
Concurrency control by transactions carrying states and preordering universioned entities
The NETFORM concept: A more effective model form and solution procedure for large scale nonlinear problems
Information resource management(IRM): Theory applied to three environments
Discovery and learning techniques for pattern recognition
Robust knowledge bases (abstract)
A Pilot Card-Based Hypermedia Integrated with a Layered Architecture-Based OODB and an Object-Forwarding Mail System
A unified approach for solving bottleneck k-bipartition problems
Multiprocessor hardware: An architectural overview
New directions in the management of data processing training
Experimental investigation of a forest of quadtrees (abstract only)
Grammars for functional languages
A Formal Approach to Program Inversion
The future of software, the software industry, and Windows '47
Strategies for Distributed Search
An image matrix for accessing files
A Rule Network for Efficient Implementation of a Mixed-Initiative Reasoning Scheme
Yes! high level languages should be used to write systems software
A look at characterizing the design of information systems
Using ADA as a design language - classroom experience
Performance evaluation of multiprogrammed time-shared computer systems
Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language
A multiple-product production simulation system for the micro-computer environment (abstract)
Programming Distributed Systems
A differentiation primitive for extended λ-calculus
Analysis of algorithms implemented in software and hardware
Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989
SIGBDP 9 structure of future systems (Panel Discussion)
NL TEMPLATE: an approach and tool for building practical natural language interfaces
Panel on computer science curriculum (Session LI)
Publishing a computer science textbook (panel session)
Security Constraint Processing in a Distributed Database Environment
PIRL - Pattern Information Retrieval Language - design of syntax
A class of number representations for parallel arithmetic
Nodes and arcs, the ideal structural primitives for language?
A user friendly interactive graphics system (abstract only)
Ring-Connected Hypercubes and Their Relationship to Cubical Ring Connected Cycles and Dynamic Redundancy Networks
Hyperflow: A Uniform Visual Language for Different Levels of Programming
Business Information Analysis and Interaction Technique (BIAIT): Finding the big Payoff Areas
The use of sub-routines on SEAC for numerical integrations of differential equations and for gaussian quadrature
A numerical technique for analytic continuation (abstract only)
Office automation and the changing definition of the workplace
Tasking troubles and tips (abstract)
A generalization of Horner's rule for polynomial evaluation
The design of a high-level, language-independent symbolic debugging system
An analysis of natural vs. synthetic speech intelligibility: A preliminary appraisal of a reading machine for the blind
Management Information System simulation models: A conceptual approach
Multi-View Access Control Memory Computer System
Definition and Analysis of a Class of Spanning Bus Orthogonal Multiprocessing Systems
A survey of enhancements to the alpha-beta algorithm
On rational solution of the state equation of a finite automation (abstract only)
An Experiment to Determine Software Reusability Factors (Abstract)
MPGS: a high-level language for microprogram generating system
An algorithm for retrieving indexed documents and its application
Sensitivity problem in dynamic file organization
A very small information retrieval system
Programming Languages - Past Achievements and Future Challenges
Intelligent CAI: The role of the curriculum in suggesting computational models of reasoning
The computerized electrocardiogram: A model for medical signal analysis
Design optimization of small logical systems
A computer simulation model of driver-vehicle performance at intersections
Are the universities meeting the needs of the industry? Is industry holding up its end of the deal? (panel session)
Using metrics in software lifecycle models (abstract and references only)
A new class of two stage parallel sorting schemes
Using plans to understand natural language
Control of design data in the integrated ship design system
A disk emulator for the Commodore 1541 disk drive (abstract only)
The use of an algebraic language as both a source and target language
Decentralized Mutual Exclusion in the Presence of Link Failures
A hierarchical network approach to project control systems (abstract only)
The Role of Term Symmetry in E-Completion Procedures
Access control in a relational data base management system by query modification
Process-Originated Migration in a Heterogeneous Environment
Groundwater model selector (abstract only)
Computer modules - an architecture for a modular multi-microprocessor
An approximation method for knapsack problems (abstract)
Measurement and evaluation of modern programming practices
Performance analysis of error-detecting-and-correcting codes in a random-error environment
A Model of the Contention Resolution Time for Binary Tree Protocols
Impertinent Question-Answering Systems: justification and theory
Multiuser microcomputer systems
Controlled natural language interfaces (extended abstract): the best of three worlds
System for Heuristic and Rapid Processing of Component Layout and Wiring (SHARPCLAW)
Survey of personal interactive multimedia technologies
What Really is Rapid Prototyping for Real-Time System? (Abstract)
The DIAMOND Security Policy for Object-Oriented Databases
A formalization of a query language for complex objects
A control program for Computer Assisted Instruction on a general purpose computer
The theory of counting techniques
Case studies on the implementation and use of database management systems
Future applications of computerized conferencing
Grammatical relational database model (abstract only)
Automatic propagated and round-off error analysis
On the method of minimum (or "best") approximation and the method of least nth powers
Documentation in the computer age: Control and audit implications
A method for identifying irregular antibodies in a sample of serum
Analysis of heurisitc search models
The design of the Dipmeter Advisor system
The impact of government regulations and policy on the computer industry
A universal relation language interface for INGRES
Characteristics and models of program behaviour
Acceptance testing of expert systems: issues of verification and validation
A Data Modeling Framework for the Performance Analysis of Sequential and Parallel Software
A Portable Implementation Method of Lucid with Message Passing
Interfacing Realities to the Human Body (abstract)
Programming conversational use of computers for instruction
Computer security: a turorial
A hybrid oriented interactive language
Business and management data processing II: A multi-variant generalized sort program employing auxiliary drum storage
Professional development seminars: The horror of the frozen specification
Design developments in information management through selective dissemination and retrieval systems
Curriculum recommendations for a master's program in information systems development
Invited papers: History of writing compilers
Ada software development using generics
ShadowPWD: practical browser-based password manager with a security token
Linear circuit analysis by symbolic algebra
Determining the currency of dynamic data
How IT will change the face of war
Computing personnel turnover: A review of the literature
On the construction of algorithm translators
A demographic and attitudinal profile of general education students in a CS survey course (abstract only)
Operating efficiencies and characteristics of the computing machines at aberdeen proving ground
Performance of Multiversion Concurrency Control Mechanism in Partitioned and Partially Replicated Databases
The value of digital simulation in tactical computing systems
Visualizing Action Semantics
MOOC student dropout: pattern and prevention
Automated information systems as social resources in policy making
Software distribution (panel session)
Design specifications for an information retrieval system management game
Computer assisted learning using videodiscs
An Evolutionary Approach to Combinatorial Optimization Problems
Experience with intersession courses in computer science
M-timed Petri nets and Markov chains in modelling of computer systems
Performance evaluation of anomaly-detection algorithm for keystroke-typing based insider detection
Computer-aided communications: New Directions for Higher Education
PARTIAL: a tool to support the metrics driven design of Ada programs
On rational function approximations to the exponential function with application to the practical solution of linear differential difference equations with constant coefficients
A system for counting and recording electrical impulses in printed decimal form
Recognition and representation of parallel processable streams in computer programs-II (Task/process Parallelism)
Privacy and protection in operating systems (Panel Session)
Information systems: (Panel Discussion): A balanced approach to undergraduate computer curricula
Inferential question answering in a textual data base
Why we Tolerate Defective Software
Theory and practice of software engineering
A view of artificial intelligence
The Computer Sciences Program at Purdue University
A technique for optimizing a function of many variables: Determining the minimum energy configuration of a crystal lattice
Some new systolic designs for two-dimensional convolution
An algorithm for approximating Dirichlet tessellations (abstract only)
Electronic Democracy or Electronic Tranquilizer: Where are we Going on the Information Superhighway?
An Intelligent Business Forecasting System
Information systems performance measurement and evaluation (session overview)
Classes of pebble games and complete problems
From mainframe to micro: Moving a freshman computer course
The *M-ary Tree and *Ternary Hillsort
Joint Use of Simulation and Nonlinear Curve Fitting in Compartmental Models (Abstract)
A user interface for statistical databases
A methodology for multiple rule system integration and resolutions within a singular knowledge base
Educational Perspectives in Collaborative Hypermedia
An engineering simulator
Symbolic computation in nonlinear plasma interactions
Estimation of queuing structure by means of statistical sampling
Theoretical results in compiler design and implementation (Tutorial Session)
Welcome to the ACM Turing Centenary Program
A spatially iterated memory organ patterned after the cerebral cortex
Computers and medical research
In search of heuristics for keyword detection (abstract only): my source of discontent
Capsules: A data abstraction facility for Pascal