yusuke1997/dblp-id-title huggingface dataset:
Technical Perspective: Program synthesis using stochastic techniques
Trust in videoconferencing
Evaluating the efficacy of a terrorism question/answer system
The 7 habits of highly effective technology leaders
Application of IBM 1620 EDP methods to the calculation of the formulation constants of complex ions
Algorithms: evaluation of the Laguerre polynomial L n (X) by recursion
Lessons from building static analysis tools at Google
Justice, Equity, Diversity, and Inclusion at UbiComp/ISWC: Best Practices for Accessible and Equitable Computing Conferences
Research for practice: distributed consensus and implications of NVM on database management systems
Telling humans and computers apart automatically
Application service providers: market and adoption decisions
Simple Automatic Coding Systems
Privacy on the data web
George Forsythe and the Development of Computer Science
Evolution and Organizational Information Systems: An Assessment of Nolan's Stage Model
On the problem of time table construction
Primitive types in Java considered harmful
Algorithm 41, revision evaluation of determinant
The Collapse of GPT
When Proofs Meet Programs: An Extension of Dependent Type Theory with Church's Thesis
OpenFab: a programmable pipeline for multimaterial fabrication
Computers, Crime and Privacy - A National Dilema, Congressional Testimony from the Industry
Interview - An interview with Ping Fu
Noncollaborative Telepresentations Come of Age
Building the Interspace: The Illinois Digital Library Project
Anticipating internet diffusion
In-Situ Transposition of a Rectangular Matrix [F1] (Certification of Algorithm 380)
Authentication using pulse-response biometrics
On communication
Hiding data, forensics, and anti-forensics
Technical perspective - Schema mappings: rules for mixing data
Organic data memory using the DNA approach
Heterogeneous Von Neumann/dataflow microprocessors
Distributed Recognition of Patterns in Time Series Data
Only technological processes are patentable
Dismantling the barriers to entry
Cyber defense triad for where security matters
Synthesizing Constraint Expressions
Building a successful e-business: the FedEx story
Alternate reality gaming
What to Know Before Reissuing Old Titles as E-Books
The e-transformation of western China
Commonsense reasoning and commonsense knowledge in artificial intelligence
Digital Newspapers Explore Marketing on the Internet
Lessons learned: through six years of component-based development
A Fast String Searching Algorithm
Computational thinking for professionals
Programming by Demonstration for Information Agents
Reexamining Organizational Memory
Roulette Angel
Neural acceleration for general-purpose approximate programs
Alan and I
Deep issues: representation is everything
CoCoPIE: enabling real-time AI on off-the-shelf mobile devices via compression-compilation co-design
Q&A - HP's running man
The whitewater process: software product development in small IT businesses
Access to Supercomputers: An NSF Perspective (Interview)
Protecting the 2020 census
Managing international data communications
Sorting by Natural Selection
Hiding secrets in software: a cryptographic approach to program obfuscation
An emergent legal right to repair electronic devices
Gender demographics trends and changes in U.S. CS departments
More on the reference counter method of erasing list structures
The complex path to quantum resistance
Voice over IP
On the normalization requirement of divisor in divide-and-correct methods
Microprocessor Architectures: A Comparison Based on Code Generation by Compiler
The state of user-centered design practice
Algorithms: Algorithm 330: Factorial analysis of variance
Cyber defense technology networking and evaluation
Fair use prevails in Oracle v. Google
API practices if you hate your customers
Letters to the editor: on ALGOL 60 as a publication language
Algorithm 79: Difference expression coefficients
Spiritual life and information technology
What DNS is not
Data communications control procedures for the USA standard code for information interchange
Algorithm 285: The mutual primal-dual method
Neural Networks in Japan
New Sufficient Optimality Conditions for Integer Programming and their Application
Guided exploration of physically valid shapes for furniture design
Groupware and the Social Infrastructure of Communication
Research for practice: FPGAs in datacenters
Assuring software quality by preventing neglect
Betting on ideas
Cybercrime, cyberweapons, cyber wars: is there too much of it in the air?
Hollerith punched card code
Want to be a bug buster?
Software design and the monkey's brain
Socialware: Multiagent Systems for Supporting Network Communities
The Dangers of Digitization, and the Importance of Data Backup
Using free and open source tools to manage software quality
Algorithm 30: numerical solution of the polynomial equation
Should Robots Have Rights or Rites?
A Reusable Architecture for Simulations
Designing emotionally sentient agents
Embodied Conversational Interface Agents+
Brain-computer interfaces for communication and control
A Methodology for Cost-Risk Analysis in the Statistical Validation of Simulation Models
Machine learning, meet whiskey
Constructivism: Teaching for Understanding of the Internet
Light Amplifiers and Solitons
Finding diamonds in the rough
Negative and zero subscripts in Fortran II programming for the IBM 1620
The Execute Operations-A Fourth Mode of Instruction Sequencing
Innovative web use to learn about consumer behavior and online privacy
Unleashing early maturity academic innovations
Methods for analyzing data from computer simulation experiments
One way of estimating frequencies of jumps in a program
Bringing computer science to U.S. schools, state by state
Technical perspective: Is there a geek gene?
Technical Perspective: Naiad
BANDSOLVE (Remark on Algorithm 195)
On Being a Computer Science Communicator
Trust requirements in e-business
Extracting library-based Java applications
The best of NLP
Information Power!
Experience in automatic storage allocation
Artificial (emotional) intelligence
CLOG: An Ada Package for Automatic Footnote Generation in UNIX (April 1984 Special Section)
To boycott or not to boycott
Fourier Cosine Integral [D1] (Algorithm 427)
Certification of algorithm 237: Greatest common divisor
Debugging AJAX in production
Beyond total capture: a constructive critique of lifelogging
Malevolent machine learning
Waving A Language-Independent WEB
Explorations in cyber-physical systems education
Generating English Discourse from Semantic Networks
A reply to Fulkerson's comments
Minit Algorithm For Linear Programming (Remard on Algorithm 222 [H])
Human detection of machine-manipulated media
An ACM Response: The Scope and Directions for Computer Science
An Algorithm for Optimized Boolean Evaluation in Information Management Systems
Constraint Logic Programming Languages
Remark on algorithm 16: crout with pivoting
A New Technique for Compression and Storage of Data
All the pretty pictures
An Experimental Study of the Human/Computer Interface
Tackling architectural complexity with modeling
Cubic splines on uniform meshes
Touching the future
An interview with Edsger W. Dijkstra
Ethics as a Participatory and Iterative Process
Testing Made Palatable
The Restriction Language for Computer Grammars of Natural Language
Etiquette online: from nice to necessary
Logic of lemmings in compiler innovation
An automatic data acquisition and inquiry system using disk files
Charting the future: scholarly publishing in CS
Ephemeral data
Viewpoint - Research evaluation for computer science
Donald A. Knuth - Scholar with a Passion for the Particular
Editorial: On the future of mechanical information files
Node at LinkedIn: the pursuit of thinner, lighter, faster
Comment on Quad- and Octtrees
An Extension of the Munkres Algorithm for the Assignment Problem to Rectangular Matrices
A strategic perspective of electronic democracy
No limits to watching?
Seam carving for media retargeting
Whither the ACM publications?
Graduate Education: The Ph.D. Glut: Response and Rebuttal
Kyoto prize and other CS awards
Theory of programmed processes
Cooperative Hypermedia Systems: A dexter-Based Architecture
Content of Corporate Web Pages as Advertising Media
Germany: service engineering
A Technical Tour of Ada
A Note on the Generation of Rosary Permutations
Ordering +-f(+-f(+-f(...+-f(x)..))) When f(x) Is Positive Monotonic
Algorithm 176: least squares surface fit
Electronic empire
Right Brother Trees
'Generation CS' drives growth in enrollments
Assessing open source software as a scholarly contribution
Metrics for Ada Packages: An Initial Study
The hyphen controversy
Hypercriticality
Privacy and trust issues with invisible computers
Rectangular holes in twelve-row puched cards
Algorithm 97: Shortest path
A Spectral Method for Confidence Interval Generation and Run Length Control in Simulations
Strategies for accelerating the worldwide adoption of e-commerce
Interoperation Support for Electronic Business
R&D for a Nationwide General-Purpose System
Integrated modeling: the key to holistic understanding of the enterprise
ACM President's letter: R for excellence: better education
Not Now, Not Like This
How to prepare tomorrow's technologists for global networks of innovation
Algorithm 182: nonrecursive adaptive integration
Trellis: Turning Designs into Programs
Agents in Tank Battle Simulations
Privacy and security - Answering the wrong questions is no answer
Numerical Properties of the Ritz-Trefftz Algorithm for Optimal Control
Universal literacy - a challenge for computing in the 21st Century
Algorithms: Algorithm 338: algol procedures for the fast Fourier transform
wise Pad services for vision-, hearing-, and speech-impaired users
GNL is not Linux
Convex Hulls of Finite Sets of Poin ts in Two and Three Dimensions
Licensing Software Engineers
Four Paradigms of Information Systems Development
When email isn't private
The Spectra 70/45 emulator for the RCA 301
A note on a relevance estimate and its improvement
A Framework for Identifying Software Project Risks
Churchman's inquirers as design templates for knowledge management systems
How Virtual Organizing Is Transforming Management Science
Letters to the editor: On binary notation
Garbage Collection for Virtual Memory Computer Systems
Haptic Interfaces
Through the lens of a passionate theoretician
What it means to receive the Turing award
Proposed American standard - character set for optical character recognition
Character manipulation in 1620 FORTRAN II
seL4: formal verification of an operating-system kernel
Certification of algorithm 213: Fresnel integrals
Uncomfortable user experience
Algorithm 52: a set of test matrices
On the Near-Optimality of the Shortest-Latency-Time-First Drum Scheduling Discipline
A view of the parallel computing landscape
Visually Exploring Gigabyte Data Sets in Real Time
Man, medicine, mathematics, and machines
Distributed Mission Training: Teams, Virtual Reality, and Real-time Networking - Introduction
The Web's hidden order
Certification of algorithm 164: orthogonal polynomial least squares surface fit
What makes an interface feel organic?
Is open source security a myth?
Editing self-image
A Proposal for an Open DSS Protocol
Use of Polya Distributions in Approximate Solutions to Nonstationary M/M/s Queues
Learn to live with academic rankings
Object-Oriented Experiences: Introduction to the Special Section
A note on multiplying boolean matrices II
Should you upload or ship big data to the cloud?
An assembly language for reprogramming
Mbone: The Multicast Backbone
Responsible data management
Diversity Examples Inappropriate
Certifications of algorithms 117 and 118 magic square (odd and even orders)2
The Threat of Long-Arm Jurisdiction to Electronic Commerce
Building India's National Internet Backbone
An Anomaly in Disk Scheduling: A Comparison of FCFS and SSTF Seek Scheduling Using an Empirical Model for Disk Accesses
The Demographics of Candidates for Faculty Positions in Computer Science
Networking support for query processing in sensor networks
Building objects out of Plato: applying philosophy, symbolism, and analogy to software design
Computers in Schools: Past, Present, and How we can change the Future
On the computation of a certain type of incomplete Beta functions
The end of the American network
Should software engineers be licensed?
Switching between consumer technologies
Automated patching techniques: the fix is in: technical perspective
Technical perspective: A chiplet prototype system for deep learning inference
Password Cracking: A Game of Wits
Whither sockets?
As Government Outsources More IT, Highly Skilled In-House Technologists Are More Essential
Consumer Difficulties With Computerized Transactions: An Empirical Investigation
Data directed input-output in FORTRAN
The curse of the excluded middle
Proving Data-Poisoning Robustness in Decision Trees
Programming analysis of variance by sequences of operators and isomorphic mappings
Computing polynomial resultants: Bezout's determinant vs. Collins' reduced P.R.S. algorithm
The Programmer's Workbench - A Machine for Software Development
The McCarthy protocols
Model Management and Structured Modeling: The Role of an Information Resource Dictionary System
Hepatic surgery simulation
Inductive programming meets the real world
How will astronomy archives survive the data tsunami?
A Technology Swiss Army Knife
Algorithm 212: frequency distribution
Self-Assessment Procedure XVIII: A Self-Assessment Procedure Dealing with the Fundamentals of Data Communications
Research for practice: cryptocurrencies, blockchains, and smart contracts; hardware for deep learning
Remark on algorithm 178 [E4] direct search
Is Big Brother Hanging by His Bootstrap?
A Tree Convolution Algorithm for the Solution of Queueing Networks
Disaster Recovery Planning For Academic Computing Centers
Real-time taxi dispatching using Global Positioning Systems
Computers, Complexity, and the Statue of Liberty Restoration
Horus: A Flexible Group Communication System
Algorithms to harvest the wind
IBM 709 Tape Matrix Compiler
Algorithm 221: Gamma functions
Tools of Our Tools? Exploring the Cybercene Conjecture
A Critique of the Foundations of Hoare Style Programming Logics
The Status of Women and Minorities in Academic Computer Science
Advanced cryptographic techniques for computer
Certification of algorithm 30: numerical solution of the polynomial equation
Secure-system designers strive to stem data leaks
Creating Digital Replicas of History with AI
ACM's 2010 general election
Costs of the Current U.S. Payments System
Algorithms: Remark on algorithm 293: Transportation problem
Neurotechnology and the law
A large-scale comparative study of beta testers and regular users
Israel: Of Swords and Software Plowshares
How might we increase system trustworthiness?
AI and Neurotechnology: Learning from AI Ethics to Address an Expanded Ethics Landscape
RISC management
An Empirical Validation of Software Cost Estimation Models
Special Section on The Human Aspects of Computing: A Note on This Collection
Using Formal Methods to Reduce Risks
Tomorrow's Campus
The Seventh Annual UCLA Survey of Business School Computer Usage
Report on the algorithmic language ALGOL 60
Continuity and change in internet law
Programming Languages: Toward a general processor for programming languages
TMO: Transparent Memory Offloading in Datacenters
Viewing Dexter with Open Eyes
Toward the merging of real and virtual spaces
Integrating communication and information through ContactMap
The rise and fall of industrial research labs
Domotic technologies incompatibility becomes user transparent
Binding, Migration, and Scalability in CORBA
Computers, communications, and the FCC
Looking Ahead at Inclusive Technology
Clock Bait: Why the Moon Needs Its Own Time Zone
Certification of algorithm 161: combinatorial of M things taken one at a time, two at a time, up to N at time
Don't settle for eventual consistency
The choice of base
Ethical AI is Not about AI
Two-factor authentication: too little, too late
Digital transformation in the Indian government
On 6G and trustworthiness
Silicon Trends and Limits for Advanced Microprocessors
Storage and retrieval of aspects of meaning in directed graph structures
Data-Intensive Computing and Digital Libraries
Creating Products Customer Demands
Algorithm 92: Simultaneous system of equations and matrix inversion routine
Scratch: programming for all
A Model for Type Checking - with an Application to ALGOL 60
A Roadmap for Using Continuous Integration Environments
A better way to learn features: technical perspective
In case you missed it
Centip3De demonstrates more than Moore...: technical perspective
Multiple shooting method for two-point boundary value problems
Computer Professionals Whose Scientific Freedom and Human Right Have Been Violated - 1984: A report of the ACM Commitee on Scientific Freedom and Human Rights
A difficult, unforgettable idea
AI in contact centers
Trust beyond security: an expanded trust model
Open courseware and open source software
The O2 System
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL)
Algorithm 133: Random
Committed to success
A Programmer Training Project
Making Representations Work
Measuring the Importance of Ethical Behavior Criteria
The benefits of using information systems
Behind the State of the Art
Unwanted Surprises
Viewpoint: living and bidding in an auction economy
The Virtual Reality Modeling Language and Java
Revisiting Computer Security in the Business World
RUNCIBLE-Algebraic Translation on a Limited Computer
Technical Perspective: Jupiter rising
In response to 'Vardi's insights'
A multiprogramming monitor for small machines
Description of FORMAT, a text-processing program
The Digital Signature Standard Proposed by NIST
Cyberspace 2000: Dealing with Information Overload
Zoom in, zoom out
What makes learning networks effective?
Pushing functionality into even smaller devices
The HPCC: Still a Percheron Horse
Computer games and scientific visualization
How we lost the women in computing
Memory Efficiency via Offloading in Warehouse-Scale Datacenters
I/O virtualization
Adaptive educational hypermedia on the web
Computerizing Computer Science
Combining Decision Rules in a Decision Table
An Efficient Method for Generating Uniformly Distributed Points on the Surface on an n-Dimensional Sphere (Remarks)
Scalable Technological Architecture Empowers Small-Scale Smart Farming Solutions
Remaking American medicine
Work-Oriented Design at Xerox
Algorithms for finding a fundamental set of cycles for an undirected linear graph
Efficient Table-Free Sampling Methods for the Exponential, Cauchy, and Normal Distributions
A new map for knowledge dissemination channels
Raising the Dead with AI
Parallel computing on any desktop
Bell's law for the birth and death of computer classes
Rising sun: iMode and the wireless Internet
Integrating web sites and databases
Efficient Go Bags
Putting a Teaspoon of Programming into Other Subjects
A chance gardener
Computers, Ethics, and Values
Computer science is not a science
From the front lines: DOA with SOA
Distributed Computation on Graphs: Shortest Path Algorithms
Making automation work
Developing tools and resources for those in practice
Algorithm 354: generator of spanning trees [H]
The Transformative Power of Inspiration
Lessons From a Cautionary Tale
What (Else) Should CS Educators Know?
E-commerce and the information market
Incremental research vs. paradigm-shift mania
Providing equitable access to computing education
The NII Shonan meeting in Japan
Topological ordering of a list of randomly-numbered elements of a network
Why do software startups patent (or not)?
SABRAC, a time-sharing low-cost computer
Genetic and Evolutionary Algorithms Come of Age
A sociopolitical look at open source
GENOCOP: A Genetic Algorithm for Numerical Optimization Problems with Linear Constraints
Low-level language subroutines for use within Fortran
Computing in post-war Afghanistan
The Evolution of Storage Structures
Abstractions, their algorithms, and their compilers
What Netscape Learned from Cross-Platform Software Development
Technical perspective - Software and hardware support for deterministic replay of parallel programs
Q&A: Finding themes
Industry-scale knowledge graphs: lessons and challenges
Prophets, seers, and pioneers
Benefits for virtual organizations from distributed groups
Energy-Optimized Supercomputer Networks Using Wind Energy
Securing The Commercial Internet
European women in computing
On Visual Formalisms
List Processing in Real Time on a Serial Computer
Remark on algorithm 266: pseudo-random numbers
A just-in-time software-based world
Respecting people and respecting privacy
Blogging birds: telling informative stories about the lives of birds from telemetric data
The key to privacy
Knuth's art of recovering from errors
Tapping the power of text mining
Roots of publication delay
Web Home Pages as Advertisements
Teaching programming the way it works outside the classroom
The ETHICS Approach
Regular Right Part Grammars and Their Parsers
The Implications of Online Investing
Certification of algorithm 31: gamma function
In the zone: the need for flexible roles
An Improved Hash Code for Scatter Storage (Reprint)
Using Encryption for Authentication in Large Networks of Computers
The Digital News System at EDUCOM: A Convergence of Interactive Computing, Newspapers, Television and High-Speed Networks
Cryptovirology: the birth, neglect, and explosion of ransomware
Mars code
The StudySpace Project: Collaborative Hypermedia in Nomadic Computing Environments
Exact Probabilities for R x C Contingency Tables [G2] (Algorithm 434)
The corollary of empowerment
The COBOL Librarian: a key to object program efficiency
Farm automation gets smarter
A Fast Method for Solving a Class of Tridiagonal Linear Systems
Security and privacy for augmented reality systems
Advertising gets personal
Region Representation: Quadtrees from Boundary Codes
Binary and Truth-Function Operations on a Decimal Computer with an Extract Command
Discovery Tools for Science Apps
An Approximate Method for Generating Symmetric Random Variables
Program Developments: Formal Explanations of Implementations
The fine line between coercion and care
Mobile phones in the classroom: if you can't beat them, join them
Letter to the editor: on format effectors
Rule-Based versus Structure-Based for Models for Explaining and Generating Expert Behavior
Some PD Advice
Using Video to Re-Present the User
Prospects for improving the regulatory process using e-rulemaking
The Weighted Median Filter
The domino effect of password reuse
Assembling Code for Machines with Span-Dependent Instructions
A variant method of file searching
Distinct-value synopses for multiset operations
That classroom 'magic'
The dynamics of work-family conflict
Cybersecurity in Pacific Island nations
Will software engineering ever be engineering?
The search for unlimited productivity
Symbolic execution for software testing: three decades later
Definition of software
Computer-Related Risks and Remediation Challenges
Maintaining High Living Standards Through Innovation, Strong Patents
Project portfolios: organizational management of risk
Basic Principles of Copyright Protection for Computer Software
Does the internet make us stupid?
Two methods for word conversion on the IBM 709: method 2
Method in randomness
Can We Measure the Impact of a Database?
Dark web's doppelgängers aim to dupe antifraud systems
Researchers probe security through obscurity
Debugging and the Experience of Immediacy
System Design for Usability
Secure development tools and techniques need more research that will increase their impact and effectiveness in practice
Modeling Web Application Architectures with UML
How to claim your fair share in academic publishing
Science has four legs
The legacy of Steve Ballmer
Blockchain in China
Reboot the computing-research publication systems
Certification of algorithm 96: ancestor
The evolution of virtualization
Moving beyond the cold war
Free the digital natives
Object code optimization
The construction industry in the 21 st century
A Cell Organized Raster Display for Line Drawings
The war against spam: and more
Sanity vs. invisible markings
Risks of E-Education