"Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with …
Experts in high-speed computation agree that the rapidly growing demand for more powerful computers can only be met by a radical change in computer architecture, a change from a single serial processor to an aggregation of many processors working in parallel. At present, our knowledge about multi-processor architectures, concurrent programming or parallel algorithms is very limited. This book d…
OCLC-licensed vendor bibliographic record.
While much has been written about the areas of text generation, text planning, discourse modeling, and user modeling, Johanna Moore's book is one of the first to tackle modeling the complex dynamics of explanatory dialogues. It describes an explanation-planning architecture that enables a computational system to participate in an interactive dialogue with its users, focusing on the knowledge st…
Pattern Recognition by Self-Organizing Neural Networks presents the most recent advances in an area of research that is becoming vitally important in the fields of cognitive science, neuroscience, artificial intelligence, and neural networks in general. Pattern Recognition by Self-Organizing Neural Networks presents the most recent advances in an area of research that is becoming vitally imp…
Silicon Valley, a small place with few identifiable geologic or geographic features, has achieved a mythical reputation in a very short time. The modern material culture of the Valley may be driven by technology, but it also encompasses architecture, transportation, food, clothing, entertainment, intercultural exchanges, and rituals.Combining a reporter's instinct for a good interview with trad…
In Artificial Experts, Collins explains what computers can't do, but he also studies the ordinary and extraordinary things that they can do. He argues that the machines we create are limited because we cannot reproduce in symbols what every community knows, yet we give our machines abilities by the way we embed them in our society. He unfolds a compelling account of the difference between human…
The recognition of faces is a fundamental visual function with importance for social interaction and communication. This volume offers a state-of-the-art, interdisciplinary overview of recent work on dynamic faces from both biological and computational perspectives.OCLC-licensed vendor bibliographic record.
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of…
Beowulf clusters, which exploit mass-market PC hardware and software in conjunction with cost-effective commercial network technology, are becoming the platform for many scientific, engineering, and commercial applications. With growing popularity has come growing complexity. Addressing that complexity, Beowulf Cluster Computing with Linux and Beowulf Cluster Computing with Windows provide syst…