yusuke1997/dblp-id-title huggingface dataset:
UL/1: a non-procedural language for retrieving information from data bases
The need to revise the Compiler Compiler
Aims and Scope of the Draft IFIP Code of Ethics (Panel)
The Unified Programming Environment: Unobtrusive Support
Shifts of Origin for the QR Algorithm
An on-line computer drawing and animation system
The BNR Network: A Canadian Experience with Packet Switching Technology
Information transfer experiments at MIT
The use of machines in the construction of a grammar and computer program for structural analysis
Working with IoT - A Case Study Detailing Workplace Digitalization Through IoT System Adoption
On Some Problems of System-System Interactions of Special Type
The Evolution of Personal Computing and Communications Environments
A Computer Art for the Video Picture Wall
Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness
An Experimental System for Logic Design Data Accumulation and Retrieval
A New Paradigm for Distance Learning: Interactive Remote Instruction
Improving Cache Performance Using a Unified Management of Registers and Cache
Inhouse Computer Network Kuipnet
An Algorithm for Noisy Template Matching
Research on Quality of Transaction Standards: The Maturity of a Research Topic
Multiple Colors and Image Mixing in Graphics Terminals
Character Segmentation for Mixed-Mode Communication
Enhancing the Scientist in the Pupil: A Computer Environment Supporting Mathematical Discoveries in the Classroom
Tournaments and handicaps
Research and Practice in Office Automation
Application of a Finite Set Covering Theorem to the Simplification of Boolean Function Expressions
ISDN and X25 - Response
Theory of Program Schemata
Programming in the Large with Algebraic Module Specifications - Response
Data Flow: Achievements and Prospects (Invited Paper)
A New Interactive Geographical Information System Based on Effective Image-Type Map Representation
Mapping a Microcomputer Strategy for Informatics Education
Contribution to the Theory of Indexing
Numerical Calculation of Shock Waves
A Procedure for Generating Visible-line of Solids Bounded by Quadric Surfaces
A Design for an Educational Assembly System
Reliability Considerations in Computer Network Design
Design of an operating system for the control of student terminals in a computer based instructional system
On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts"
Temporal Reasoning Management with Nonmonotonicity
Experiments in Automatic Thesaurus Construction for Information Retrieval
Towards a Broader Notion of the Office
Meta Interpreters For Real (Invited Paper)
FDL: A Language for Designing Large Reat Time Systems
Costs and Benefits of Information Systems
English-Japanese machine translation
Random Access, Reservation and Polling Multiaccess Protocol for Wireless Data Systems
Wired cities - opportunities for small and medium sized cities on the information highway
The Professional Responsibilities of Software Engineers
A Collaborative Science Learning Game Environment for Informal Science Education: DinoQuest Online
A Secure Framework and Related Protocols for Ubiquitous Access to Electronic Health Records Using Java SIM Cards
Hardware and Software Dependability Evaluation: Hardware Dependability
Organizational Response to Changes in Information Technology
Complexity Theory and Monte Carlo Algorithms in Numerical Analysis
NEGOPLAN: An Inference-Based Negotiation Support Tool
Layer N Protocol Decomposition on Subprotocols
Graphical User Interfaces for Blind People
On Periodic Scheduling of Time-Critical Tasks
A Systematic R&D Agenda for Decision Support Systems
GSM Digital Cellular Telephone System: A Case Study of Encryption Algorithms
New directions in mechanical theorem proving
Gentlemen, We Cannot Escape History - or, Why We Study the History of Computing
Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies
Small is Necessary: The Role of Information Technology in Development Communication
Decision Support Systems for Economic Policy Analysis in a Market Oriented Environment
From Formal Protocol Specification Towards Automated Performance Prediction
Methods and Languages to Prove the Power of Probabilistic Machines
System evaluation on the Control Data 6600
Data Flow: Achievements and Prospects - Response
Framing the Critical Issues: The Process
TRIZ and Computer Aided Inventing
Analysis and Modelling of Routing Algorithms in High-Speed Networks
Computing is Interaction
An Allocation Algorithm for Multi-Micro Computers Using Array Structured Data
On the recognition of speech by machine
Beyond Today's Computers
Associative memories in large computer systems and An integrated associateve memory matrix
Issues Influencing the Use of N-Version Programming
The Information Organisation Driving Information Technology
From railway resource planning to train operation - a brief survey of complementary formalisations
Information Engineering and Innovation
Astrée: verification of absence of run-time error
Series Solutions to Differential Equations by Backward Recurrence
Design Problems of Software Special Systems
Static program transformations for efficient software model checking
DAMOKLES - A Database System for Software ENgineering Environments
Solution Boundary Value Problems by a Weighted l 1 Minimization
Improvements in the System Cycle
Automatic Text Generation Through Semiotics and Semantics Approaches
Stochastic train domain theory framework
Design for a Syntax-Controlled Acoustic Classifier
On Strong Tractability of Multivariate Problems
The nu-Conversion and an Analytic Semantics
Information Policy Issues in Developing Countries (Invited Paper)
Beyond CAD to Computer Aided Engineering
The development of a multi-campus regional computing center
The SAGA Approach to Automated Project Management
ROBOPET Robot-Soccer Simulator
On the Combinatorial Complexity of Context-free Grammars
Symposium on the influence of very large memory designs and capabilities on information retrieval
Optimal Load Balancing in Memory Hierarchies
Search techniques with adaptive features for certain integer and mixed integer programming problems
Applications of a Low Cost Graphical Input Tablet
Correctness of Basic Systolic Systems Transformations
An Efficient Strategy for Non-Horn Deductive Data Bases
One, None, A Hundred Thousand Specification Languages (Invited Paper)
A Timed Temporal Logic Framework for Designing Real-Time Applications
An Expert System Approach to Information System Design
An Overview of the Relational Data Theory
Checkpointing in Mobile Distributed Systems
A Semantics for Hybrid Object-Oriented Prolog Systems
The Missing Paradigm - Panel Position Paper
Isolated Word Recognition for English Language Using LPC, VQ and HMM
Should Artificial Intelligence Be More Regulated? - Panel Discussion
CyberRail - Information Infrastructure for New Intermodal Transport Business Model
Pattern recognition in a signal
Collaborative Research Programs in Canada
What Has Gone Wrong with Application Development? Who is the Culprit? Panel Position Paper
Proving Theorems by Construction of Valid Formulae
An Introduction to the Larch Shared Language
Methods for the solution of partial differential equations on digital computers
Extensions of the Internet Protocol for Wireless Communication
The Laurent-Pade Table
Derefinement Algorithms of Nested Meshes
On the Complexity of Semialgebraic Sets
A Dialog Based Interactive Robot
Documental Languages to Improve PC Database Interoperability
Past and Future of Digital Computer Circuitry
Education in Computing Versus User Needs
Problem-oriented computer languages for simulating engineering processes
Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning
A Dual-Level Differentiation Strategy for Fault Localization
Speech Recognition: Prospects of the Seventies
Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models
Controlling Visions and Metaphors
Factorizing Languages
Linking Environmental Studies and IT - a East-West Project in Bulgaria, Germany and the United Kingdom
Academic-Industry Collaboration: Some Success Stories and Experiences in Australia
Pipeline Searching and Sorting Modules as Components of a Data Flow Database Computer
Developing Portable Software
Direct-Execution Computer Architecture
A Type-Theoretic Approach to Program Development
Design of a Transport Layer Protocol for a Special Purpose LAN
Better Tools - Less Education?
Protection and Cooperation in a Software Engineering Environment
Abstraction and Declarativness in User Interface Development. The Methological Basis of the Composite Object Architecture
Capacity Development for Informatics and its Socioeconomic Implications
Design for a Computer-Tutor for Elementary Mathematical Logic
Learning objects interoperability: The ARIADNE experience
Interrogating a Computer in Natural Language
Efficient Implementation of Logic Control Algorithms on Microprocessors
Building computer tools for negotiation - the Family_Negotiator Project
The Reduction Method of Waiting Operands in Dataflow Machine
Software Engineering in Business
Technological and Communications Revolution: A Critical Dimension of Development
ISDN: Will the World Embrace It?
User Adaptivity of Biotelemetric System for ECG Measurement and Visualization
Computers and Health Insurance Models
Computer Assistance in Learning Sign Language
The Design and Impact of Pocket Calculators (Invited Paper)
Integrated Information Processing for Management of Nationalized Industries
Technologies for Storage Hierarchies
A Distributed Implementation Method for Parallel Programming
Decisions in a System of Models for Planning National Economy
Where is the ELITE: Excellent Liberal I. T. Education?
Framework for a Knowledge-Based Programming Environment
Computer Aid to Decision Making, its Irganization and Algorithms
A Heuristic Program to Discover Syntheses for Complex Organic Molecules
Formal Structures in an Informal World
Addressing Vulnerability and Privacy Problems generated by the Use of IT-Security Mechanisms
Progressive Design of Models Using a System Identification Language
A Formal Specification of the PVM Architecture
Technology for TeraFLOPS Computing
The impact of interactive visual display systems on the management planning process
Programming Development with or without Coding
The KT Pilot Computer - A Micro-Programmed Computer with a Phototransistor Fixed Memory
Reversible Cellular Automata in Cryptography
Iterative multi-level modelling. A methodology for computer system design
NELINET - The New England Library Information Network
Digital Processing of Earth Observation Imagery
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics
A Procedure for Grammatical Inference
Prolog in Practice
Integrated formal methods for safety analysis of train systems
Impacts of Message Orientation
Software Environments: PCTE and Related Projects
High-Order Near Best Uniform Approximations to the Solution of Heat Conduction Problems
An Approach to Compile-Time Type Checking
The Irvine-Geneva Course Development System
Understanding ALGOL: The View of a Recent Convert to Denotational Semantics
The Relational Approach to the Management of Data Bases
Program Visualization: Where We Go From Here
Coordinating Autonomous Problem Solvers: The 2 Dimensions of Nested Negotiations
An Agent-Based Secure Internet Payment System for Mobile Computing
A Graph Model for Analysis of Deadlock Prevention in Systems with Parallel Computations
On-Line, Real-Time, Multiple-Speech Output System
Symposium on error detection and correction
Finite-State Recognizability and Logic: from Words to Graphs
Design technologies for embedded multimedia systems
Long-range analysis of metal processing industries
Achievements in Computer-Aided Design
Minimizing Nonlinear Functions by Descent Methods
Computer simulation of the regulatory mechanisms of cellular proliferation
Heuristic Method of Forming up the Schemes of Layouts of Industrial Complexes
Haptic Carillon: A Computationally Enhanced Mechanical Performing Instrument
Future Microprocessor Trends
A Complete Axiom System of Super-Regular Expressions
Introducing Computer Science - An Alternative
Symposium on Matrix Computations
The MIT Data Flow Engineering Model
Logics of Programs
Optimization Methods in Image Processing
Computer graphics communication systems
Using a Conversational Translator Writing System for Generating Computer Aided Design Systems in Architecture
A suggestion for an analog function generator of two variables
Naive Denotational Semantics
Object Database Systems: the ODMG Standard
Timing Features for Systems Implementation Languages
Learning, Generality and Problem Solving
Mobile Computing Based on GSM: the Mowgli Approach
A Respons to the Paper of E. Eloranta and J. Hynynen
Should we Invest in Intellectual Elegance or Computer Power?
Distributed Data Base Where Are You? (A Tutorial)
Computerized Commerce
Communication Systems: The State of the Art, IFIP 17 th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art, August 25-30, 2002, Montréal, Québec, Canada
The Traveling Salesman Problem: A report on the State of the Art
First Implementations of the ODA Standard
Generalization of an Elementary Perceiving and Memorizing Machine
Symposium on Pattern Recognition
Analysis of a scheme for information organization and retrieval from a disc file
Automatic Constraint Maintenance and Updating Defined Relations
Positive effects of entertainment technology on human behaviour
Personal Computers on Campuses: The Experience at the Univerity of Ghent
Image processing and pattern recognition
Evolving Algebras
Computer System Performance
A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel)
Automatic Construction of Complete Sample System for Program Testing
An Improved Shellsort
Core Knowledge Management in a Designer Community of the Automotive Field
A Programming Methodology for Operating System Design
Administration of Education - a new Systems Approach
IT Transformation and Asia-Pacific Economic Growth: An Assessment
Le SYNTOL (Syntagmatic Organization Language)
Computer-aided building layout
Flexible Genome Retrieval for Supporting In-Silico Studies of Endobacteria-AMFs
A Hybrid Simulation-Scheduler-Quality Control System to Assist the Design of Flexible Manufacturing Systems
The MCC Software Technology Program
The Design and Evaluation of an Interactive Geo-Data Analysis and Display System
An approach to the formal description of the LAMBDA system
Diagnosis over the Net - the Mshare project
Linear Tangent Algorithms and Lower Bounds for the Complexity of Computation
Human Factors In Computer Security
Cultural Computing - Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Formal Verification: A Slow, but Certain Evolution
Position Statement on Flexible Integrated Automation
Symposium on machine translation
How to succeed in software
aiT: worst case execution time prediction by static program analysis
Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications
Control Robotics: The Procedural Control of Physical Processes
A Fast Computational Algorithm for Optimum Digital Control Systems
Towards a formal model of CyberRail
The BBC Television Management Information System
Process in Computer Networks
Experience with an Automated Protocol Development System
The Future of Smart Cards: Technology and Application
Sustainable Cities - Opportunities and Risks of Information Technology
A multimedia database system VHM and its application
The General Electric Network Monitor System
On the Solution of Non-linear Least Squares Problems
Application de la programmation linéaire en nombres entiers à un problème de découpe
The Recent Evolution of Programming Languages
Optimal Iterative Processes: Theorems and Conjectures
Perspectives on Computing for Service Providers of Intelligent Environments
The EDSAC: Origins and Design Decisions
Symposium on Biological and Psychological Aspects of Pattern Recognition
A Complete Computerized Instructional System and Its Authoring Facility
A Tool for Communication Protocols Validation
The Promise of Fuzzy Logic in Generalised Music Composition
Experimental Display with Input by Light Gate Field Selection
Survey of Main Trends in Computer Hardware Architecture
Machine Translation and/or an International Language
Educational Telecommunications Services: A Case Study on an Integrated Approach
Computational Complexity of Network Design Algorithms
Foundations of Time-Critical Scalable Computing
Network Management: State of the Art
A model of accidental drift voyaging in the Pacific Ocean with applications to the Polynesia colonization problem
Cooperative design on the Internet
EnCal: an automated forward deduction system for general-purpose entailment calculus
MaRGOH: Clustering as a Global Solution to Massive Parallel Computing
Nearly Optimal Binary Search Trees
Parallelism vs. Efficiency in Logic Programming
Advanced Design Automation in Industry
Computer with stack memory
The Conversion of Sequential Programs to Data Flow Ones
IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct Manipulations
User-Guided Test Sequence Generation
Applications of Artificial Intelligence Techniques to Office Automation Systems
Consecutive Retrieval with Redundancy Organization of Clustered Files
System Design and Implementation Using Parallel Processes
Testing and Diagnosis Aids for Higher Level Protocols
On Alternate Routing in Circuit-Switched Data Networks
Supercomputing in Japan - Response
Enhancing Artificial Intelligence in Games by Learning the Opponent's Playing Style
On-line computer aids for research in linguistics
Algorithmic Macro Design System for Shift Registers
Enterprise Information Architecture
Data Communications: The First 2500 Years
Means and Levels of Knowledge Representation in the CAD System Germinal
How Vulnerable is Information Society? A Sociological Approach
A System Method for the Synthesis of Control Parts Defined by Grafcet
Over-relaxation applied to implicit alternating direction methods
Validation and Verification of Hardware and Software (Position Statement)
Data Communications and Public Networks
Searching problem-solving and game-playing trees for minimal cost solutions
Complex Game Design Modeling
Role of Abstraction in Program Development - Response
Reengineering Government Through Information Technology: The National Performance Review
Software Development in a Distributed Environment: The XMS System
Computer-Based Information Systems in Their Social Context: Use of Different Perspectives
Some considerations of supervisor program design for multiplexed computer systems
Multimedia Information Processing Based on a General Media Model
Picture Processing Laboratory and Its Application
ISDN Interactive Distance Learning - A Step Closer To Near Paperless Learning Environment?
Encouraging Academic-Industry Collaboration: Industry-University Interaction in the US
A Monte Carlo investigation of the statistical significance of multidimensional scaling
An Implementation of the PAC Architecture Using Object-Oriented Techniques
A Buffer Overhead Minimization Method for Multicast-Based Handoff in Picocellular Networks
Symmetric Adaptive Customer Modeling for Electronic Commerce in a Distributed Environment
Practical issues of dynamic bit allocation in multimedia source compression
Computer-Aided Drug Design: A Neural Network Approach
A plan of regional tourist information system
Information processing for the United States Congress
Putting Supervisory Routines into Hardware
SSS (Simple Serial Synchronized)-MIN: A Novel Multi Stage Interconnection Architecture for Multiprocessors
Integration Ontology for Distributed Database
Formal Definition of Programming Languages and Systems
Microcomputers as Educational Tools in Developing Countries
Evolving Algebras and Linear Time Hierarchy
Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes
Toward more effective management of programming
A Comparison of Software and Hardware Testing
The Structure of the Complexity of Computations: A Guided Tour Through Complexity Classes
The Future of Office Automation: Advanced Design Techniques for Office Applications
An operating system for a small computer providing time-shard data collection, computing and control functions
Entertainment Computing in the Orbit
A Good Program = A Structured Program + Optimization Commands
On Language Choice for the Introductory Comuter Science Course
Internet Routing - The State of the Art
Toward a multi-sensor neural net approach to automatic text classification
Addressing the gender Gap in Informatics Education
On Index Intervals and Their Optimisation
Supercomputing in Airplane Design
A Model for Capturing and Tracing Architectural Designs
A Regular Non-Periodic Skewing Scheme for Optimal Conflict-Free Memory Access
A Formal Model for System Oriented Architecture
Computerized Historical Research in the USA: A Survey and Evaluation
Active Redundancy in Distributed Real-Time Systems
A grafted multi-access network
Foundations for Knowledge-Based Systems - Response
The Complexity of Go
ISDN and X25 (Invited paper)
Boundary Detection of Radiographic Images by a Threshold Method
Motion vector prediction in interactive 3D rendered video stream
The "Real World" of Disaster Recovery and Planning (Computer Systems Security)
The D*2 Approach to Decision Support
Flexibility and Rigour in Structured Analysis
A Comparison of Models of Parallel Computation
Object-Oriented System Development: Will the New Approach Solve Old Problems?
Extraction of Essential Descriptors for Pattern Contours
Formal Verification: A Significant Step Towards Zero Deffect VLSI Design
A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling
Position Statement on Computers and Continuing Education
Recherche des solutions d'une équation de convolution
Global business on the superhighway: implications for the office of the future
A refinement based approach to calculating a fault tolerant railway signal device
Symposium on the collection, storage and retrieval of information
ALGOL 60 Processors and a Processor Generator
Strategies for Research - Integrating Outcomes into Practice
A two-dimensional programming system
Unrestricted Algorithms for Elementary and Special Functions
Machine Recognition of Cursive Writing
Computer simulation of consumer reaction to new products
The Computer "Scientist" as Toolsmith-Studies in Interactive Computer Graphics
An Expert System in Fuzzy Simulation of Metallurgical Processes
Symposium on Mixed Analog-Digital Systems
DML - An Interactive Data Management Language
Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations
A Numerical Method fro Estimating Distributed Lag Models
The Impact of Computers on Arabic Writing, Character Processing and teaching
Experiences in Applying a Client Server GUI System
An environment to support the evaluation of the business value of information systems
Parallelism in Loop-Free Microprograms
An experimental self-repairing computer
Trends in PC Database Technology
COTRE as an AADL Profile
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language
Perspectives of the Vulnerability of IT-based Societies
The Architecture of Massively Parallel Numeric Processor
The LEAP language and data structure
Saturation in a Multiprocessor
EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
Human-like motion from physiologically-based potential field
ICT and the New Urban Development
Packet Networks-Issues and Choices
From AI Technology Research to Applications
On applying Householder transformations to linear least squares problems
Resource Allocation in Computer Systems and Computer-Communication Networks
Application of Systemic Approach and Quality Strategy in order to Manage Activities of Grain Silo
Designing a Persistent Information Space Architecture
On Protocol Engineering