A Bradford book."OCLC-licensed vendor bibliographic record.
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Co…
Signal processing and neural computation have separately and significantly influenced many disciplines, but the cross-fertilization of the two fields has begun only recently. Research now shows that each has much to teach the other, as we see highly sophisticated kinds of signal processing and elaborate hierachical levels of neural computation performed side by side in the brain. In New Directi…
The first collection of writings on poetry that is composed, disseminated, and read on computers; essays and artist statements explore visually arresting, aurally charged, and dynamic works that are created by a synergy of human beings and intelligent mac.OCLC-licensed vendor bibliographic record.
"An anthology of classic papers in computer science with introductions by the editor"--OCLC-licensed vendor bibliographic record.
To date, books on object-oriented programming have focused either on the methodology of the object-oriented paradigm or on teaching the details of a particular programming language. This collection takes a different approach, examining one object-oriented programming language - the Common-Lisp Object System (CLOS) - as a modern programming tool. The fourteen contributions examine CLOS from a va…
The contributors bring a wide range of methodologies to bear on the common problem of image-based object recognition. These interconnected essays on three-dimensional visual object recognition present cutting-edge research by some of the most creative neuroscientific, cognitive, and computational scientists in the field. Cassandra Moore and Patrick Cavanagh take a classic demonstration, t…
How game designers can use the psychological phenomenon of loss aversion to shape player experience. Getting something makes you feel good, and losing something makes you feel bad. But losing something makes you feel worse than getting the same thing makes you feel good. So finding $10 is a thrill; losing $10 is a tragedy. On an "intensity of feeling" scale, loss is more intense than gain. This…
A guide to principles and methods for the management, archiving, sharing, and citing of linguistic research data, especially digital data.Doing language science depends on collecting, transcribing, annotating, analyzing, storing, and sharing linguistic research data. This volume offers a guide to linguistic data management, engaging with current trends toward the transformation of linguistics i…
The contributors to this book address both the pragmatic approach of direct collaboration between designers and users (known as participatory design) and the more conceptual approach that incorporates complementary perspectives to help designers come up with better solutions. The volume brings together different computer-related research disciplines, including computer-supported cooperative wor…