default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Annual Conference 1972: Boston, MA, USA - Volume 1
- John J. Donovan, Rosemary Shields:
Proceedings of the ACM annual conference, ACM 1972, Boston, MA, USA, August 1972, Volume 1. ACM 1972, ISBN 978-1-4503-7491-0 - Alan C. Kay:
A Personal Computer for Children of All Ages. - John J. Donovan:
Current research in computer science (Research Session). 2-4 - Timothy D. Chase, Robert M. Glorioso:
Virtual memories for mini-computers. 6-11 - Arnold M. Peskin:
A Logic-in-Memory architecture for large-scale-integration technologies. 12-25 - Ranan B. Banerji, George W. Ernst:
Limitations in pattern recognition and problem solving. 28-38 - Ralph L. London:
The current state of proving programs correct. 39-46 - Charles A. Rosen:
Robots, productivity and quality. 47-57 - Daniel J. Cavicchio:
Reproductive adaptive plans. 60-70 - Lawrence J. Henschen:
N-sorted logic for automatic theorem-proving in higher-order logic. 71-81 - Tomasz Pietrzykowski, D. C. Jensen:
A complete mechanization of (Ω)-order type theory. 82-92 - C. Y. Chang:
Dynamic programming as applied to feature subset selection in a pattern recognition system. 94-103 - Louis R. Goke, Keith L. Doty:
A ROM random-pulse computer for classifying binary patterns. 104-109 - Walter Jacobs:
Control systems in robots. 110-117 - Robert W. Lingard, David Wilczynski:
A syntax directed approach for handling natural language relations. 118-128 - Russell M. Armstrong:
Continuing education in information system development. 130-133 - Robert L. Ashenhurst:
Curriculum recommendations for a master's program in information systems development. 134-137 - J. Daniel Couger:
The undergraduate program in information systems development. 138-144 - John M. DeGroot, Ernest L. Hall, Richard N. Sutton, Gwilyu S. Lodwick, Samuel J. Dwyer III:
Perception of computer simulated pulmonary lesions in chest radiographs. 146-151 - Neil J. Falvey:
A method for identifying irregular antibodies in a sample of serum. 152-162 - C. L. Partain, C. P. Merilan, P. A. Ansbacher:
Small computer-based system for the analysis of respiration response to atmosphere pollution. 163-166 - Joel Stutman, Robert S. Tannenbaum:
The undergraduate education of medical computer scientists. 167-172 - D. E. Clark:
Large scale computers in medical schools. 174-182
SIGBIO 2 - Implementation of medical information systems
- Frank J. Mabry, Allan H. Levy:
Integrating small computers within a conversational time-sharing environment. 183-186 - Dietolf Ramm, Daniel T. Gianturco:
Writing an interactive psychiatric information system. 187-191 - David Vereeke, L. Julian Haywood, Steven Saltzberg, George Harvey:
Design features of a real-time electrocardiographic monitoring system. 192-198
SIGBIO 3 - Computer languages for interactive health services
- Eugene Ackerman:
Interactive languages in health computer sciences at the University of Minnesota. 200-201 - Paul A. Castleman, Channing H. Russell:
An integrated command and procedural language for drug research. 202-203 - Gio Wiederhold:
A choice of language to support medical research. 204-205
SICCAPH 1 - Computers in the service of the handicapped - some issues and answers
- Jonathan Allen, Terry Borroz:
Recent improvements in Braille transcription. 208-218 - Harry Levitt:
Digital processing of the speech of deaf children. 219-227 - John H. Munson:
System study of a dial-up text reading service for the blind. 228-239 - Raymond S. Nickerson, Kenneth N. Stevens:
Teaching speech to the deaf: can a computer help. 240-251
SIGCOMM 1- Software-hardware interactions
- Edward K. Bowdon Sr.:
Network computer modeling. 254-264 - William J. Harding, Thomas H. Howell:
Performance analysis of error-detecting-and-correcting codes in a random-error environment. 265-277 - Robert M. Metcalfe:
Strategies for operating systems in computer networks. 278-281 - Jay L. Smith, William A. Notz, P. R. Osseck:
An experimental application of cryptography to a remotely accessed data system. 282-297
Education software for courses in computer organization and systems programming
- E. M. Greenawalt, Donald I. Good:
The MIX computer as an educational tool. 302-309 - John R. Mashey, G. M. Campbell, C. Forney Jr.:
Assist: a self modifiable assembler for instructional purposes. 310-312
SIGCSE 1 - Large scale CAI - the NSF program
- Erik McWilliams:
Large scale CAI: the NSF project. 314-317
SIGCUE 2 - Students and computers - towards a deeper involvement
- John Seely Brown:
Recursive functional programming as a conceptual tool for social scientists. 320 - Ronald Baecker:
The use of logo in a "computers and society" course. 321
SIGCUE 3 - Computers in education - some novel approaches
- Ira Gilbert, Jacques Cohen:
A simple hardware model of a Turing machine: its educational use. 324-329 - Theodore I. Peterson, Rosemary Shields:
Computer-aided schema for instructional gaming. 330-343 - Seymour Papert:
On making a theorem for a child. 345-349
SIGDA 1 - Generation of automatic logic test data
- Stephen P. Krosner:
An algebraic approach to test data generation. 352-367 - J. Paul Roth:
Design of diagnosible automata. 368 - George W. Smith:
Fault detection test derivation using Boolean difference techniques. 369-378
SIGDA 2 - Design automation
- Cliff W. Hemming Jr., Stephen A. Szygenda:
Modular requirements for digital logic simulation at a predefined functional level. 380-389 - James G. Linders, William M. van Cleemput:
An interactive system for computer-aided design of printed circuit boards. 390-397 - Donald J. McGinnis:
Autocheck program, program to check validity of printed circuit cards and circuit usage. 398-420
SIGGRAPH 1 - Computer graphics
- Edwin E. Catmull:
A system for computer generated movies. 422-431 - Robert A. Cislo:
Graphic systems performance evaluation. 432-442 - Martin E. Newell, R. G. Newell, Tom L. Sancha:
A solution to the hidden surface problem. 443-450 - Frederic I. Parke:
Computer generated animation of faces. 451-457
SIGIR 2 - Information retrieval systems
- Robert C. Gammill:
Applications of relational data structure models in man-machine systems. 460-468 - Andrew J. Kasarda, Donald J. Hillman:
The leadermart system and service. 469-477 - Jon T. Rickman:
Design considerations for a Boolean search system with automatic relevance feedback processing. 478-481 - Stanley T. Schuyler, Jonathan A. Soule, Patrick F. Turchetta, Malcolm H. Gotterer:
An image matrix for accessing files. 482-492
SIGMAP 1 - Recent algorithmic advances in mathematical programming
- Gordon H. Bradley:
Reduction of integer programs to accelerate a multiple choice programming algorithm. 494-495 - Donald Goldfarb:
Variable metric and conjugate direction methods in unconstrained optimization: recent developments. 496-506 - Michael Held, Richard M. Karp, Philip Wolfe:
Large scale optimization and the relaxation method. 507-509 - Ellis L. Johnson:
On shortest paths and sorting. 510-517 - Aaron Kershenbaum, Richard M. Van Slyke:
Computing minimum spanning trees efficiently. 518-527 - Jeremy F. Shapiro:
A decomposition algorithm for integer programming problems with many columns. 528-533 - Lee J. White:
Optimum concentrator location in telecommunications design. 534-542
SIGMICRO 1 -Tutorial on microprogramming and emulation
- Richard E. Merwin:
Background reading in microprogramming and emulation. 545-551
SIGMICRO 2 - Advances in microprogramming
- Robert K. Clark:
Mirager, the "best-yet" approach for horizontal microprogramming. 554-571 - Mitsuhiro Hattori, Michiko Yano, Kiichi Fujino:
MPGS: a high-level language for microprogram generating system. 572-581 - Ted G. Lewis:
Microprogramming for probability distribution sampling. 582-589 - Colin Whitby-Strevens, A. H. Croxon:
Systemware: a technique for digital emulation and interfacing. 590-598
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-23 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
