


Остановите войну!
for scientists:


default search action
IEEE Transactions on Computers, Volume 25
Volume 25, Number 1, January 1976
- Stephen Williams, Ivor R. Smith:
SCR Bridge Convertor Computation Using Tensor Methods. 1-6 - Arnold K. Griffith:
Empirical Exploration of the Performance of the Alpha Beta Tree-Searching Heuristic. 6-11 - Chia-Hsiaing Sung:
Testable Sequential Cellular Arrays. 11-18 - Jeffrey H. Hoel:
Some Variations of Lee's Algorithm. 19-24 - L. C. Higbie:
Vector Floating-Point Data Format. 25-32 - Yoram Koren:
Interpolator for a Computer Numerical Control System. 32-37 - Harold Warner, Charles L. Bell, Duane M. Rumbaugh, Timothy V. Gill:
Computer-Controlled Teaching Instrumentation for Linguistic Studies with the Great Apes. 38-43 - Melvin A. Breuer, Shih-Jeh Chang, Stephen Y. H. Su:
Identification of Multiple Stuck-Type Faults in Combinational Networks. 44-54 - Tomás Lang, Harold S. Stone:
A Shuffle-Exchange Network with Simplified Control. 55-65 - Hampapuram K. Ramapriyan
:
A Multilevel Approach to Sequential Detection of Pictorial Features. 66-78 - Boonsieng Benjauthrit, Irving S. Reed:
Galois Switching Functions and Their Applications. 78-86
- Fabrizio Luccio, Linda Pagli
:
On the Height of Height-Balanced Trees. 87-91 - Eugene D. Denman:
An Additional Algorithm for a System of Coupled Algebraic Matrix Riccati Equations. 91-93 - George K. Papakonstantinou:
Cascade Transformation. 93-95 - J. Roger Jagoe, Keith A. Paton:
Measurement of Pneumoconiosis by Computer. 95-97 - V. V. Bapeswara Rao, V. K. Aatre:
Reliability Index of Teleprocessing Tree Networks. 97-98 - Fanya S. Montalvo, Caxton C. Foster:
An Algorithm for Intercell Communication in a Tesselated Automaton. 99-102 - Eduard Cerny:
Comments on "Equational Logic". 102-103 - Frank Rubin:
Generation of Nonparametric Curves. 103 - Karl Belser:
Comment on "An Improved Algorithm for the Generation of Nonparametric Curves". 103 - J. Ramot:
Nonparametric Curves. 103-104
Volume 25, Number 2, February 1976
- Vinot K. Malhotra, Robert D. Fisher:
A Double Error-Correction Scheme for Peripheral Systems. 105-115 - Ashok D. Ingle, Daniel P. Siewiorek
:
A Reliability Model for Various Switch Designs in Hybrid Redundancy. 115-133 - Miroslav Pechoucek:
Anomalous Response Times of Input Synchronizers. 133-139 - Harry C. Andrews, Claude L. Patterson III:
Outer Product Expansions and Their Uses in Digital Image Processing. 140-148 - Carl H. Smith, Larry D. Wittie:
Memory Hardware for High Speed Job Selection. 148-156 - C. K. Chow:
Determination of Cache's Capacity and its Matching Storage Hierarchy. 157-164 - Gerard V. Trunk:
Statistical Estimation of the Intrinsic Dimensionality of a Noisy Signal Collection. 165-171 - Teruo Okuda, Eiichi Tanaka, Tamotsu Kasai:
A Method for the Correction of Garbled Words Based on the Levenshtein Metric. 172-178 - Chris E. van Haersma Buma, Robert P. W. Duin:
Computation of Concave Piecewise Linear Discriminant Functions Using Chebyshev Polynomials. 178-186 - Jack Sklansky, Luigi P. Cordella, Stefano Levialdi:
Parallel Detection of Concavities in Cellular Blobs. 187-196
- Harry C. Andrews, Claude L. Patterson III:
Digital Interpolation of Discrete Images. 196-202 - Chao-Chih Yang, Marilyn A. Tarpy:
An Algorithm for Deriving All Pairs of Compatible States by Closure Classes. 202-207 - Ying W. Ng, Algirdas Avizienis:
Comments on "Fault Folding for Irredundant and Redundant Combinational Circuits". 207
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, William D. Ryan:
Improved Simulation of Pulse Propagation Between Digital Circuits. 221-228 - 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 - Patrick C. Yip:
Some Aspects of the Zoom Transform. 287-296
- José L. Huertas, José I. Acha
:
Self-Synchronization of Asynchronous Sequential Circutis Employing a General Clock Function. 297-300 - Frank B. Manning, Robert Fenichel:
Synchronous Counters Constructed Entirely of J-K Flip-Flops. 300-306 - Philip S. Noe, V. Thomas Rhyne:
Optimum State Assignment for the D Flip-Flop. 306-311 - Edgar DuCasse, Gernot Metze:
Rebuttal to the Authors' Reply to our Comments on "The Relationship Between Multivalued Switching Algebra and Boolean Algebra Under Different Definitions of Complement.". 311-312
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 A. 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
- Frank Neuman, Robert B. Merrick:
Autocorrelation Peaks in Congruential Pseudorandom Number Generators. 457-460 - Frank Neuman, Clyde F. Martin:
The Autocorrelation Structure of Tausworthe Pseudorandom Number Generators. 460-464 - Shalhav Zohar:
Rounding and Truncation in Radix (-2) Systems. 464-469 - Steven I. Kartashev:
A Microcomputer with a Shift-Register Memory. 470-484 - C. V. Ramamoorthy, Thomas F. Fox, Hon Fung Li:
Scheduling Parallel Processable Tasks for a Uniprocessor. 485-495 - Tomás Lang:
Interconnections Between Processors and Memory Modules Using the Shuffle-Exchange Network. 496-503 - Dana H. Ballard, Jack Sklansky:
A Ladder-Structured Decision Tree for Recognizing Tumors in Chest Radiographs. 503-513 - Totadri Jayasri, Dhruba Basu:
An Approach to Organizing Microinstructions which Minimizes the Width of Control Store Words. 514-521 - Ming-Lei Liou:
Spline Fit Made Easy. 522-527 - Sergiu Rudeanu:
Square Roots and Functional Decompositions of Boolean Functions. 528-532
- Ed Luczak, Azriel Rosenfeld:
Distance on Hesagonal Grid. 532-533 - Robert J. Polge, B. K. Bhagavan:
Efficient Fast Fourier Transform Programs for Arbitrary Factors with One Step Loop Unscrambling. 534-539 - Roger W. Ehrich:
A Readily Computable Decision Rule with Variable Dimensionality. 539-542 - H. C. Ratz:
Matrix Transformations for N-Tuple Analysis of Binary Patterns. 542-546 - Lakshmi N. Goyal:
A Note on Atrubin's Real-Time Iterative Multiplier. 546-548 - Franco P. Preparata, David E. Muller:
Efficient Parallel Evaluation of Boolean Expression. 548-549 - Dharma P. Agrawal:
Signed Modified Reflected Binary Code. 549-552
Volume 25, Number 6, June 1976
- William C. Carter, Charles E. McCarthy:
Implementation of an Experimental Fault-Tolerant Memory System. 557-568 - Jacques Losq:
A Highly Efficient Redundancy Scheme: Self-Purging Redundancy. 569-578 - John F. Meyer:
Computation-Based Reliability Analysis. 578-584 - Ferruccio Barsi, Fabrizio Grandoni, Piero Maestrini
:
A Theory of Diagnosability of Digital Systems. 585-593 - Ramachendra P. Batni, Charles R. Kime:
A Module-Level Testing Approach for Combinational Networks. 594-604 - Francisco J. O. Dias:
Truth-Table Verification of an Iterative Logic Array. 605-613 - John P. Hayes:
Transition Count Testing of Combinational Logic Circuits. 613-620 - Sheldon B. Akers Jr.:
A Logic System for Fault Test Generation. 620-630 - Peter Muth:
A Nine-Valued Circuit Model for Test Generation. 630-636
- Henry Y. H. Chuang:
Fail-Safe Asynchronous Machines with Multiple-Input Changes. 637-642 - P. Prusinkiewicz, Stanislaw Budkowski:
A Double Track Error-Correction Code for Magnetic Tape. 642-645 - Chantal Robach, Gabriele Saucier, J. Lebrun:
Processor Testability and Design Consequences. 645-652 - Claudine Turcat, André Verdillon:
Recursion and Testing of Combinational Circuits. 652-659 - René David, Gérard Blanchet:
About Random Fault Detection of Combinational Networks. 659-664 - Prathima Agrawal, Vishwani D. Agrawal:
On Monte Carlo Testing of Logic Tree Networks. 664-667
Volume 25, Number 7, July 1976
- Lawrence Yelowitz, Abraham Kandel:
New Results and Techniques in Resolution Theory. 673-677 - Kazue Sugino, Yasuyoshi Inagaki, Teruo Fukumura:
A Note on the Linear Space Automata Stability Problem. 678-683 - Theodore F. Tabloski, Frederic J. Mowle:
A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits. 684-702 - Joseph J. Capowski:
The Matrix Transform Processor. 703-712 - Parker R. Blevins, C. V. Ramamoorthy:
Aspects of a Dynamically Adaptive Operating System. 713-725 - Roger W. Ehrich, Jörgen P. Foith:
Representation of Random Waveforms by Relational Trees. 725-736 - Oleg I. Aven, Leonid B. Boguslavsky, Yakov A. Kogan:
Some Results on Distribution-Free Analysis of Paging Algorithms. 737-745 - Charles R. Baugh, Bruce A. Wooley:
Statistical Analysis of a Differential Threshold Logic Circuit Configuration. 745-754
- Ming-Duenn Ni, J. K. Aggarwal:
Error Analysis of Two-Dimensional Recursive Digital Filters Employing Floating-Point Arithmetic. 755-759 - José 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 - Colin 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
- Lawrence J. Henschen:
Introduction: Tutorial on Resolution. 769-772 - John D. McCharen, Ross A. Overbeek, Larry Wos:
Problems and Experiments for and with Automated Theorem-Proving Programs. 773-782 - Gerald A. Wilson, Jack Minker:
Resolution, Refinements, and Search Strategies: A Comparative Study. 782-801 - Peter B. Andrews:
Refutations by Matings. 801-807 - Daniel H. Fishman:
A Problem-Oriented Search Procedure for Theorem Proving. 807-815 - Lawrence J. Henschen:
Semantic Resolution for Horn Sets. 816-822 - Sharon Sickel:
A Search Technique for Clause Interconnectivity Graphs. 823-835 - Steven K. Winker:
An Evaluation of an Implementation of Qualified Hyperresolution. 835-843 - George W. Ernst, Raymond J. Hookway:
The Use of Higher Order Logic in Program Verification. 844-851 - Charles G. Morgan:
Methods for Automated Theorem Proving in Nonclassical Logics. 852-862
Volume 25, Number 9, September 1976
- Samuel C. Lee:
Vector Boolean Algebra and Calculus. 865-874 - John P. Hayes:
A Graph Model for Fault-Tolerant Computing Systems. 875-884 - John P. Hayes:
On the Properties of Irredundant Logic Networks. 884-892 - Saburo Muroga, Hung Chi Lai:
Minimization of Logic Networks Under a Generalized Cost Function. 893-907 - Alan Jay Smith:
A Modified Working Set Paging Algorithm. 907-914 - Kishor S. Trivedi:
Prepaging and Applications to Array Algorithms. 915-921 - Judea Pearl:
Memory Versus Error Characteristics for Inexact Representations of Linear Orders. 922-928 - Samuel E. Orcutt:
Implementation of Permutation Functions in Illiac IV-Type Computers. 929-936