"Today's Web-enabled deluge of electronic data calls for automated methods of data analysis. Machine learning provides these, developing methods that can automatically detect patterns in data and then use the uncovered patterns to predict future data. This textbook offers a comprehensive and self-contained introduction to the field of machine learning, based on a unified, probabilistic approach…
"The goal of machine learning is to program computers to use example data or past experience to solve a given problem. Machine learning underlies such exciting new technologies as self-driving cars, speech recognition, and translation applications. This substantially revised fourth edition of a comprehensive, widely used machine learning textbook offers new coverage of recent advances in the fi…
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relat…
AnnotationOCLC-licensed vendor bibliographic record.
A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial intelligence. Pollock argues that progress in AI has stalled because of its creators' reliance upon unformulated intuitions about rationality. Instead, he bases the OSCAR architecture upon an explicit philosophical theory of rationality, encom…
Includes appendix 12A: a walking tour of the computational ideas underlying classifier systems.Two psychologists, a computer scientist, and a philosopher have collaborated to present a framework for understanding processes of inductive reasoning and learning in organisms and machines. Theirs is the first major effort to bring the ideas of several disciplines to bear on a subject that has been a…
"Index" : an online index is available on the book webpage at http://www.cs.umd.edu/srl-book/index.htm.Advanced statistical modeling and knowledge representation techniques for a newly emerging area of machine learning and probabilistic reasoning; includes introductory material, tutorials for different proposed approaches, and applications.OCLC-licensed vendor bibliographic record.
"A Bradford book.""Reprinted from Artificial intelligence, an international journal, volume 46, numbers 1-2, 1990"--Title page verso.The six contributions in Connectionist Symbol Processing address the current tension within the artificial intelligence community between advocates of powerful symbolic representations that lack efficient learning procedures and advocates of relatively simple lear…
"An updated introduction for generalists to this powerful technology, its applications and possible future directions"--OCLC-licensed vendor bibliographic record.
The shift in the practice of human-computer interaction (HCI) Design from user-centered to context-based design marks a significant change in focus. With context-based design, designers start not with a preconceived idea of what users should do, but with an understanding of what users actually do. Context-based design focuses on the situation in which the technology will be used -- the activiti…