"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 …
"The anthology opens with four key essays - by Jon Elster, Jurgen Habermas, Joshua Cohen, and John Rawls - that helped establish the current inquiry into deliberative models of democracy. The nine essays that follow represent the latest efforts of leading democratic theorists to tackle various problems of deliberative democracy. All the contributions address tensions that arise between reason a…
"A Bradford book."What makes people smarter than computers? These volumes by a pioneering neurocomputing group suggest that the answer lies in the massively parallel architecture of the human mind. They describe a new theory of cognition called connectionism that is challenging the idea of symbolic computation that has traditionally been at the center of debate in theoretical discussions about …
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.
Humans were thought to be unique among the species in having minds, but recent results showing the richness and diversity in animal psychology makes this view untenable. Yet there remains the question of whether we can map the features of a particularly human psychology that are responsible for its overall structure. In this book John Campbell shows that the general structural features of human…
"Based on the papers that were presented at the Fifteenth International Symposium on Attention and Performance held ... Erice, Sicily, Italy, July 26-31, 1992."OCLC-licensed vendor bibliographic record.
OCLC-licensed vendor bibliographic record.
"To communicate, speakers need to make it clear what they are talking about. The act of referring, which anchors words to things, is a fundamental aspect of language. In this book, Kees van Deemter shows that computational models of reference offer attractive tools for capturing the complexity of referring. Indeed, the models van Deemter presents cover many issues beyond the basic idea of refer…
How a flexible and creative approach to intellectual property can help an organization accomplish goals ranging from building market share to expanding an industry. Most managers leave intellectual property issues to the legal department, unaware that an organization's intellectual property can help accomplish a range of management goals, from accessing new markets to improving existing prod…