Volume 25,
Number 1,
January 1976
Correspondence
Volume 25,
Number 2,
February 1976
Corredpondence
Volume 25,
Number 3,
March 1976
- James W. Bowra, Hwa C. Torng:
The Modeling and Design of Multiple Function-Unit Processors.
210-221
- N. B. Rabbat, S. Q. A. M. A. Hossain, W. D. Ryan:
Improved Simulation of Pulse Propagation Between Digital Circuits.
221-228 ,
Correction:
IEEE Transactions on Computers 25(10):
1056 (1976)
- Shachindra N. Maheshwari, S. Louis Hakimi:
On Models for Diagnosable Systems and Probabilistic Fault Diagnosis.
228-236
- Thurman A. Irving Jr., Sajjan G. Shiva, H. Troy Nagle Jr.:
Flip-Flops for Multiple-Valued Logic.
237-246
- Kozo Kinoshita, Tsutomu Sasao, Jun Matsuda:
On Magnetic Bubble Logic Circuits.
247-253
- C. K. Wong, Don Coppersmith:
The Generation of Permutations in Magnetic Bubble Memories.
254-262
- Bijan Moayer, King-sun Fu:
A Tree System Approach for Fingerprint Pattern Recognition.
262-274
- Richard A. Thompson:
Language Correction Using Probabilistic Grammars.
275-286
- P. C. Y. Yip:
Some Aspects of the Zoom Transform.
287-296
Correspondence
Volume 25,
Number 4,
April 1976
- Alistair D. C. Holden:
Trends in Artificial Intelligence.
313-316
- George W. Ernst:
A Definition-Driven Theorem Prover.
317-322
- David Gelperin:
A Resolution-Based Proof Procedure Using Deletion-Directed Search.
323-327
- Raymond Reiter:
A Semantically Guided Deductive System for Automatic Theorem Proving.
328-334
- Donald W. Loveland, Mark E. Stickel:
A Hole in Goal Trees: Some Guidance from Resolution Theory.
335-341
- Erik Sandewall:
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs.
342-346
- Daniel G. Bobrow, Ben Wegbreit:
A Model for Control Structures for Artificial Intelligence Programming Languages.
347-353
- Warren Teitelman:
Clisp: Conversational Lisp.
354-357
- Kenneth Biss, Robert T. Chien, Fred Stahl, Steven J. Weissman:
Semantic Modeling for Deductive Question-Answering.
358-366
- Robert C. Moore:
D-Script: A Computational Theory of Descriptions.
366-373
- Aravind K. Joshi, Ralph M. Weischedel:
Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions.
374-389
- Chitoor V. Srinivasan:
The Architecture of Coherent Information System: A General Problem Solving System.
390-402
- Donald A. Waterman, Allen Newell:
PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System.
402-413
- Lee D. Erman, Richard D. Fennell, Victor R. Lesser, Raj Reddy:
System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architectures for AI.
414-421
- Raj Reddy, Lee D. Erman, Richard D. Fennell, Richard B. Neely:
The Hearsay- I Speech Understanding System: An Example of the Recognition Process.
422-431
- Donald E. Walker:
Speech Understanding Through Syntactic and Semantic Analysis.
432-439
- Gerald J. Agin, Thomas O. Binford:
Computer Description of Curved Objects.
439-449
- Frank O'Gorman, M. B. Clowes:
Finding Picture Edges Through Collinearity of Feature Points.
449-456
Volume 25,
Number 5,
May 1976
Correspondence
Volume 25,
Number 6,
June 1976
Correspondence
Volume 25,
Number 7,
July 1976
Correspondence
- Ming-Duenn Ni, J. K. Aggarwal:
Error Analysis of Two-Dimensional Recursive Digital Filters Employing Floating-Point Arithmetic.
755-759
- J. I. Acha, José L. Huertas:
On Input and Next-State Equations of the R-S Type M-Stable.
759-763
- Marc L. Joliat:
A Simple-Technique for Partial Elimination of Unit Productions from LR (k) Parsers.
763-764
- Robert M. Harlick:
A Storage Efficient Way to Implement the Discrete Cosine Transform.
764-767
- C. K. Yuen:
Comments on `` The Application of the Rademacher-Walsh Transform to Boolean Function Classification and Threshold Logic Synthesis''.
766-767
- C. R. Edwards:
Author's Reply.
767
- C. V. S. Rao, Nripendra N. Biswas:
Further Comments on ``Closure Partition Method for Minimizing Incomplete Sequential Machines.
767-768
Volume 25,
Number 8,
August 1976
Volume 25,
Number 9,
September 1976
Correspondence
Volume 25,
Number 10,
October 1976
Correspondence
Volume 25,
Number 11,
November 1976
- Stephen S. Yau, Jackson Chung:
On the Design of Modulo Arithmetic Units Based on Cyclic Groups.
1057-1067
- K. Vairavan, Richard A. DeMillo:
On the Computational Complexity of a Generalized Scheduling Problem.
1967-1073
- Geoff Hannington, Donald G. Whitehead:
A Floating-Point Multiplexed DDA System.
1074-1077
- F. Gail Gray, John F. Meyer:
Algebraic Properties of Functions Affecting Optimum Fault-Tolerant Realizations.
1078-1088
- Barry K. Gilbert, Martin T. Storma, Carl E. James, Leon W. Hobrock, Edward S. Yang, Keith C. Ballard, Earl H. Wood:
A Real-Time Hardware System for Digital Processing of Wide-Band Video Images.
1089-1100
- Barry K. Gilbert, Martin T. Storma, Keith C. Ballard, Leon W. Hobrock, Carl E. James, Earl H. Wood:
A Programmable Dynamic Memory Allocation System for Input/Output of Digital Data into Standard Computer Memories at 40 Megasamples/s.
1101-1109
- Riichiro Mizoguchi, Masamichi Shimura:
Nonparametric Learning Without a Teacher Based on Mode Estimation.
1109-1117
- Der-Tsai Lee, Se June Hong:
An Algorithm for Transformation of an Arbitrary Switching Function to a Completely Symmetric Function.
1117-1123
Correspondence
Volume 25,
Number 12,
December 1976
- Harry D. Huskey, Velma R. Huskey:
Chronology of Computing Devices.
1190-1199
- C. V. Ramamoorthy:
Computer Science and Engineering Education.
1200-1206
- Peter Wegner:
Programming Languages - The First 25 Years.
1207-1225
- Barry W. Boehm:
Software Engineering.
1226-1241
- Stephen A. Szygenda, Edward W. Thomson:
Modeling and Digital Simulation for Design Verification and Diagnosis.
1242-1253
- Richard I. Baum, David K. Hsiao:
Database Computers - A Step Towards Data Utilities.
1254-1259
- David Nitzan, Charles A. Rosen:
Programmable Industrial Automation.
1259-1270
- Jean-Loup Baer:
Multiprocessing Systems.
1271-1277
- Harvey L. Garner:
A Survey of Some Recent Contributions to Computer Arithmetic.
1277-1282
- Albert S. Hoagland:
Magnetic Recording Storage.
1283-1288
- Robert A. Henle, Irving T. Ho, William S. Johnson, W. David Pricer, James L. Walsh:
The Application of Transistor Technology to Computers.
1289-1303
- Algirdas Avizienis:
Fault-Tolerant Systems.
1304-1312
- Granino A. Korn, Robert Vichnevetsky:
Analog/Hybrid Computation and Digital Simulation.
1312-1320
- William M. Newman:
Trends in Graphic Display Design.
1321-1325
- Leonard Kleinrock:
On Communications and Networks.
1326-1335
- King-sun Fu, Azriel Rosenfeld:
Pattern Recognition and Image Processing.
1336-1346
- Michael A. Arbib:
Artificial Intelligence: Cooperative Computation and Man-Machine Symbiosis.
1346-1352
- Rein Turn, Willis H. Ware:
Privacy and Security Issues in Information Systems.
1353-1361
Copyright © Fri Mar 12 17:32:51 2010
by Michael Ley (ley@uni-trier.de)
