Encyclopedia of Computer Science and Technology: Volume 28 - Supplement 13: AerosPate Applications of Artificial Intelligence to Tree StructuresAllen Kent, James G. Williams CRC Press, 1993 M04 5 - 434 pages "This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions." |
Contents
ARTIFICIAL INTELLIGENCE ON WALL STREET | 15 |
COMPUTER RELIABILITY | 27 |
MICROPROGRAMMING | 33 |
DATA FLOW MODELING | 63 |
DATA REPAIR | 89 |
DYNAMIC MEMORY | 103 |
ENDUSER COMPUTING | 123 |
HIGHLEVEL SYNTHESIS | 129 |
PROGRAM VERIFICATION | 237 |
RELIABLE DISTRIBUTED SYSTEMS | 255 |
STRUCTURED ANALYSIS | 277 |
iii | 293 |
STUDY OF GEOPHYSICAL PHENOMENA | 317 |
TECHNOLOGICAL SUBSTITUTIONS IN | 331 |
TREE STRUCTURES | 371 |
FINITESTATE MACHINES Errata | 387 |
Common terms and phrases
algorithm analysis applications automatic automatic differentiation B-tree behavior bit-slice bits Camposano cell checkpointing components Computer Science constraints data flow diagram data flow model data path database defined distributed system domain dynamic memory Ed Yourdon evaluation example executed expert systems failures fault tolerance filtering finite-state formal function fuzzy graph hardware Hessian Hessian matrix High-Level IEEE implemented input instruction intelligence large-scale linear logic machine mathematical matrix methods microcode microinstruction microprogramming minimization module N-version programming node objects operations optimization output parallel partition performance problem Proc processor program verification protocols radial noise recovery reliability replicas represent representation SADT scheduling semantic sequence shown in Figure simulation SofTech sparse specification stored structure Synthesis T. F. Coleman techniques tion Transact transformations tree Turing Turing test update values verification voxel written language York Yourdon
Popular passages
Page 367 - Cline, WE Lorensen, R. Kikinis, and F. Jolesz. Three-dimensional segmentation of mr images of the head using probability and connectivity.