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 BibTeX
- N. B. Rabbat, S. Q. A. M. A. Hossain, W. D. Ryan:
Improved Simulation of Pulse Propagation Between Digital Circuits.
221-228 BibTeX
,
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 BibTeX
- Thurman A. Irving Jr., Sajjan G. Shiva, H. Troy Nagle Jr.:
Flip-Flops for Multiple-Valued Logic.
237-246 BibTeX
- Kozo Kinoshita, Tsutomu Sasao, Jun Matsuda:
On Magnetic Bubble Logic Circuits.
247-253 BibTeX
- C. K. Wong, Don Coppersmith:
The Generation of Permutations in Magnetic Bubble Memories.
254-262 BibTeX
- Bijan Moayer, King-sun Fu:
A Tree System Approach for Fingerprint Pattern Recognition.
262-274 BibTeX
- Richard A. Thompson:
Language Correction Using Probabilistic Grammars.
275-286 BibTeX
- P. C. Y. Yip:
Some Aspects of the Zoom Transform.
287-296 BibTeX
Correspondence
Volume 25,
Number 4,
April 1976
- Alistair D. C. Holden:
Trends in Artificial Intelligence.
313-316 BibTeX
- George W. Ernst:
A Definition-Driven Theorem Prover.
317-322 BibTeX
- David Gelperin:
A Resolution-Based Proof Procedure Using Deletion-Directed Search.
323-327 BibTeX
- Raymond Reiter:
A Semantically Guided Deductive System for Automatic Theorem Proving.
328-334 BibTeX
- Donald W. Loveland, Mark E. Stickel:
A Hole in Goal Trees: Some Guidance from Resolution Theory.
335-341 BibTeX
- Erik Sandewall:
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs.
342-346 BibTeX
- Daniel G. Bobrow, Ben Wegbreit:
A Model for Control Structures for Artificial Intelligence Programming Languages.
347-353 BibTeX
- Warren Teitelman:
Clisp: Conversational Lisp.
354-357 BibTeX
- Kenneth Biss, Robert T. Chien, Fred Stahl, Steven J. Weissman:
Semantic Modeling for Deductive Question-Answering.
358-366 BibTeX
- Robert C. Moore:
D-Script: A Computational Theory of Descriptions.
366-373 BibTeX
- Aravind K. Joshi, Ralph M. Weischedel:
Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions.
374-389 BibTeX
- Chitoor V. Srinivasan:
The Architecture of Coherent Information System: A General Problem Solving System.
390-402 BibTeX
- Donald A. Waterman, Allen Newell:
PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System.
402-413 BibTeX
- 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 BibTeX
- 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 BibTeX
- Donald E. Walker:
Speech Understanding Through Syntactic and Semantic Analysis.
432-439 BibTeX
- Gerald J. Agin, Thomas O. Binford:
Computer Description of Curved Objects.
439-449 BibTeX
- Frank O'Gorman, M. B. Clowes:
Finding Picture Edges Through Collinearity of Feature Points.
449-456 BibTeX
Volume 25,
Number 5,
May 1976
Correspondence
Volume 25,
Number 6,
June 1976
Correspondence
Volume 25,
Number 7,
July 1976
Correspondence
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 BibTeX
- K. Vairavan, Richard A. DeMillo:
On the Computational Complexity of a Generalized Scheduling Problem.
1967-1073 BibTeX
- Geoff Hannington, Donald G. Whitehead:
A Floating-Point Multiplexed DDA System.
1074-1077 BibTeX
- F. Gail Gray, John F. Meyer:
Algebraic Properties of Functions Affecting Optimum Fault-Tolerant Realizations.
1078-1088 BibTeX
- 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 BibTeX
- 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 BibTeX
- Riichiro Mizoguchi, Masamichi Shimura:
Nonparametric Learning Without a Teacher Based on Mode Estimation.
1109-1117 BibTeX
- Der-Tsai Lee, Se June Hong:
An Algorithm for Transformation of an Arbitrary Switching Function to a Completely Symmetric Function.
1117-1123 BibTeX
Correspondence
Volume 25,
Number 12,
December 1976
- Harry D. Huskey, Velma R. Huskey:
Chronology of Computing Devices.
1190-1199 BibTeX
- C. V. Ramamoorthy:
Computer Science and Engineering Education.
1200-1206 BibTeX
- Peter Wegner:
Programming Languages - The First 25 Years.
1207-1225 BibTeX
- Barry W. Boehm:
Software Engineering.
1226-1241 BibTeX
- Stephen A. Szygenda, Edward W. Thomson:
Modeling and Digital Simulation for Design Verification and Diagnosis.
1242-1253 BibTeX
- Richard I. Baum, David K. Hsiao:
Database Computers - A Step Towards Data Utilities.
1254-1259 BibTeX
- David Nitzan, Charles A. Rosen:
Programmable Industrial Automation.
1259-1270 BibTeX
- Jean-Loup Baer:
Multiprocessing Systems.
1271-1277 BibTeX
- Harvey L. Garner:
A Survey of Some Recent Contributions to Computer Arithmetic.
1277-1282 BibTeX
- Albert S. Hoagland:
Magnetic Recording Storage.
1283-1288 BibTeX
- Robert A. Henle, Irving T. Ho, William S. Johnson, W. David Pricer, James L. Walsh:
The Application of Transistor Technology to Computers.
1289-1303 BibTeX
- Algirdas Avizienis:
Fault-Tolerant Systems.
1304-1312 BibTeX
- Granino A. Korn, Robert Vichnevetsky:
Analog/Hybrid Computation and Digital Simulation.
1312-1320 BibTeX
- William M. Newman:
Trends in Graphic Display Design.
1321-1325 BibTeX
- Leonard Kleinrock:
On Communications and Networks.
1326-1335 BibTeX
- King-sun Fu, Azriel Rosenfeld:
Pattern Recognition and Image Processing.
1336-1346 BibTeX
- Michael A. Arbib:
Artificial Intelligence: Cooperative Computation and Man-Machine Symbiosis.
1346-1352 BibTeX
- Rein Turn, Willis H. Ware:
Privacy and Security Issues in Information Systems.
1353-1361 BibTeX
Copyright © Sun May 17 00:22:57 2009
by Michael Ley (ley@uni-trier.de)