Annual Review of Computer ScienceJoseph F. Traub The series will be suspended after this volume. Although critical reception has been good, according to the preface written by the editor-in-chief, finding computer scientists willing to write critical review articles has been difficult and the editors have concluded that the series was launched prematurely. The impact of computers on all of modern science, technology, and society is indisputably enormous, but the pool of available writing talent is too small. This volume contains ten review articles and a special topics section with ten presentations. Annotation copyrighted by Book News, Inc., Portland, OR |
Contents
REASONING UNDER | 39 |
INTENSIONAL SYSTEMS AND NETWORK REPRESENTATIONS | 49 |
LESSONS AND OPEN ISSUES | 65 |
Copyright | |
21 other sections not shown
Common terms and phrases
2-point agents algebraic algorithm applications approach architecture Artif artificial intelligence assignment basic Boolean caching channel routing problem circuit column complexity computer science Conf connectionist connectionist systems coordination cycle database developed distributed file systems domain theory elliptic curve environment execution expert systems factorization finite fields function Gasser goal graph hardware hypothesis IEEE Trans implementation input instruction integrated Intell interaction interface iteration knock-knee knowledge-based systems language layers layout logic loop lower bound machine learning Math mechanism methods modulo multiple nets neural node NP-complete number theory O(log operations parallel perceptron performance polynomial prime problem solvers problem-solving Proc processing processor quadratic sieve random reasoning robot rules scheduling semantics server software pipelining solution solving speech structure supercomputers superscalar Symp task Tech techniques terminals theorem trace scheduling tracks training examples unit Unix vector vertical constraints wires